Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Jacquet, Jean-Marie (Επιμελητής έκδοσης), Picco, Gian Pietro (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα: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.