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 BibTeX
- Manuel Mazzara, Sergio Govoni:
A Case Study of Web Services Orchestration.
1-16
Electronic Edition (link) BibTeX
- Daniel Hirschkoff, Damien Pous, Davide Sangiorgi:
A Correct Abstract Machine for Safe Ambients.
17-32
Electronic Edition (link) BibTeX
- Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Process Calculus for QoS-Aware Applications.
33-48
Electronic Edition (link) BibTeX
- Agostino Cortesi, Francesco Logozzo:
Abstract Interpretation-Based Verification of Non-functional Requirements.
49-62
Electronic Edition (link) BibTeX
- Alan W. Colman, Jun Han:
Coordination Systems in Role-Based Adaptive Software.
63-78
Electronic Edition (link) BibTeX
- Nur Izura Udzir, Alan M. Wood, Jeremy L. Jacob:
Coordination with Multicapabilities.
79-93
Electronic Edition (link) BibTeX
- Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink:
Delegation Modeling with Paradigm.
94-108
Electronic Edition (link) BibTeX
- Giovanni Russello, Michel R. V. Chaudron, Maarten van Steen:
Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space.
109-124
Electronic Edition (link) BibTeX
- Arnab Ray:
Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach.
125-139
Electronic Edition (link) BibTeX
- Lindsay Bradford, Stephen Milliner, Marlon Dumas:
Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision.
140-156
Electronic Edition (link) BibTeX
- Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Global Computing in a Dynamic Network of Tuple Spaces.
157-172
Electronic Edition (link) BibTeX
- Taesoon Park:
Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems.
173-187
Electronic Edition (link) BibTeX
- Marco Bernardo, Edoardo Bontà:
Preserving Architectural Properties in Multithreaded Code Generation.
188-203
Electronic Edition (link) BibTeX
- Nadia Busi, Gianluigi Zavattaro:
Prioritized and Parallel Reactions in Shared Data Space Coordination Languages.
204-219
Electronic Edition (link) BibTeX
- Ivan Lanese, Emilio Tuosto:
Synchronized Hyperedge Replacement for Heterogeneous Systems.
220-235
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Manuel Oriol, Michael W. Hicks:
Tagged Sets: A Secure and Transparent Coordination Medium.
252-267
Electronic Edition (link) BibTeX
- Andrea Omicini, Alessandro Ricci, Mirko Viroli:
Time-Aware Coordination in ReSpecT.
268-282
Electronic Edition (link) BibTeX
- Laura Bocchi, Paolo Ciancarini, Davide Rossi:
Transactional Aspects in Semantic Based Discovery of Services.
283-297
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:03:36 2009
by Michael Ley (ley@uni-trier.de)