Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008936008/catalog> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- catalog abstract "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.".
- catalog contributor b12548774.
- catalog contributor b12548775.
- catalog contributor b12548776.
- catalog created "c2002.".
- catalog date "2002".
- catalog date "c2002.".
- catalog dateCopyrighted "c2002.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Playing Games with Software Design / Perdita Stevens -- Coordination and System Design in a Network-Centric Age / Jim Waldo -- Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications / Michael Wooldridge and Wiebe van der Hoek -- Coordination for Orchestration / Luis F. Andrade, Jose L. Fiadeiro and Joao Gouveia / [and others] -- Concurrent Semantics for the Web Services Specification Language DAML-S / Anupriya Ankolekar, Frank Huch and Katia Sycara -- Coordination through Channel Composition / Farhad Arbab and Farhad Mavaddat -- Exogenous and Endogenous Extensions of Architectural Types / Marco Bernardo and Francesco Franze.".
- catalog description "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.".
- catalog extent "xi, 406 p. :".
- catalog identifier "3540434100 (alk. paper)".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2315".
- catalog issued "2002".
- catalog issued "c2002.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "004/.35 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer Communication Networks.".
- catalog subject "Computer science.".
- catalog subject "Electronic data processing Distributed processing Congresses.".
- catalog subject "Parallel processing (Electronic computers) Congresses.".
- catalog subject "QA76.58 .C695 2002".
- catalog subject "Software engineering.".
- catalog tableOfContents "Playing Games with Software Design / Perdita Stevens -- Coordination and System Design in a Network-Centric Age / Jim Waldo -- Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications / Michael Wooldridge and Wiebe van der Hoek -- Coordination for Orchestration / Luis F. Andrade, Jose L. Fiadeiro and Joao Gouveia / [and others] -- Concurrent Semantics for the Web Services Specification Language DAML-S / Anupriya Ankolekar, Frank Huch and Katia Sycara -- Coordination through Channel Composition / Farhad Arbab and Farhad Mavaddat -- Exogenous and Endogenous Extensions of Architectural Types / Marco Bernardo and Francesco Franze.".
- catalog title "Coordination models and languages : 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings / Farhad Arbab, Carolyn Talcott (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "York (2002) swd".
- catalog type "text".