Coordination Models and Languages [[electronic resource] ] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / / edited by David Clarke, Gul Agha
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Coordination Models and Languages [[electronic resource] ] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / / edited by David Clarke, Gul Agha
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Edizione: | 1st ed. 2010. |
| Descrizione fisica: | 1 online resource (XI, 183 p. 50 illus.) |
| Disciplina: | 005.27 |
| Soggetto topico: | Architecture, Computer |
| Software engineering | |
| Computer communication systems | |
| Computer programming | |
| Computers | |
| Computer System Implementation | |
| Software Engineering/Programming and Operating Systems | |
| Computer Communication Networks | |
| Software Engineering | |
| Programming Techniques | |
| Models and Principles | |
| Soggetto geografico: | Amsterdam <2010> |
| Persona (resp. second.): | ClarkeDave, <1971-> |
| AghaGul | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Coordination Models and Languages |
| ISBN: | 1-280-38689-4 |
| 9786613564818 | |
| 3-642-13414-9 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465858503316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering ; ; 6116