Coordination models and languages : 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings

Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings
Author: Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-21044-3
DOI: 10.1007/b95570

Table of Contents:

• A Reactive Programming Model for Global Computing
• Open Issues and Opportunities in Web Services Modeling, Development, and Management
• Compositionality, Coordination and Software Architecture
• Problem Frames: A Case for Coordination
• O’Klaim: A Coordination Language with Mobile Mixins
• On Calculi for Context-Aware Coordination
• Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
• Measuring Component Adaptation
• An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
• From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming
• Probabilistic KLAIM
• A Lightweight Coordination Middleware for Mobile Computing
• Enforcement of Communal Policies for P2P Systems
• An Infrastructure to Build Secure Shared Grid Spaces
• Optimistic Concurrency Semantics for Transactions in Coordination Languages
• Active Coordination in Ad Hoc Networks
• CoorSet: A Development Environment for Associatively Coordinated Components
• On the Expressiveness of Absolute-Time Coordination Languages
• Logic Based Coordination for Event–Driven Self–healing Distributed Systems
• Using Coordination Middleware for Location-Aware Computing: A Lime Case Study

Includes bibliographical references and index