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.

Contributor(s): Clarke, Dave [editor.] | Agha, Gul [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 6116Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: XI, 183p. 50 illus. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783642134142Subject(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)Additional physical formats: Printed edition:: No titleDDC classification: 005.1 LOC classification: QA76.758Online 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 eBooks
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK9060

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.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha