Muutke küpsiste eelistusi

Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings 2013 ed. [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 251 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 76 Illustrations, black and white; XIV, 251 p. 76 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 7890
  • Ilmumisaeg: 17-May-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642384927
  • ISBN-13: 9783642384929
Teised raamatud teemal:
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings 2013 ed.Suurem pilt
  • Formaat: Paperback / softback, 251 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 76 Illustrations, black and white; XIV, 251 p. 76 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 7890
  • Ilmumisaeg: 17-May-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642384927
  • ISBN-13: 9783642384929
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783642384929.html
Märksõnad:
This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013).
The 17 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.

Stochastic Process Algebra and Stability Analysis of Collective Systems.- Modelling MAC-Layer Communications in Wireless Systems (Extended Abstract).- Coordinating Phased Activities while Maintaining Progress.- Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.- Pattern Matching and Bisimulation.- Component-Based Autonomic Managers for Coordination Control.- Multi-threaded Active Objects.- Scheduling Open-Nested Transactions in Distributed Transactional Memory.- Peer-Based Programming Model for Coordination Patterns.- Decidability Results for Dynamic Installation of Compensation Handlers.- Probabilistic Modular Embedding for Stochastic Coordinated Systems.- ByteSTM: Virtual Machine-Level Java Software Transactional Memory.- The Future of a Missed Deadline.- Event Loop Coordination Using Meta-programming.- Interactive Interaction Constraints.- Towards Distributed Reactive Programming.- Typing Progress in Communication-Centred Systems.