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 |
|