Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
Σειρά: | Lecture Notes in Computer Science,
3454 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.