Full Text Documents Search Links IFIP website IFIP TC6 Open DL

Table of Contents Coordination Models and Languages Marjan Sirjani (Ed.) Front Matter Statelets: Coordination of Social Collaboration Processes Vitaliy Liptchinsky, Roman Khazankin, Hong-Linh Truong, Schahram Dustdar 1-16 A Social Software-Based Coordination Platform Davide Rossi 17-28 Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing Frederico Alvares de Oliveira Jr., Remi Sharrock, Thomas Ledoux 29-43 Subobject Transactional Memory Marko Dooren, Dave Clarke 44-58 Partial Connector Colouring Dave Clarke, José Proença 59-73 Using Coordinated Actors to Model Families of Distributed Systems Ramtin Khosravi, Hamideh Sabouri 74-88 Scoped Synchronization Constraints for Large Scale Actor Systems Peter Dinges, Gul Agha 89-103 First-Order Dynamic Logic for Compensable Processes Roberto Bruni, Carla Ferreira, Anne Kersten Kauer 104-121 Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps Bogdan Aman, Gabriel Ciobanu 122-136 Recursive Advice for Coordination Michał Terepeta, Hanne Nielson, Flemming Nielson 137-151 Fluid Analysis of Foraging Ants Mieke Massink, Diego Latella 152-165 Real-Time Coordination Patterns for Advanced Mechatronic Systems Stefan Dziwok, Christian Heinzemann, Matthias Tichy 166-180 Group Orchestration in a Mobile Environment Eline Philips, Jorge Vallejos, Ragnhild Straeten, Viviane Jonckers 181-195 Node Coordination in Peer-to-Peer Networks Luigia Petre, Petter Sandvik, Kaisa Sere 196-211 Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments Mirko Viroli, Danilo Pianini, Jacob Beal 212-229 A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents Eva Kühn, Alexander Marek, Thomas Scheller, Vesna Sesum-Cavic, Michael Vögler, Stefan Craß 230-244 On the Realizability of Contracts in Dishonest Systems Massimo Bartoletti, Emilio Tuosto, Roberto Zunino 245-260 Types for Coordinating Secure Behavioural Variations Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti 261-276

Designed by Inria-IES Team :     Hosted by HAL :