Description |
1 online resource |
Series |
Lecture notes in computer science, 0302-9743 ; 7274 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7274.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Statelets: Coordination of Social Collaboration Processes / Vitaliy Liptchinsky, Roman Khazankin, Hong-Linh Truong and Schahram Dustdar -- A Social Software-Based Coordination Platform / Tool Paper / Davide Rossi -- Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing / Frederico Alvares de Oliveira Jr., Remi Sharrock and Thomas Ledoux -- Subobject Transactional Memory / Marko van Dooren and Dave Clarke -- Partial Connector Colouring / Dave Clarke and José Proença -- Using Coordinated Actors to Model Families of Distributed Systems / Ramtin Khosravi and Hamideh Sabouri -- Scoped Synchronization Constraints for Large Scale Actor Systems / Peter Dinges and Gul Agha -- First-Order Dynamic Logic for Compensable Processes / Roberto Bruni, Carla Ferreira and Anne Kersten Kauer -- Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps / Bogdan Aman and Gabriel Ciobanu -- Recursive Advice for Coordination / Michał Terepeta, Hanne Riis Nielson and Flemming Nielson -- Fluid Analysis of Foraging Ants / Mieke Massink and Diego Latella -- Real-Time Coordination Patterns for Advanced Mechatronic Systems / Stefan Dziwok, Christian Heinzemann and Matthias Tichy -- Group Orchestration in a Mobile Environment / Eline Philips, Jorge Vallejos, Ragnhild Van Der Straeten and Viviane Jonckers -- Node Coordination in Peer-to-Peer Networks / Luigia Petre, Petter Sandvik and Kaisa Sere -- Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments / Mirko Viroli, Danilo Pianini and Jacob Beal -- A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents / Eva Kühn, Alexander Marek, Thomas Scheller, Vesna Sesum-Cavic and Michael Vögler, et al. -- On the Realizability of Contracts in Dishonest Systems / Massimo Bartoletti, Emilio Tuosto and Roberto Zunino -- Types for Coordinating Secure Behavioural Variations / Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta and Gianluca Mezzetti |
Summary |
This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 18 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems |
Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Programming Techniques |
|
Software Engineering/Programming and Operating Systems |
|
Information Systems Applications (incl. Internet) |
Bibliography |
Includes bibliographical references and author index |
Notes |
English |
Subject |
Electronic data processing -- Distributed processing -- Congresses
|
|
Informatique.
|
|
Electronic data processing -- Distributed processing
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Sirjani, Marjan.
|
ISBN |
9783642308291 |
|
3642308295 |
|
3642308287 |
|
9783642308284 |
|