COORDINATION C

19 papers

YearTitle / Authors
2012A Social Software-Based Coordination Platform - Tool Paper.
Davide Rossi
2012A 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ß
2012Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps.
Bogdan Aman, Gabriel Ciobanu
2012Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
Marjan Sirjani
2012First-Order Dynamic Logic for Compensable Processes.
Roberto Bruni, Carla Ferreira, Anne Kersten Kauer
2012Fluid Analysis of Foraging Ants.
Mieke Massink, Diego Latella
2012Group Orchestration in a Mobile Environment.
Eline Philips, Jorge Vallejos, Ragnhild Van Der Straeten, Viviane Jonckers
2012Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments.
Mirko Viroli, Danilo Pianini, Jacob Beal
2012Node Coordination in Peer-to-Peer Networks.
Luigia Petre, Petter Sandvik, Kaisa Sere
2012On the Realizability of Contracts in Dishonest Systems.
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
2012Partial Connector Colouring.
Dave Clarke, José Proença
2012Real-Time Coordination Patterns for Advanced Mechatronic Systems.
Stefan Dziwok, Christian Heinzemann, Matthias Tichy
2012Recursive Advice for Coordination.
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
2012Scoped Synchronization Constraints for Large Scale Actor Systems.
Peter Dinges, Gul Agha
2012Statelets: Coordination of Social Collaboration Processes.
Vitaliy Liptchinsky, Roman Khazankin, Hong Linh Truong, Schahram Dustdar
2012Subobject Transactional Memory.
Marko van Dooren, Dave Clarke
2012Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing.
Frederico Alvares de Oliveira Jr., Rémi Sharrock, Thomas Ledoux
2012Types for Coordinating Secure Behavioural Variations.
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
2012Using Coordinated Actors to Model Families of Distributed Systems.
Ramtin Khosravi, Hamideh Sabouri