Coordination models and languages : 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 : proceedings / Rocco De Nicola, Gianluigi Ferrari, Greg Meredith (eds.)
Imprint
Berlin : Springer, c2004
Descript
x, 322 p. : ill. ; 24 cm
CONTENT
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 modeling long-running business transactions -- From endogenous to exogenous coordination using aspect-oriented programming -- Probabilistic KLAIM -- A lightweight coordination middlewarw 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 language -- Logic based coordination for event-driven self-healing distributed systems -- Using coordination middleware for location-aware computing: a LIME case study -- VIPER: a VIsual protocol editoR -- Social control mechamisms to coordinate an unreliable agent society -- A component-based parallel constraint solver