Coordination Models and Languages 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Arbab, Farhad (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Talcott, Carolyn (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2315
• Θέματα: Architecture, Computer.; Programming languages (Electronic computers).; Computer programming.; Computer communication systems.; Computers.; Software engineering.; Computer System Implementation.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Computer Communication Networks.; Computation by Abstract Devices.; Software Engineering.

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

Πίνακας περιεχομένων:

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