


default search action
5. COORDINATION 2002: York, UK
- Farhad Arbab, Carolyn L. Talcott:

Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings. Lecture Notes in Computer Science 2315, Springer 2002, ISBN 3-540-43410-0
Invited Presentations
- Perdita Stevens:

Playing Games with Software Design. 1 - Jim Waldo:

Coordination and System Design in a Network-Centric Age. 2-3 - Michael J. Wooldridge, Wiebe van der Hoek

:
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. 4
Accepted Papers
- Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Georgios Koutsoukos

, Michel Wermelinger:
Coordination for Orchestration. 5-13 - Anupriya Ankolekar, Frank Huch, Katia P. Sycara:

Concurrent Semantics for the Web Services Specification Language DAML-S. 14-21 - Farhad Arbab, Farhad Mavaddat:

Coordination through Channel Composition. 22-39 - Marco Bernardo, Francesco Franzè:

Exogenous and Endogenous Extensions of Architectural Types. 40-55 - Lorenzo Bettini, Viviana Bono, Betti Venneri:

Coordinating Mobile Object-Oriented Code. 56-71 - Lorenzo Bettini, Rocco De Nicola

, Michele Loreti:
Formalizing Properties of Mobile Agent Systems. 72-87 - Andrea Bracciali, Antonio Brogi

, Carlos Canal:
Dynamically Adapting the Behaviour of Software Components. 88-95 - James C. Browne, Kevin Kane, Hongxia Tian:

An Associative Broadcast Based Coordination Model for Distributed Processes. 96-110 - Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro:

State- and Event-Based Reactive Programming in Shared Dataspaces. 111-124 - Carlos J. Costa, Pedro Antunes

, João Ferreira Dias:
Integrating Two Organizational Systems through Communication Genres. 125-132 - Juan Carlos Cruz:

OpenCoLaS a Coordination Framework for CoLaS Dialects. 133-140 - Carlos Enrique Cuesta Quintero

, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez:
Coordination in a Reflective Architecture Description Language. 141-148 - Amnon H. Eden, Jens H. Jahnke:

Coordinating Software Evolution via Two-Tier Programming. 149-157 - Rejane Frozza

, Luis Otávio Alvares:
Criteria for the Analysis of Coordination in Multi-agent Applications. 158-165 - Jeremy Gibbons:

Towards a Colimit-Based Semantics for Visual Programming. 166-173 - Kees G. W. Goossens, Om Prakash Gangwal:

The Cost of Communication Protocols and Coordination Languages in Embedded Systems. 174-190 - Luuk Groenewegen, Erik P. de Vink:

Operational Semantics for Coordination in Paradigm. 191-206 - Radu Handorean, Gruia-Catalin Roman:

Service Provision in Ad Hoc Networks. 207-219 - Kunihiko Hiraishi:

PN2: An Elementary Model for Design and Analysis of Multi-agent Systems. 220-235 - Hwa-Min Lee, Kwang-Sik Chung

, Sang-Chul Shin, Dae-Won Lee, Won-Gyu Lee, Heon-Chang Yu
:
A Recovery Technique Using Multi-agent in Distributed Computing Systems. 236-249 - José Antonio Pérez, Rafael Corchuelo

, David Ruiz, Miguel Toro:
An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions. 250-257 - Gian Pietro Picco, Marco L. Buschini:

Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility. 258-273 - Jaco van de Pol, Miguel Valero Espada:

Formal Specification of JavaSpaces Architecture Using µCRL. 274-290 - Alessandro Ricci

, Andrea Omicini, Enrico Denti
:
Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study. 291-299 - Neal Sample, Pedram Keyani, Gio Wiederhold:

Scheduling under Uncertainty: Planning for the Ubiquitous Grid. 300-316 - Jim Snyder, Ronaldo Menezes

:
Using Logical Operators as an Extended Coordination Mechanism in Linda. 317-331 - Andries Stam:

A Framework for Coordinating Parallel Branch and Bound Algorithms. 332-339 - Samir Tata:

Policies for Cooperative Virtual Teams. 340-347 - Robert Tolksdorf, Gregor Rojec-Goldmann:

The SPACETUB Models and Framework. 348-363 - Mirko Viroli, Andrea Omicini:

Tuple-Based Models in the Observation Framework. 364-379 - George Wells, Alan Chalmers

, Peter Clayton:
Extending the Matching Facilities of Linda. 380-388 - Pawel T. Wojciechowski

, Sergio Mena, André Schiper:
Semantics of Protocol Modules Composition and Interaction. 389-404

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














