Coordination models and languages : 12th international conference, COORDINATION 2010, Amsterdam, the Netherlands, June 7-9, 2010 ; proceedings / Dave Clarke, Gul Agha (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 6116. | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Berlin : Springer, ©2010.Description: 1 online resource (x, 182 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783642134142
- 3642134149
- Parallel processing (Electronic computers) -- Congresses
- Electronic data processing -- Distributed processing -- Congresses
- Electronic Data Processing
- Parallélisme (Informatique) -- Congrès
- Traitement réparti -- Congrès
- Informatique
- Informatique
- Electronic data processing -- Distributed processing
- Parallel processing (Electronic computers)
- Koordinationssprache
- Verteiltes System
- Nebenläufigkeit
- Mobile Computing
- Nebenlèaufigkeit
- 004/.35 22
- QA76.58 .C695 2009
- QA 76.58
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes bibliographical references and index.
Print version record.
Observables for mobile and wireless broadcasting systems / Jens Chr. Godskesen -- Behavioural contracts with request-response operations / Lucia Acciai, Michele Boreale, and Gianluigi Zavattaro -- NOW : a workflow language for orchestration in nomadic networks / Eline Philips, Ragnhild Van Der Straeten, and Viviane Jonckers -- A calculus for boxes and traits in a Java-like setting / Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, and Jan Schäfer -- JErlang : Erlang with joins / Hubert Plociniczak and Susan Eisenbach -- A hybrid visual dataflow language for coordination in mobile ad hoc networks / Andoni Lombide Carreton and Theo D'Hondt -- Compositional construction of real-time dataflow networks / Stephanie Kemper -- Coordinating resource usage through adaptive service provisioning in wireless sensor networks / Chien-Liang Fok, Gruia-Catalin Roman, and Chenyang Lu -- Simulation and analysis of distributed systems in Klaim / Francesco Calzolai and Michele Loreti -- Modelling railway interlocking tables using coloured Petri nets / Somsak Vanit-Anunchai -- Efficient session type guided distributed interaction / K.C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, and Patrick Eugster -- Scalable efficient composite event detection / K.R. Jayaram and Patrick Eugster.
Annotation 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.