Merkzettel Warenkorb
  • Produktbild: Coordination Models and Languages
  • Produktbild: Coordination Models and Languages

Coordination Models and Languages 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.05.2009

Herausgeber

John Field + weitere

Verlag

Springer Berlin

Seitenzahl

307

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

487 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02052-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.05.2009

Herausgeber

Verlag

Springer Berlin

Seitenzahl

307

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

487 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02052-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Coordination Models and Languages
  • Produktbild: Coordination Models and Languages
  • Invited Talk.- Hop, a Fast Server for the Diffuse Web.- Languages and Systems.- High-Performance Transactional Event Processing.- Exceptionally Safe Futures.- Enhanced Coordination in Sensor Networks through Flexible Service Provisioning.- Fairness for Chorded Languages.- Semantic Models and Calculi.- Mobility Models and Behavioural Equivalence for Wireless Networks.- Parametrised Constants and Replication for Spatial Mobility.- Biochemical Tuple Spaces for Self-organising Coordination.- Joint Session.- Multicore Scheduling for Lightweight Communicating Processes.- Composition and Components.- Automata for Context-Dependent Connectors.- Contract-Based Coordination of Hardware Components for the Development of Embedded Software.- Coordination Model for Real-Time Collaborative Editors.- Verification and Modeling.- A Uniform Framework for Modeling and Verifying Components and Connectors.- From Coordination to Stochastic Models of QoS.- Assume-Guarantee Verification of Concurrent Systems.