Distributed Applications and Interoperable Systems: 9th Ifip Wg 6.1 International Conference, Dais 2009, Lisbon, Portugal, June 9-12, 2009, Proceeding

ISBN-13: 9783642021633 / Angielski / Miękka / 2009 / 171 str.

Twittie Senivongse

Opis

This year's edition of the international federated conferences on Distributed Computing Techniques took place in Lisbon during June 9-11, 2009. It was hosted by the Faculty of Sciences of the University of Lisbon and formally or- nized by Instituto de Telecomunica, c oes. The DisCoTecconferences jointly coverthe completespectrum ofdistributed computing subjects ranging from theoretical foundations to formal speci?cation techniques to practical considerations. The event consisted of the 11th Inter- tional Conference on Coordination Models and Languages(COORDINATION), the 9th IFIP International Conference on Distributed Applications and Inter- erable Systems (DAIS), and the IFIP International Conference on Formal Te- niquesforDistributedSystems(FMOODS/FORTE).COORDINATIONfocused on languages, models, and architectures for concurrentand distributed software. DAIS emphasized methods, techniques, and system infrastructures needed to design, build, operate, evaluate, and manage modern distributed applications in any kind of application environment and scenario. FMOODS (11th Formal MethodsforOpenObject-BasedDistributedSystems)joinedforceswithFORTE (29thFormalTechniquesfor NetworkedandDistributed Systems), creatinga - rum for fundamental researchon theory and applications of distributed systems.

Spis treści

Peer-to-Peer Networks.- Exploiting Synergies between Coexisting Overlays.- D-Praxis : A Peer-to-Peer Collaborative Model Editing Framework.- A Reflective Middleware to Support Peer-to-Peer Overlay Adaptation.- Adhoc Networks.- WiSeKit: A Distributed Middleware to Support Application-Level Adaptation in Sensor Networks.- Automated Assessment of Aggregate Query Imprecision in Dynamic Environments.- Dependability.- Fault-Tolerant Aggregation by Flow Updating.- Foraging for Better Deployment of Replicated Service Components.- A Generic Group Communication Approach for Hybrid Distributed Systems.- Infrastructure and Services.- A Flexible Approach for Business Processes Monitoring.- Distributed Contracting and Monitoring in the Internet of Services.- Dependency Management in Smart Homes.- SoundPark: Towards Highly Collaborative Game Support in a Ubiquitous Computing Architecture.

Blurb

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2009, held in Lisbon, Portugal, in June 2009. The DAIS conference was held as part of the federated event on Distributed Computing Techniques (DisCoTec), together with the 11th International Conference on Coordination Models and Languages (Coordination 2009) and the IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009).

The 12 revised full papers presented were carefully reviewed and selected from 32 submissions. The papers address service orientation, quality of service and service contract, business processes, Web services, service components, algorithms and protocols supporting dependability, fault tolerance, data replication, group communication, adaptive and collaborative systems, context awareness, model-driven development, middleware for ubiquitous computing and sensor networks, ad hoc network protocols, peer-to-peer systems, and overlays. They are organized in topical sections peer-to-peer networks, adhoc networks, dependability, and infrastructure and services.