Coordination Models and Languages
Subtitle: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings (Lecture Notes in Computer Science)
Contributors: Rocco De Nicola (Editor); Gianluigi Ferrari (Editor); Greg Meredith (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 31, 2004
Language: eng
Format: Paperback
Number of pages: 323
ISBN-13: 9783540210443
Subjects: Parallel processing; Programming languages; Parallel processing (Electroni; Data Processing - General; Programming - Software Development; Computer Books: General; Computers; Computers - General Information; Networking - General; Electronic data processing; Data Processing - Parallel Processing; Computers / Programming / General; Computer Bks - General Information; Parallel processing (Electronic computers); Congresses; Congráes; Distributed processing; Parallâelisme (Informatique)
First sentence: Decomposition as an aid to tackle complexity has been used in software development for a long time; after all, software engineering is a human activity and problem solving through "divide-and-conquer" must be as old as humanity.
Description: Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings<br />Author: Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-21044-3<br /> DOI: 10.1007/b95570<br /><br />Table of Contents:<p></p><ul><li>A Reactive Programming Model for Global Computing
</li><li>Open Issues and Opportunities in Web Services Modeling, Development, and Management
</li><li>Compositionality, Coordination and Software Architecture
</li><li>Problem Frames: A Case for Coordination
</li><li>O’Klaim: A Coordination Language with Mobile Mixins
</li><li>On Calculi for Context-Aware Coordination
</li><li>Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
</li><li>Measuring Component Adaptation
</li><li>An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
</li><li>From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming
</li><li>Probabilistic KLAIM
</li><li>A Lightweight Coordination Middleware for Mobile Computing
</li><li>Enforcement of Communal Policies for P2P Systems
</li><li>An Infrastructure to Build Secure Shared Grid Spaces
</li><li>Optimistic Concurrency Semantics for Transactions in Coordination Languages
</li><li>Active Coordination in Ad Hoc Networks
</li><li>CoorSet: A Development Environment for Associatively Coordinated Components
</li><li>On the Expressiveness of Absolute-Time Coordination Languages
</li><li>Logic Based Coordination for Event–Driven Self–healing Distributed Systems
</li><li>Using Coordination Middleware for Location-Aware Computing: A Lime Case Study</li></ul>