Vai al contenuto principale della pagina
Titolo: |
Coordination Models and Languages [[electronic resource] ] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / / edited by Jean-Marie Jacquet, Gian Pietro Picco
![]() |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Edizione: | 1st ed. 2005. |
Descrizione fisica: | 1 online resource (X, 299 p.) |
Disciplina: | 004/.35 |
Soggetto topico: | Software engineering |
Computer communication systems | |
Computer programming | |
Computers | |
Artificial intelligence | |
Software Engineering | |
Computer Communication Networks | |
Programming Techniques | |
Computation by Abstract Devices | |
Artificial Intelligence | |
Persona (resp. second.): | JacquetJean-Marie |
PiccoGian Pietro | |
Note generali: | Internat. conference proceedings. |
Nota di bibliografia: | Includes bibliographical references and index. |
Nota di contenuto: | 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. |
Titolo autorizzato: | Coordination Models and Languages ![]() |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910484811003321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |