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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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.: | 996465802303316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Information Systems and Applications, incl. Internet/Web, and HCI ; ; 3454