default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7. 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.
last updated on 2025-04-14 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
