This year's edition of the international federated conferences on Distributed Computing Techniques took place in Lisbon during June 9-11. It was hosted by the Faculty of Sciences of the University of Lisbon and formally organized by the Institute of Telecommunications, the research center I am associated with. The DisCoTecconferences jointly coverthe completespectrum ofdistributed computing subjects ranging from theoretical foundations to formal speci?cation techniques to practical considerations. The event this year comprised the 11th InternationalConferenceonCoordinationModelsandLanguages(COORDINA- TION), the 9th IFIP International Conference on Distributed Applications and InteroperableSystems(DAIS),andtheIFIPInternationalConferenceonFormal TechniquesforDistributedSystems(FMOODS/FORTE).COORDINATION- cused on languages, models, and architectures for concurrent and distributed software; DAIS on methods, techniques, and system infrastructures needed to design, build, operate, evaluate, and manage modern distributed applications in any kind of application environment and scenario; and FMOODS (the 11th F- mal Methods for Open Object-Based Distributed Systems) jointed forces with FORTE (the 29th Formal Techniques for Networked and Distributed Systems) creating a forum for fundamental research on theory and applications of d- tributed systems.
Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.