


default search action
7. COORDINATION 2005: Namur, Belgium
- Jean-Marie Jacquet, Gian Pietro Picco:

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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














