Coordination models and languages : 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings
This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8 11 April 2002. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an applica...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
2315 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Coordination models and languages, 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002, proceedings, Farhad Arbab, Carolyn Talcott (eds.), Berlin, Springer, 2002, 1 vol. (XI-406 p.), Lecture notes in computer science, 3-540-43410-0 • Coordination Models and Languages, Texte imprimé, 9783662184950 |
Table des matières:
- Invited Presentations
- Playing Games with Software Design
- Coordination and System Design in a Network-Centric Age
- Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications
- Accepted Papers
- Coordination for Orchestration
- Concurrent Semantics for the Web Services Specification Language DAML-S
- Coordination through Channel Composition
- Exogenous and Endogenous Extensions of Architectural Types
- Coordinating Mobile Object-Oriented Code
- Formalizing Properties of Mobile Agent Systems
- Dynamically Adapting the Behaviour of Software Components
- An Associative Broadcast Based Coordination Model for Distributed Processes
- State and Event-Based Reactive Programming in Shared Dataspaces
- Integrating Two Organizational Systems through Communication Genres
- OpenCoLaS a Coordination Framework for CoLaS Dialects
- Coordination in a Reflective Architecture Description Language
- Coordinating Software Evolution via Two-Tier Programming
- Criteria for the Analysis of Coordination in Multi-agent Applications
- Towards a Colimit-Based Semantics for Visual Programming
- The Cost of Communication Protocols and Coordination Languages in Embedded Systems
- Operational Semantics for Coordination in Paradigm
- Service Provision in Ad Hoc Networks
- PN2: An Elementary Model for Design and Analysis of Multi-agent Systems
- A Recovery Technique Using Multi-agent in Distributed Computing Systems
- An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions
- Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility
- Formal Specification of JavaSpaces Architecture Using ?CRL
- Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study
- Scheduling under Uncertainty: Planning forthe Ubiquitous Grid
- Using Logical Operators as an Extended Coordination Mechanism in Linda
- A Framework for Coordinating Parallel Branch and Bound Algorithms
- Policies for Cooperative Virtual Teams
- The Spacetub Models and Framework
- Tuple-Based Models in the Observation Framework
- Extending the Matching Facilities of Linda
- Semantics of Protocol Modules Composition and Interaction.