登入選單
返回Google圖書搜尋
Distributed Applications and Interoperable Systems
Twittie SenivongseRui Oliveira
其他書名
9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings
出版Springer Science & Business Media, 2009-05-25
主題Business & Economics / Information ManagementBusiness & Economics / Business MathematicsComputers / Computer ArchitectureComputers / Computer ScienceComputers / Artificial Intelligence / Expert SystemsComputers / Information TechnologyComputers / Logic DesignComputers / Management Information SystemsComputers / Networking / GeneralComputers / Operating Systems / GeneralComputers / Software Development & Engineering / GeneralComputers / Software Development & Engineering / Systems Analysis & DesignComputers / Computer EngineeringComputers / Hardware / GeneralComputers / Hardware / Cell Phones & DevicesComputers / Networking / Hardware
ISBN36420216389783642021633
URLhttp://books.google.com.hk/books?id=XT6GhOabFrAC&hl=&source=gbs_api
EBookSAMPLE
註釋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.