• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Systemvetenskap och AI

      Coordination Models and Languages

      5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings

      AvFarhad Arbab,Carolyn Talcott

      Häftad, Engelska, 2002

      Del i serien Lecture Notes in Computer Science

      566 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      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.

      Produktinformation

      • Utgivningsdatum:2002-03-27
      • Mått:155 x 235 x 23 mm
      • Vikt:639 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:412
      • Upplaga:2002
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540434108

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programspråk inom Data och IT

      Innehållsförteckning

      • 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.
      Hoppa över listan

      Du kanske också är intresserad av

      Carolyn Talcott, Farhad Arbab - Coordination Models and Languages, E-bok

      Coordination Models and Languages

      Carolyn Talcott, Farhad Arbab

      E-bok
      2003

      732 kr

      Sung-Shik Jongmans, Farhad Arbab - Formal Aspects of Component Software, E-bok

      Formal Aspects of Component Software

      Sung-Shik Jongmans, Farhad Arbab

      E-bok
      2020

      710 kr

      Marjan Sirjani, Farhad Arbab - Fundamentals of Software Engineering, E-bok

      Fundamentals of Software Engineering

      Marjan Sirjani, Farhad Arbab

      E-bok
      2013

      732 kr

      Peter Csaba Olveczky, Farhad Arbab - Formal Aspects of Component Software, E-bok

      Formal Aspects of Component Software

      Peter Csaba Olveczky, Farhad Arbab

      E-bok
      2012

      732 kr

      Farhad Arbab, Marjan Sirjani - Fundamentals of Software Engineering, Häftad

      Fundamentals of Software Engineering

      Farhad Arbab, Marjan Sirjani

      Häftad, 2010

      566 kr

      Farhad Arbab, Marjan Sirjani - Fundamentals of Software Engineering, Häftad

      Fundamentals of Software Engineering

      Farhad Arbab, Marjan Sirjani

      Häftad, 2013

      566 kr

      Marjan Sirjani, Farhad Arbab - Fundamentals of Software Engineering, E-bok

      Fundamentals of Software Engineering

      Marjan Sirjani, Farhad Arbab

      E-bok
      2010

      732 kr

      Marjan Sirjani, Farhad Arbab - Fundamentals of Software Engineering, E-bok

      Fundamentals of Software Engineering

      Marjan Sirjani, Farhad Arbab

      E-bok
      2012

      732 kr

      Farhad Arbab, Marjan Sirjani - Fundamentals of Software Engineering, Häftad

      Fundamentals of Software Engineering

      Farhad Arbab, Marjan Sirjani

      Häftad, 2012

      566 kr

      Farhad Arbab, Peter Csaba Ölveczky - Formal Aspects of Component Software, Häftad

      Formal Aspects of Component Software

      Farhad Arbab, Peter Csaba Ölveczky

      Häftad, 2012

      566 kr