Search results for "formalism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Ram Ramanathan, Prithwish Basu, Rajesh Krishnan	Towards a formalism for routing in challenged networks.	Challenged Networks	2007	DBLP DOI BibTeX RDF	formalism, disruption tolerant networks, challenged networks
3	Gary R. Mayer, Hessam S. Sarjoughian	Complexities of simulating a hybrid agent-landscape model using multi-formalism composability.	SpringSim	2007	DBLP DOI BibTeX RDF	poly-formalism, agents, cellular automata, multi-modeling, multi-formalism
3	Bertrand T. David, René Chalon, Olivier Delotte, Guillaume Masserey	ORCHESTRA: Formalism to Express Static and Dynamic Model of Mobile Collaborative Activities and Associated Patterns.	HCI	2007	DBLP DOI BibTeX RDF	CSoCW, Specific Description Language, MDA inspired elaboration process, transformation process, formalism meta-model, description patterns
3	Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen	MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	timed automata, stochastic processes, formal semantics, compositionality, Modeling formalism
3	Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard	Automated Translation of C/C++ Models into a Synchronous Formalism.	ECBS	2006	DBLP DOI BibTeX RDF	GNU Compiler Collection, Synchronous Formalism, Functional and Compositional Design Correctness, Formal Methods, SIGNAL, Static Single Assignment
3	Bertrand T. David, René Chalon, Olivier Delotte, Guillaume Masserey, Matthieu Imbert	ORCHESTRA: Formalism to Express Mobile Cooperative Applications.	CRIWG	2006	DBLP DOI BibTeX RDF	Specific description language, MDA inspired elaboration process, transformation process, formalism meta-model and examples
3	Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis	The OsMoSys approach to multi-formalism modeling of systems.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	Multi-formalism modeling, Object orientation, Compositionality, Meta-languages
3	Agnès Conte, Mounia Fredj, Ibtissem Hassine, Jean-Pierre Giraudin, Dominique Rieu	A Tool and a Formalism to Design and Apply Patterns.	OOIS	2002	DBLP DOI BibTeX RDF	patterns system, product pattern, pattern formalism, pattern-based development environment, reuse, Pattern, process pattern
3	Juan de Lara, Hans Vangheluwe	AToM3: A Tool for Multi-formalism and Meta-modelling.	FASE	2002	DBLP DOI BibTeX RDF	Multi-Formalism Modeling, Meta-Modeling, Modeling and Simulation, Graph Grammars, Automatic Code Generation
3	Babak Khazaei, Emma Triffitt	Applying cognitive dimensions to evaluate and improve the usability of Z formalism.	SEKE	2002	DBLP DOI BibTeX RDF	Z formalism, tranzit environment, usability, formal specification, cognitive dimensions
3	Tino Pyssysalo, Leo Ojala	Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism.	EUROMICRO	1996	DBLP DOI BibTeX RDF	high-level net model, bunching property, resource allocation mechanism, request service, refusal by choice feature, predicate/transition net formalism, stochastic net theoretical methods, time formalisms, performance analysis, reachability analysis, interactive television, parallel machine scheduling, causal modeling, FIFO queues, video-on-demand system
3	Jianzhong Li, James S. K. Ang, Xuejun Tong, Michel Tueni	AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	declarative formalism, Activity Manager System, domain-independent formalism, AMS, knowledge hierarchies, abstract entities, knowledge reusability, MOPA, knowledge representation, knowledge representation, abstraction, software reusability, abstract data types, activity network, hierarchical representation, procedural knowledge
3	Michela Degl'Innocenti, Gian Luigi Ferrari, Giuliano Pacini, Franco Turini	RSF: A Formalism for Executable Requirement Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	RSF, executable requirement specifications, occurrence times, logic programming, queries, rapid prototyping, events, time constraints, formalism, software prototyping, answers, transition rules
2	Françoise Gire, Hicham Idabal	Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF	regular tree pattern, update query, XML, functional dependency
2	Mauro Iacono, Marco Gribaudo	Element Based Semantics in Multi Formalism Performance Models.	MASCOTS	2010	DBLP DOI BibTeX RDF	multi-formalism models, performance evaluation, modelling tools
2		Computer-Interpretable Formalism.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi	PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description.	Petri Nets	2009	DBLP DOI BibTeX RDF	Stochastic discrete-event systems, SDES description, PDETool, Petri nets
2	Wilson Goudalo, Dominique Seret	The Process of Engineering of Security of Information Systems (ESIS): The Formalism of Business Processes.	SECURWARE	2009	DBLP DOI BibTeX RDF	Engineering Process, Information Systems Security Engineering, Business Process Formalism, Information Systems Urbanization, UML, Enterprise Architecture
2	Koen V. Hindriks, Tijmen Roberti	GOAL as a Planning Formalism.	MATES	2009	DBLP DOI BibTeX RDF
2	Stéphanie Combettes	Towards a Methodology for Modeling Deontic Protocols Using the Organizational Petri Nets Formalism.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Deontic protocol, Organizational Petri Net, Methodology
2	Charlene Elliott, Gary Marsden, Marion Walton, Edwin H. Blake	Design notations for creating virtual environments.	SAICSIT Conf.	2009	DBLP DOI BibTeX RDF	design notation, virtual reality, game design, visual formalism
2	Frédéric Boulanger, Cécile Hardebolle	Simulation of Multi-Formalism Models with ModHelX.	ICST	2008	DBLP DOI BibTeX RDF	Simulation, Model of computation, Heterogeneous modeling
2	Xiong Gang, Yang Xiaoniu, Zhao Huichang	The Short-Time Multifractal Formalism: Definition and Implement.	ICIC	2008	DBLP DOI BibTeX RDF
2	Mahdi Niamanesh, Rasool Jalili	A Formalism for Recongurability Analysis in Distributed Non-Blocking Components.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
2	Rolf Grütter, Bettina Bauer-Messmer, Martin Hägeli	Extending an ontology-based search with a formalism for spatial reasoning.	SAC	2008	DBLP DOI BibTeX RDF	national spatial data infrastructure, ontology-based search, region connection calculus, spatioterminological reasoning
2	Hailong Wang, Z. M. Ma, Li Yan, Jingwei Cheng	A Unified Formalism for Fuzzy Data Types Representation.	FSKD	2008	DBLP DOI BibTeX RDF
2	Radek Kocí, Vladimír Janousek	System Design with Object Oriented Petri Nets Formalism.	ICSEA	2008	DBLP DOI BibTeX RDF
2	Caiquan Xiong, Ying Pan, Dehua Li	A Discussion Information-Structuring Model Based on the Toulmin Formalism.	WKDD	2008	DBLP DOI BibTeX RDF
2	Cleber V. G. Mira, Zanoni Dias, Hederson P. Santos, Guilherme A. Pinto, Maria Emilia M. T. Walter	Transposition Distance Based on the Algebraic Formalism.	BSB	2008	DBLP DOI BibTeX RDF
2	Teguh Bharata Adji, Baharum Baharudin, Norshuhani Zamin	Applying Link Grammar Formalism in the Development of English-Indonesian Machine Translation System.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	Annotated Disjunct, Link Grammar, Parsing Algorithm, Natural Language Processing
2	Peter Ljunglöf, Staffan Larsson	A Grammar Formalism for Specifying ISU-Based Dialogue Systems.	GoTAL	2008	DBLP DOI BibTeX RDF
2	Jianrui Wang, Richard A. Wysk	A Pi-calculus formalism for discrete event simulation.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
2	María Adela Grando, David Glasspool, John Fox	Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Clinical process modelling, care pathways, petri nets, workflow patterns
2	Leonard Adelman, Paul E. Lehner, B. A. Cheikes, M. F. Taylor	An Empirical Evaluation of Structured Argumentation Using the Toulmin Argument Formalism.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2007	DBLP DOI BibTeX RDF
2	Alexandre Delteil, Laure Bourgois, François Levy	A Formalism for Active and Informative Web Services.	ICIW	2007	DBLP DOI BibTeX RDF
2	Hernán P. Dacharry, Norbert Giambiasi	Discrete event modeling through a multi-formalism approach, from a user-oriented perspective.	SpringSim	2007	DBLP DOI BibTeX RDF	DEVS modeling methodology, multi-formalisms approach, discrete event modeling
2	Thierry Antoine-Santoni, Jean François Santucci, Emmanuelle de Gentili, Bernadette Costa	Modelling & simulation oriented components of wireless sensor network using DEVS formalism.	SpringSim	2007	DBLP DOI BibTeX RDF	WSN, components, routing protocol, DEVS
2	Yi Hu, Ruzhan Lu, Yuquan Chen, Hui Liu	A New Hierarchical Conceptual Graph Formalism Adapted for Chinese Document Retrieval.	FSKD	2007	DBLP DOI BibTeX RDF
2	Yngve Dahl, Dag Svanæs	Visualizing Interaction in Digitally Augmented Spaces: Steps Toward a Formalism for Location-Aware and Token-Based Interactive Systems.	HCI	2007	DBLP DOI BibTeX RDF	Ubiquitous computing, Interaction design, Visual design, Embodied interaction, Modeling formalisms
2	Thomas Huining Feng, Miriam Zia, Hans Vangheluwe	Multi-formalism modelling and model transformation for the design of reactive systems.	SCSC	2007	DBLP DOI BibTeX RDF	computer automated multi-paradigm modelling (CAMPaM), modelling and simulation based design, model transformation
2	Yacine Sam, Omar Boucelma	Customizable Web Services Description, Discovery and Composition : An Attribute Based Formalism.	Web Intelligence	2007	DBLP DOI BibTeX RDF
2	Cécile Hardebolle, Frédéric Boulanger	ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling.	MoDELS Workshops	2007	DBLP DOI BibTeX RDF
2	Tsz-Chiu Au, Dana S. Nau	Reactive Query Policies: A Formalism for Planning with Volatile External Information.	CIDM	2007	DBLP DOI BibTeX RDF
2	Mickaël Bureau, Stéphane Dauzère-Pérès, Claude Yugma, Leon Vermariën, Jean-Bernard Maria	Simulation results and formalism for global-local scheduling in semiconductor manufacturing facilities.	Winter Simulation Conference	2007	DBLP DOI BibTeX RDF
2	Yufang Bao, Andrew Maudsley	Image Reconstruction in the Grappa Algorithm Formalism.	ISBI	2007	DBLP DOI BibTeX RDF
2	Matthias Heindl, Stefan Biffl	Modeling of Requirements Tracing.	CEE-SET	2007	DBLP DOI BibTeX RDF	Software Requirements Tracing, Re-Test, Tracing Activity Model, Feasibility study
2	Paul Cotofrei, Kilian Stoffel	Stochastic processes and temporal data mining.	KDD	2007	DBLP DOI BibTeX RDF	consistency of temporal rules, stochastic limit theory, temporal logic formalism, stochastic processes, temporal data mining
2	Doo-Yeoun Cho, Myeong-Jo Son, Jung-Ho Kang, Sung-Jun Lee, Ju-Hwan Cha, Seong-Jin Yoo, Hyo-Kwang Lee, Kyu-Yeul Lee, Tae Wan Kim, Yong-Seog Ko	Analysis of a submarine's evasive capability against an antisubmarine warfare torpedo using DEVS modeling and simulation.	SpringSim	2007	DBLP DOI BibTeX RDF	evasive capability, simulation based acquisition (SBA), submarine, unified modeling language (UML), DEVS formalism
2	Frank Terpstra, Zhiming Zhao, Wico Mulder, Pieter W. Adriaans	Towards a Formal Foundation for Aggregating Scientific Workflows.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	formalism, I/O Automata, workflow design
2	Laurent Cauffriez, Vincent Benard, Dominique Renaux	A New Formalism for Designing and Specifying RAMS Parameters for Complex Distributed Control Systems: The Safe-SADT Formalism.	IEEE Transactions on Reliability	2006	DBLP DOI BibTeX RDF
2	Yoshiyuki Shinkawa	Inter-Model Consistency in UML Based on CPN Formalism.	APSEC	2006	DBLP DOI BibTeX RDF
2	Marina Flores-Badillo, Mayra Padilla-Duarte, Ernesto López-Mellado	Modeling and Simulation of Mobile Agents Systems Using a Multi-level Net Formalism.	MICAI	2006	DBLP DOI BibTeX RDF
2	Pinar Senkul	CompositeWeb Service Construction by Using a Logical Formalism.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
2	Zeeshan Furqan, Shahabuddin Muhammad, Ratan K. Guha	Formal Verification of 802.11i using Strand Space Formalism.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
2	Ronald E. Giachetti	Understanding Interdependence in Enterprise Systems: A Model and Measurement Formalism.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF	modeling, measurement, Enterprise Systems
2	Johan Köhler, Jules-Raymond Tapamo	Formal specification of region-based model for semantic extraction in road traffic monitoring.	Afrigraph	2006	DBLP DOI BibTeX RDF	semantic extraction, spatio-temporal formalism, conceptual model, Z notation
2	Marc Aiguier, Karim Berkani, Pascale Le Gall	Feature Specification and Static Analysis for Interaction Resolution.	FM	2006	DBLP DOI BibTeX RDF	pre-post formalism, specification consistency, feature interaction resolution, static analysis, feature integration
2	Guy Caplat, Jean-Louis Sourrouille	Model Mapping Using Formalism Extensions.	IEEE Software	2005	DBLP DOI BibTeX RDF	Model Driven Architecture, Modeling languages, design tools and techniques, model mapping
2	William B. Gardner	Converging CSP specifications and C++ programming via selective formalism.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	hardware/software codesign, Executable specifications, object-oriented application frameworks
2	Nadim Obeid	A Formalism for Representing and Reasoning with Temporal Information, Event and Change.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	three-valued, event, change, temporal, nonmonotonic
2	Paul Cotofrei, Kilian Stoffel	First-Order Logic Based Formalism for Temporal Data Mining *.	Foundations of Data Mining and knowledge Discovery	2005	DBLP DOI BibTeX RDF
2	Silvana Castano, Alfio Ferrara, Goffredo Haus, Luca A. Ludovico, Stefano Montanelli, Gianpaolo Racca, Giancarlo Vercellesi	The MX Formalism for Semantic Web Compatible Representation of Music Metadata.	Multimedia Information Systems	2005	DBLP DOI BibTeX RDF
2	Mark Fleischer	Scale invariant pareto optimality: a meta--formalism for characterizing and modeling cooperativity in evolutionary systems.	GECCO	2005	DBLP DOI BibTeX RDF	pareto optima, multi-objective optimization, self-organization, swarm intelligence, complex systems, self-organized criticality
2	Xingchen Heng, Zheng Qin	FPBN: A New Formalism for Evaluating Hybrid Bayesian Networks Using Fuzzy Sets and Partial Least-Squares.	ICIC	2005	DBLP DOI BibTeX RDF
2	Anke Dittmar, Peter Forbrig	A unified description formalism for complex HCI-systems.	SEFM	2005	DBLP DOI BibTeX RDF	Formal models of interactive systems, Integration of HCI theories, Human- Computer Interaction (HCI)
2	John D. Carter, Ming Xu, William B. Gardner	Rapid Prototyping of Embedded Software Using Selective Formalism.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
2	Xiaoqin Zeng, Kang Zhang, Jun Kong, Guang-Lei Song	RGG+: An Enhancement to the Reserved Graph Grammar Formalism.	VL/HCC	2005	DBLP DOI BibTeX RDF
2	Gennaro Costagliola, Vincenzo Deufemia, Michele Risi	Sketch Grammars: A Formalism for Describing and Recognizing Diagrammatic Sketch Languages.	ICDAR	2005	DBLP DOI BibTeX RDF
2	Guido Governatori, Zoran Milosevic	Dealing with contract violations: formalism and domain specific language.	EDOC	2005	DBLP DOI BibTeX RDF
2	Samar Abdi, Daniel Gajski	A formalism for functionality preserving system level transformations.	ASP-DAC	2005	DBLP DOI BibTeX RDF
2	Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis	Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems.	QEST	2005	DBLP DOI BibTeX RDF
2	Salim Chitroub	Contextual classifier combination by Markov random fields-Bayes formalism and evolutionary programming. Application: image classification enhancement.	AICCSA	2005	DBLP DOI BibTeX RDF
2	Antoine Defontaine, Alfredo I. Hernández, Guy Carrault	Multi-formalism Modelling of Cardiac Tissue.	FIMH	2005	DBLP DOI BibTeX RDF
2	David Safránek, Jirí Simsa	VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures.	SOFSEM	2005	DBLP DOI BibTeX RDF
2	Elisangela Mieko Kanacilo, Alexander Verbraeck	A distributed multi-formalism simulation to support rail infrastructure control design.	Winter Simulation Conference	2005	DBLP DOI BibTeX RDF
2	Hessam S. Sarjoughian, Dongping Huang	A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models.	DS-RT	2005	DBLP DOI BibTeX RDF
2	Mutsuko Tomokiyo, Gérard Chollet	VoiceUNL: A Semantic Representation of Emotions Within Universal Networking Language Formalism Based on a Dialogue Corpus Analysis.	CICLing	2005	DBLP DOI BibTeX RDF
2	Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe	Logic of constraints: a quantitative performance and functional constraint formalism.	IEEE Trans. on CAD of Integrated Circuits and Systems	2004	DBLP DOI BibTeX RDF
2	Tien Nhut Nguyen, Ethan V. Munson	A Formalism for Conformance Analysis and Its Applications.	SEFM	2004	DBLP DOI BibTeX RDF
2	Jun Kong, Kang Zhang	On a Spatial Graph Grammar Formalism.	VL/HCC	2004	DBLP DOI BibTeX RDF
2	Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini	A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach.	PARA	2004	DBLP DOI BibTeX RDF
2	Alexander F. Gelbukh, Grigori Sidorov, Sang-Yong Han, Erika Hernández-Rubio	Automatic Enrichment of Very Large Dictionary of Word Combinations on the Basis of Dependency Formalism.	MICAI	2004	DBLP DOI BibTeX RDF	Spanish, parsing, Collocations, dependency grammar
2	Ambar A. Gadkari, S. Ramesh, Rubin A. Parekhji	CESC: a visual formalism for specification and verification of SoCs.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	verification, specification, visual languages, system-level design
2	Vicente Luque Centeno, Carlos Delgado Kloos, Luis Sánchez Fernández, Norberto Fernández García	MSC-Based Formalism for Automated Web Navigation.	ICWE	2004	DBLP DOI BibTeX RDF
2	Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna	A Constraint-Based Formalism for Consistency in Replicated Systems.	OPODIS	2004	DBLP DOI BibTeX RDF
2	Torsten Kröger, Bernd Finkemeyer, Friedrich M. Wahl	A Task Frame Formalism for Practical Implementations.	ICRA	2004	DBLP DOI BibTeX RDF
2	Sangjoon Park, Kwanjoong Kim	DEVS Formalism: A Hierarchical Generation Scheme.	AIS	2004	DBLP DOI BibTeX RDF
2	Liu Baohong, Kedi Huang	A Formal Description Specification for Multi-resolution Modeling (MRM) Based on DEVS Formalism.	AIS	2004	DBLP DOI BibTeX RDF
2	Fernando J. Barros	Describing the HLA Using the DFSS Formalism.	AIS	2004	DBLP DOI BibTeX RDF
2	Lu Yan, Kaisa Sere	A Formalism for Context-Aware Mobile Computing.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF
2	Petr Aubrecht, Lubos Kral	Ontology Formalism Transformation.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
2	Hyung-Jong Kim	Vulnerability Modeling and Simulation for DNS Intrusion Tolerance System Construction.	AIS	2004	DBLP DOI BibTeX RDF	Atomic Vulnerability, DNS, Intrusion Tolerance, Vulnerability Analysis, DEVS formalism
2	Won Young Lee, Hee Suk Seo, Tae Ho Cho	Modeling of Policy-Based Network with SVDB.	AIS	2004	DBLP DOI BibTeX RDF	PBNM (Policy-based Network Management), simulation, Data Mining, network security, Security Policy, DEVS formalism
2	Juan de Lara, Gabriele Taentzer	Automated Model Transformation and Its Validation Using AToM 3 and AGG.	Diagrams	2004	DBLP DOI BibTeX RDF	Multi-Formalism Modelling, Meta-Modelling, Graph Transformation
2	Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi	A Fusion-Embedded Skeleton Library.	Euro-Par	2004	DBLP DOI BibTeX RDF	Skeletal Parallel Programming, Fusion Transformation, Bird-Meertens Formalism, Optimization, Program Transformation
2	Adalberto Farias, Alexandre Mota, Augusto Sampaio	Efficient CSPZ Data Abstraction.	IFM	2004	DBLP DOI BibTeX RDF	Integrated formalism, CSPZ, Java, model checking, verification, specification, tool support, data abstraction
2	Juan de Lara, Hans Vangheluwe, Manuel Alfonseca	Meta-modelling and graph grammars for multi-paradigm modelling in AToM3.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism
2	Ioannis Tsamardinos, Thierry Vidal, Martha E. Pollack	CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning.	Constraints	2003	DBLP DOI BibTeX RDF	constraint-based planning, conditional planning, temporal reasoning
2	William B. Gardner	Bridging CSP and C++ with Selective Formalism and Executable Specifications.	MEMOCODE	2003	DBLP DOI BibTeX RDF
2	Daniel M. Zimmerman	A UNITY-Based Formalism for Dynamic Distributed Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	dynamic distributed systems, program composition, formal methods, UNITY