Search results for "COORDINATION"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron	Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Robert Tolksdorf	Coordination Technology for Workflows on the Web: Workspaces.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Enrico Denti, Andrea Omicini, Vladimiro Toschi	The LuCe Coordination Technology for MAS Design and Development on the Internet.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Gian-Luigi Ferrari 0002, Carlo Montangero, Laura Semini, Simone Semprini	Mobile Agents Coordination in Mobadtl.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Dan Hirsch, Paola Inverardi, Ugo Montanari	Reconfiguration of Software Architecture Styles with Name Mobility.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi	On Timed Coordination Languages.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Jeremy L. Jacob, Alan M. Wood	A Principled Semantics for inp.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Masatomo Hashimoto, Akinori Yonezawa	MobileML: A Programming Language for Mobile Computation.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Rance Cleaveland, Xiaoqun Du, Scott A. Smolka	GCCS: A Graphical Coordination Language for System Specification.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Mika Katara	Hybrid Models for Mobile Computing.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger	Patterns for Coordination.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Iain Merrick, Alan Wood	Scoped Coordination in Open Distributed Systems.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Andrew Moran, David Sands 0001, Magnus Carlsson	Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Ciarán Bryce, Manuel Oriol, Jan Vitek	A Coordination Model Agents Based on Secure Spaces.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Christian F. Tschudin	A Self-Deploying Election Service for Active Networks.	COORDINATION	1999	DBLP DOI BibTeX RDF	self-deploying service, election protocol, network bootstrap, Active networks, messengers
1	C. T. H. Everaars, Bert Lisser	Coordination of a Parallel Proposition Solver.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Rodion M. Podorozhny, Barbara Staudt Lerner, Leon J. Osterweil	Modeling Resources for Activity Coordination and Scheduling.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Antony I. T. Rowstron	Mobile Co-ordination: Providing Fault Tolerance in Tuple Space Based Co-ordination Languages.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Mathieu Buffo, Didier Buchs	A Distributed Semantics for a IWIM-Based Coordination Language.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Dan Hirsch, Sebastián Uchitel, Daniel Yankelevich	Towards a Periodic Table of Connectors.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Luigia Petre, Kaisa Sere	Coordination Among Mobile Objects.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Martin Weichert	Pipelining the Molecule Soup: A Plumber's Approach to Gamma.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Marco Cremonini, Andrea Omicini, Franco Zambonelli	Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Alan Wood	Coordination with Attributes.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Michael Schumacher 0001, Fabrice Chantemargue, Béat Hirsbrunner	The STL++ Coordination Language: A Base for Implementing Distributed Multi-agent Applications.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Reinhard Budde, G. Michele Pinna, Axel Poigné	Coordination of Synchronous Programs.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Cecilia Mascolo	MobiS: A Specification Language for Mobile Systems.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Mark Day	Presence and Instant Messaging via HTTP /1.1: A Coordination Perspective.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Wilfred C. Jamison, Doug Lea	TRUCE: Agent Coordination Through Concurrent Interpretation of Role-Based Protocols.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Juan Carlos Cruz, Stéphane Ducasse	A Group Based Approach for Coordinating Active Objects.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Danny B. Lange	Characteristics of an Agent Scripting Language and Its Execution Environment.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Juan Manuel Murillo, Juan Hernández Núñez, Fernando Sánchez, Luis A. Álvarez	Coordinated Roles: Promoting Re-usability of Coordinated Active Objects Using Event Notification Protocols.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Rocco De Nicola	Coordination and Access Control of Mobile Agents.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Candida Attanasio, Flavio Corradini, Paola Inverardi	Static Analysis of Real-Time Component-Based Systems Configurations.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Carlo Montangero, Laura Semini	Composing Specifications for Coordination.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro	Comparing Software Architectures for Coordination Languages.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Antonio Brogi, Jean-Marie Jacquet	On the Expressiveness of Coordination Models.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Carlos A. Varela, Gul Agha	A Hierarchical Model for Coordination of Concurrent Activities.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	David Garlan, Zhenyu Wang	Acme-Based Software Architecture Interchange.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Davide Rossi, Fabio Vitali	Internet-Based Coordination Environments and Document-Based Applications: A Case Study.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Uwe Aßmann, Andreas Ludwig	Introducing Connections Into Classes With Static Meta-Programming.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Tatsurou Sekiguchi, Hidehiko Masuhara, Akinori Yonezawa	A Simple Extension of Java Language for Controllable Transparent Migration and Its Portable Implementation.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Neal Sample, Dorothea Beringer, Laurence Melloul, Gio Wiederhold	CLAM: Composition Language for Autonomous Megamodules.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Paolo Ciancarini, Alexander L. Wolf (eds.)	Coordination Languages and Models, Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Adriano Scutellà	Simulation of Conference Management Using an Even-Driven Coordination Language.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Jeff Kramer, Jeff Magee	Exposing the Skeleton in the Coordination Closet.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Edwin D. de Jong	Software Architecture for Large Control Systems: A Case Study Description.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Robert Tolksdorf	Berlinda: An Object-Oriented Platform for Implementing Coordination Languages in Java.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Antony I. T. Rowstron	Using Asynchronous Tuple-Space Access Primitives (BONITA Primitives) for Process Co-ordination.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Enrico Denti, Antonio Natali, Andrea Omicini	Programmable Coordination Media.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Suresh Jagannathan	Communication-Passing Style for Coordination Languages.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	A. A. Holzbacher, Michaël Périn, Mario Südholt	Modeling Railway Control Systems Using Graph Grammars: A Case Study.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Kari Granö, Jukka Paakki	From Layer to Layer - Object-Oriented Protocol Refinement in Kannel.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Jean-Yves Vion-Dury, Luc Bellissard, Vladimir Marangozov	A Component Calculus for Modeling the Olan Configuration Language.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Naftaly H. Minsky, Victoria Ungureanu	Regulated Coordination in Open Distributed Systems.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Eric J. Hedman, Joost N. Kok, Kaisa Sere	Coordinating Action Systems.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Christophe Bidan, Valérie Issarny	Security Benefits from Software Architecture.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Jürgen Dingel	Approximating UNITY.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	David Gelernter, Lenore D. Zuck	On What Linda Is: Formal Description of Linda as a Reactive System.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Isabel Nunes, José Luiz Fiadeiro, Wladyslaw M. Turski	Coordination Durative Actions.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	George A. Papadopoulos, Farhad Arbab	Control-Based Coordination of Human and Other Activities in Cooperative Information Systems.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Roberto M. Amadio	An Asynchronous Model of Locality, Failure and Process Mobility.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro	Three Semantics of the Output Operation for Generative Communication.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Doug Lea	Design for Open Systems in Java.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Mathieu Buffo, Didier Buchs	A Coordination Model for Distributed Object Systems.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	David Garlan, Daniel Le Métayer (eds.)	Coordination Languages and Models, Second International Conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997, Proceedings	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Rocco De Nicola, Gian-Luigi Ferrari 0002, Rosario Pugliese	Coordinating Mobile Agents via Blackboards and Access Rights.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich	Checking Assumptions in Component Dynamics as the Architectural Level.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Pieter A. Olivier	Debugging Distributed Applications Using a Coordination Architecture.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Roel van der Goot, Jonathan Schaeffer, Gregory V. Wilson	Safer Tuple Spaces.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Sylvia Stuurman, Jan van Katwijk	Evaluation of Software Architecture for a Control System: A Case Study.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Bernd Freisleben, Thilo Kielmann	Coordination Patterns for Parallel Computing.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Adam Kellett, Michael Fisher 0001	Concurrent METATEM as a Coordination Language.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Peter J. McCann, Gruia-Catalin Roman	Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Eike Best, Frank S. de Boer, Catuscia Palamidessi	Partial Order and SOS Semantics for Linear Constraint Programs.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Robert D. Bjornson, Nicholas Carriero, David Gelernter	From Weaving Threads to Untangling the Web: A View of Coordination from Linda's Perspective.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Antonio Brogi, Jean-Marie Jacquet	Modeling Coordination via Asynchronous Communication.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Antony I. T. Rowstron, Alan Wood	Solving the LINDA Multiple rd Problem.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Ernst-Erich Doberkat, Wilhelm Hasselbring, Claus Pahl	Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Helmar Burkhart, Robert Frank, Guido Hächler	ALWAN: A Skeleton Programming Language.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Eiichi Horita, Ken Mano	Nepi: A Network Programming Language Based on the pi-Calculus.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Pascal Bouvry, Farhad Arbab	VISIFOLD: A Visual Environment for a Coordination Language.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Jean-Pierre Banâtre	Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Koenraad De Bosschere, Jean-Marie Jacquet	µ2 Log: Towards Remote Coordination.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Michel R. V. Chaudron, Edwin D. de Jong	Towards a Compositional Method for Coordinating Gamma Programs.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	David S. Gladstein, Mitchell Wand	Compiler Correctness for Concurrent Languages.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Gert Florijn, Timo Besamusca, Danny Greefhorst	ARIADNE and HOPLa: Flexible Coordination of Collaborative Processes.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Thilo Kielmann	Designing a Coordination Model for Open Systems.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Ugo Montanari, Francesca Rossi 0001	Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract).	COORDINATION	1996	DBLP DOI BibTeX RDF
1	David Cohen, Juarez Muylaert Filho	Introducing a Calculus for Higher-Order Multiset Programming.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink	Coordination in the ImpUNITY Framework.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Robert Tolksdorf	Coordinating Services in Open Distributed Systems with LAURA.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Atsuo Hazeyama, Seiichi Komiya	A Case Study of Integration of a Software Process Management System with Software Engineering Environments for Process Monitoring and Management.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Pablo A. Straub, Carlos A. Hurtado	Understanding Behavior of Business Process Models.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Rocco De Nicola, Rosario Pugliese	A Process Algebra Based on LINDA.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Paolo Ciancarini, Robert Tolksdorf, Fabio Vitali	Weaving the Web Using Coordination.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	K. V. S. Prasad	Broadcasting in Time.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Farhad Arbab	The IWIM Model for Coordination of Concurrent Activities.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Paola Inverardi, Daniele Compare	Modelling Interoperability by CHAM: A Case Study.	COORDINATION	1996	DBLP DOI BibTeX RDF
1	Paolo Ciancarini, Chris Hankin (eds.)	Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings	COORDINATION	1996	DBLP DOI BibTeX RDF

Publications at "COORDINATION"( http://dblp.L3S.de/Venues/COORDINATION )