Normal view MARC view ISBD view

Coordination Models and Languages [electronic resource] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings / edited by Dave Clarke, Gul Agha.

By: Clarke, Dave [editor.].
Contributor(s): Agha, Gul [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 6116Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: XI, 183p. 50 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642134142.Subject(s): Computer science | Computer Communication Networks | Software engineering | Information systems | Computer Science | Software Engineering | Programming Techniques | Software Engineering/Programming and Operating Systems | Computer Communication Networks | Models and Principles | Information Systems Applications (incl.Internet)DDC classification: 005.1 Online resources: Click here to access online
Contents:
Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request-Response Operations -- NOW: A Workflow Language for Orchestration in Nomadic Networks -- A Calculus for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks -- Compositional Construction of Real-Time Dataflow Networks -- Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks -- Simulation and Analysis of Distributed Systems in Klaim -- Modelling Railway Interlocking Tables Using Coloured Petri Nets -- Efficient Session Type Guided Distributed Interaction -- Scalable Efficient Composite Event Detection.
In: Springer eBooksSummary: This book constitutes the refereed proceedings of the 12th International Conference on Coordination Models and Languages, COORDINATION 2010, held in Amsterdam, The Netherlands, in June 2010, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2010. The 12 revised full papers presented were carefully reviewed and selected from 28 submissions. The papers cover a wide range of topics including the application of coordination in wireless systems; multicore scheduling; sensor networks; event processing; data flow networks; and railway interlocking.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request-Response Operations -- NOW: A Workflow Language for Orchestration in Nomadic Networks -- A Calculus for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks -- Compositional Construction of Real-Time Dataflow Networks -- Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks -- Simulation and Analysis of Distributed Systems in Klaim -- Modelling Railway Interlocking Tables Using Coloured Petri Nets -- Efficient Session Type Guided Distributed Interaction -- Scalable Efficient Composite Event Detection.

This book constitutes the refereed proceedings of the 12th International Conference on Coordination Models and Languages, COORDINATION 2010, held in Amsterdam, The Netherlands, in June 2010, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2010. The 12 revised full papers presented were carefully reviewed and selected from 28 submissions. The papers cover a wide range of topics including the application of coordination in wireless systems; multicore scheduling; sensor networks; event processing; data flow networks; and railway interlocking.

There are no comments for this item.

Log in to your account to post a comment.

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue