Picco / Jacquet | Coordination Models and Languages | Buch | 978-3-540-25630-4 | sack.de

Buch, Englisch, 299 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 476 g

Reihe: Information Systems and Applications, incl. Internet/Web, and HCI

Picco / Jacquet

Coordination Models and Languages

7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings
2005
ISBN: 978-3-540-25630-4
Verlag: Springer Berlin Heidelberg

7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings

Buch, Englisch, 299 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 476 g

Reihe: Information Systems and Applications, incl. Internet/Web, and HCI

ISBN: 978-3-540-25630-4
Verlag: Springer Berlin Heidelberg


This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, COORDINATION 2005, held in Namur, Belgium in April 2005.

The 19 revised full papers presented were carefully reviewed and selected from 88 submissions. Among the topics addressed are Web services, safe ambients, process calculus, abstract verification, role-based software, delegation modeling, distributed information flow, adaptive Web content provision, global computing, mobile agents, mobile computing, multithreaded code generation, shared data space coordination languages, automata specifications, time aware coordination, and service discovery.

Picco / Jacquet Coordination Models and Languages jetzt bestellen!

Zielgruppe


Research

Weitere Infos & Material


A Case Study of Web Services Orchestration.- A Correct Abstract Machine for Safe Ambients.- A Process Calculus for QoS-Aware Applications.- Abstract Interpretation-Based Verification of Non-functional Requirements.- Coordination Systems in Role-Based Adaptive Software.- Coordination with Multicapabilities.- Delegation Modeling with Paradigm.- Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space.- Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach.- Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision.- Global Computing in a Dynamic Network of Tuple Spaces.- Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems.- Preserving Architectural Properties in Multithreaded Code Generation.- Prioritized and Parallel Reactions in Shared Data Space Coordination Languages.- Synchronized Hyperedge Replacement for Heterogeneous Systems.- Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.- Tagged Sets: A Secure and Transparent Coordination Medium.- Time-Aware Coordination in ReSpecT.- Transactional Aspects in Semantic Based Discovery of Services.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.