libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

lea doug (curatore); zavattaro gianluigi (curatore) - coordination models and languages
Zoom

Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings

;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
54,98 €
NICEPRICE
52,23 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, Carta della Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Pubblicazione: 05/2008
Edizione: 1





Trama

Modern information systems rely increasingly on combining concurrent, d- tributed, real-time, recon?gurable and heterogeneous components. New models, architectures, languages, and veri?cation techniques are necessary to cope with thecomplexityinducedbythedemandsoftoday’ssoftwaredevelopment. COOR- DINATIONaimstoexplorethespectrumoflanguages,middleware,services,and algorithms that separate behavior from interaction, therefore increasing mo- larity, simplifying reasoning, and ultimately enhancing software development. This volume contains the proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway in June 2008, as part of the federated DisCoTec conference. COORDI- NATIONitselfispartofaserieswhoseproceedingshavebeenpublishedinLNCS volumes 1061, 1282, 1594, 1906, 2315, 2949, 3454, 4038, and 4467. From the 61 submissions received from around the world, the Program Committee selected 21 papers for presentation and publication in this volume on the basis of or- inality, quality, and relevance to the topics of the conference. Each submission received at least three reviews. As with previous editions, the paper submission and selection processes were managed entirely electronically. This was acc- plished using EasyChair, a free Web-based conference management system. In addition to the technical paper presentations, COORDINATION 2008 hosted an invited presentation by Matt Welsh from Harvard University. We are grateful to all the Program Committee members who devoted much e?ort and time to read and discuss the papers. Moreover, we acknowledge the help of additional external reviewers who evaluated submissions in their area of expertise. Finally,wewouldliketothanktheauthorsofallthesubmittedpapersandtheconferenceattendees, for keeping this researchcommunity lively and interactive, and ultimately ensuring the success of this conference series.




Sommario

A Coordination Model for Service-Oriented Interactions.- Implementing Session Centered Calculi.- Service Combinators for Farming Virtual Machines.- Timed Soft Concurrent Constraint Programs.- Multiparty Sessions in SOC.- Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs.- From Flow Logic to Static Type Systems for Coordination Languages.- Session Types for Orchestration Charts.- Implementing Joins Using Extensible Pattern Matching.- Advice for Coordination.- Modeling and Analysis of Reo Connectors Using Alloy.- Alternating-Time Stream Logic for Multi-agent Systems.- A Formal Account of WS-BPEL.- How to Infer Finite Session Types in a Calculus of Services and Sessions.- An Event-Based Coordination Model for Context-Aware Applications.- Formal Analysis of BPMN Via a Translation into COWS.- Encrypted Shared Data Spaces.- CiAN: A Workflow Engine for MANETs.- A Process Calculus for Mobile Ad Hoc Networks.- Actors with Multi-headed Message Receive Patterns.- A Compositional Trace Semantics for Orc.










Altre Informazioni

ISBN:

9783540682646

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes:X, 350 p.
Pagine Arabe: 350
Pagine Romane: x


Dicono di noi