Coordination models and languages : 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings
This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8 11 April 2002. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an applica...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
2315 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Coordination models and languages, 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002, proceedings, Farhad Arbab, Carolyn Talcott (eds.), Berlin, Springer, 2002, 1 vol. (XI-406 p.), Lecture notes in computer science, 3-540-43410-0 • Coordination Models and Languages, Texte imprimé, 9783662184950 |
| LEADER | 06161nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 948418 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15516368X | ||
| 020 | |a 9783540460008 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.35 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Coordination Models and Languages |n (05 |d :2002 |c :York). | |
| 245 | 1 | 0 | |a Coordination models and languages : |b 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings |c [edited by] Farhad Arbab, Carolyn Talcott. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2315 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Invited Presentations -- Playing Games with Software Design -- Coordination and System Design in a Network-Centric Age -- Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications -- Accepted Papers -- Coordination for Orchestration -- Concurrent Semantics for the Web Services Specification Language DAML-S -- Coordination through Channel Composition -- Exogenous and Endogenous Extensions of Architectural Types -- Coordinating Mobile Object-Oriented Code -- Formalizing Properties of Mobile Agent Systems -- Dynamically Adapting the Behaviour of Software Components -- An Associative Broadcast Based Coordination Model for Distributed Processes -- State and Event-Based Reactive Programming in Shared Dataspaces -- Integrating Two Organizational Systems through Communication Genres -- OpenCoLaS a Coordination Framework for CoLaS Dialects -- Coordination in a Reflective Architecture Description Language -- Coordinating Software Evolution via Two-Tier Programming -- Criteria for the Analysis of Coordination in Multi-agent Applications -- Towards a Colimit-Based Semantics for Visual Programming -- The Cost of Communication Protocols and Coordination Languages in Embedded Systems -- Operational Semantics for Coordination in Paradigm -- Service Provision in Ad Hoc Networks -- PN2: An Elementary Model for Design and Analysis of Multi-agent Systems -- A Recovery Technique Using Multi-agent in Distributed Computing Systems -- An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions -- Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility -- Formal Specification of JavaSpaces Architecture Using ?CRL -- Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study -- Scheduling under Uncertainty: Planning forthe Ubiquitous Grid -- Using Logical Operators as an Extended Coordination Mechanism in Linda -- A Framework for Coordinating Parallel Branch and Bound Algorithms -- Policies for Cooperative Virtual Teams -- The Spacetub Models and Framework -- Tuple-Based Models in the Observation Framework -- Extending the Matching Facilities of Linda -- Semantics of Protocol Modules Composition and Interaction. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8 11 April 2002. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an application and the lower-level communication model used in its implementation. Coordinati- based methods provide a clean separation between individual software com- nents and their interactions within their overall software organization. This se- ration, together with the higher-level abstractions o?ered by coordination models and languages, improve software productivity, enhance maintainability, advocate modularity, promote reusability, and lead to software organizations and arc- tectures that are more tractable and more amenable to veri?cation and global analysis. Coordination is relevant in design, development, debugging, maintenance, and reuse of all complex concurrent and distributed systems. Speci?cally, - ordination becomes paramount in the context of open systems, systems with mobile entities, and dynamically re-con?gurable evolving systems. Moreover, - ordination models and languages focus on such key issues in Component Based Software Engineering as speci?cation, interaction, and dynamic composition of components. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Traitement réparti | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Arbab, Farhad, |d 19..-...., |c informaticien. |4 pbd | |
| 700 | 1 | |a Talcott, Carolyn, |d 1941- |4 pbd | |
| 776 | 0 | |0 069128677 |t Coordination models and languages |o 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 |o proceedings |f Farhad Arbab, Carolyn Talcott (eds.) |c Berlin |n Springer |d 2002 |p 1 vol. (XI-406 p.) |s Lecture notes in computer science |z 3-540-43410-0 | |
| 776 | 0 | |t Coordination Models and Languages |b Texte imprimé |z 9783662184950 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-46000-4 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-9D18MJ34-B |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748059717 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-46000-4 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751511234 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-46000-4 |z Accès INSA CVL | |
| 997 | |0 948418 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||