Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

Table of Contents
Coordination Models and Languages
Tom Holvoet, Mirko Viroli
Front Matter

Tuple-Based Coordination


Replica-Based High-Performance Tuple Space Computing
Marina Andrić, Rocco Nicola, Alberto Lafuente
3-18
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
Diego Latella, Michele Loreti, Mieke Massink
19-34
Logic Fragments: A Coordination Model Based on Logic Inference
Francesco Angelis, Giovanna Marzo Serugendo
35-48

Coordinating Ensembles


Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles
Edmund Lam, Iliano Cervesato, Nabeeha Fatima
51-66
Dynamic Choreographies Safe Runtime Updates of Distributed Applications
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
67-82
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
Luca Padovani, Tzu-Chun Chen, Andrea Tosatto
83-98

Constraints


A Fixpoint-Based Calculus for Graph-Shaped Computational Fields
Alberto Lafuente, Michele Loreti, Ugo Montanari
101-116
Take Command of Your Constraints!
Sung-Shik Jongmans, Farhad Arbab
117-132
A Labelled Semantics for Soft Concurrent Constraint Programming
Fabio Gadducci, Francesco Santini, Luis Pino, Frank Valencia
133-149

Agent-Oriented Techniques


Parallelisation and Application of AD 3 as a Method for Solving Large Scale Combinatorial Auctions
Francisco Cruz-Mencia, Jesus Cerquides, Antonio Espinosa, Juan Moure, Juan Rodriguez-Aguilar
153-168
Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach
Stephen Cranefield, Surangika Ranathunga
169-185
Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions
Andrea Omicini, Giancarlo Fortino, Stefano Mariani
186-193

Shared Spaces


Klaim-DB: A Modeling Language for Distributed Database Applications
Xi Wu, Ximeng Li, Alberto Lafuente, Flemming Nielson, Hanne Nielson
197-212
Open Transactions on Shared Memory
Marino Miculan, Marco Peressotti, Andrea Toneguzzo
213-229
VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries
Malinda Kumarasinghe, Geeth Tharanga, Lasitha Weerasinghe, Ujitha Wickramarathna, Surangika Ranathunga
230-245

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/