COORDINATION C

16 papers

YearTitle / Authors
2015A Fixpoint-Based Calculus for Graph-Shaped Computational Fields.
Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari
2015A Labelled Semantics for Soft Concurrent Constraint Programming.
Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia
2015Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions.
Andrea Omicini, Giancarlo Fortino, Stefano Mariani
2015Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles.
Edmund Soon Lee Lam, Iliano Cervesato, Nabeeha Fatima
2015Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Tom Holvoet, Mirko Viroli
2015Dynamic Choreographies - Safe Runtime Updates of Distributed Applications.
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
2015Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach.
Stephen Cranefield, Surangika Ranathunga
2015Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems.
Diego Latella, Michele Loreti, Mieke Massink
2015Klaim-DB: A Modeling Language for Distributed Database Applications.
Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
2015Logic Fragments: A Coordination Model Based on Logic Inference.
Francesco Luca De Angelis, Giovanna Di Marzo Serugendo
2015Open Transactions on Shared Memory.
Marino Miculan, Marco Peressotti, Andrea Toneguzzo
2015Parallelisation and Application of AD 3 as a Method for Solving Large Scale Combinatorial Auctions.
Francisco Cruz-Mencia, Jesús Cerquides, Antonio Espinosa, Juan Carlos Moure, Juan Antonio Rodríguez-Aguilar
2015Replica-Based High-Performance Tuple Space Computing.
Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente
2015Take Command of Your Constraints!
Sung-Shik T. Q. Jongmans, Farhad Arbab
2015Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi.
Luca Padovani, Tzu-Chun Chen, Andrea Tosatto
2015VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries.
Malinda Kumarasinghe, Geeth Tharanga, Lasitha Weerasinghe, Ujitha Wickramarathna, Surangika Ranathunga