Jean-Marie Jacquet, Gian Pietro Picco (Eds.):
Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings.
Lecture Notes in Computer Science 3454 Springer 2005, ISBN 3-540-25630-X 
- Manuel Mazzara, Sergio Govoni:
A Case Study of Web Services Orchestration.
1-16
- Daniel Hirschkoff, Damien Pous, Davide Sangiorgi:
A Correct Abstract Machine for Safe Ambients.
17-32
- Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Process Calculus for QoS-Aware Applications.
33-48
- Agostino Cortesi, Francesco Logozzo:
Abstract Interpretation-Based Verification of Non-functional Requirements.
49-62
- Alan W. Colman, Jun Han:
Coordination Systems in Role-Based Adaptive Software.
63-78
- Nur Izura Udzir, Alan M. Wood, Jeremy L. Jacob:
Coordination with Multicapabilities.
79-93
- Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink:
Delegation Modeling with Paradigm.
94-108
- Giovanni Russello, Michel R. V. Chaudron, Maarten van Steen:
Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space.
109-124
- Arnab Ray:
Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach.
125-139
- Lindsay Bradford, Stephen Milliner, Marlon Dumas:
Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision.
140-156
- Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Global Computing in a Dynamic Network of Tuple Spaces.
157-172
- Taesoon Park:
Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems.
173-187
- Marco Bernardo, Edoardo Bontà:
Preserving Architectural Properties in Multithreaded Code Generation.
188-203
- Nadia Busi, Gianluigi Zavattaro:
Prioritized and Parallel Reactions in Shared Data Space Coordination Languages.
204-219
- Ivan Lanese, Emilio Tuosto:
Synchronized Hyperedge Replacement for Heterogeneous Systems.
220-235
- Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani:
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
236-251
- Manuel Oriol, Michael W. Hicks:
Tagged Sets: A Secure and Transparent Coordination Medium.
252-267
- Andrea Omicini, Alessandro Ricci, Mirko Viroli:
Time-Aware Coordination in ReSpecT.
268-282
- Laura Bocchi, Paolo Ciancarini, Davide Rossi:
Transactional Aspects in Semantic Based Discovery of Services.
283-297
Last update Tue Feb 14 03:52:03 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
