دانلود کتاب Coordination Models and Languages: 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings

فهرست مطالب :

Front Matter....Pages -
Statelets: Coordination of Social Collaboration Processes....Pages 1-16
A Social Software-Based Coordination Platform....Pages 17-28
Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing....Pages 29-43
Subobject Transactional Memory....Pages 44-58
Partial Connector Colouring....Pages 59-73
Using Coordinated Actors to Model Families of Distributed Systems....Pages 74-88
Scoped Synchronization Constraints for Large Scale Actor Systems....Pages 89-103
First-Order Dynamic Logic for Compensable Processes....Pages 104-121
Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps....Pages 122-136
Recursive Advice for Coordination....Pages 137-151
Fluid Analysis of Foraging Ants....Pages 152-165
Real-Time Coordination Patterns for Advanced Mechatronic Systems....Pages 166-180
Group Orchestration in a Mobile Environment....Pages 181-195
Node Coordination in Peer-to-Peer Networks....Pages 196-211
Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments....Pages 212-229
A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents....Pages 230-244
On the Realizability of Contracts in Dishonest Systems....Pages 245-260
Types for Coordinating Secure Behavioural Variations....Pages 261-276
Back Matter....Pages -