Overview

This book constitutes the refereed proceedings of the 5th International Conference on Coordination Models and Languages, COORDINATION 2002, held in York, UK, in April 2002. The 18 revised full papers and 14 short papers presented were carefully reviewed and selected from 55 submissions. Among the topics addressed are network-centric systems design, concurrent semantics, mobile object systems, mobile agent systems, software components, distributed processes, coordination frameworks, reflective architectures, multi-agent systems engineering, communication protocols, formal specification, and cooperative virtual teams.

Full Product Details

Author:   Farhad Arbab ,  Carolyn Talcott
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2002 ed.
Volume:   2315
Dimensions:   Width: 15.50cm , Height: 2.10cm , Length: 23.50cm
Weight:   1.310kg
ISBN:  

9783540434108

ISBN 10:   3540434100
Pages:   412
Publication Date:   27 March 2002
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

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 (TM) Architecture Using ?CRL.- Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study.- Scheduling under Uncertainty: Planning for the 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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions