1、分布式应用与互操作系统会议亮点及DIGIHOME平台解析

分布式应用与互操作系统会议亮点及DIGIHOME平台解析

1. 会议概述

2010年6月7 - 9日，国际分布式计算技术联合会议（DisCoTec）在荷兰阿姆斯特丹举行，由Centrum voor Wiskunde & Informatica主办。该会议涵盖了分布式计算的各个方面，从理论基础到形式化规范技术，再到实际应用。其中包括多个重要会议：
- 第12届国际协调模型与语言会议（Coordination）聚焦于大规模并发和分布式系统的组合构建模型。
- 第10届IFIP国际分布式应用与互操作系统会议（DAIS 2010）探讨了大规模复杂分布式应用和服务的架构、模型、技术和平台。
- 第12届开放对象基分布式系统形式化方法会议和第30届网络与分布式系统形式化技术会议强调了分布式计算模型和形式化规范、测试与验证方法。

会议每天都有主题演讲，还有联合技术会议和工业会议，并设有四个卫星活动。整个会议的成功举办离不开众多人员的努力，包括宣传主席、工作坊主席和组织委员会成员，同时也感谢国际信息处理联合会（IFIP）、Centrum voor Wiskunde & Informatica和荷兰科学研究组织（NWO）的赞助。

2. DAIS 2010会议详情

DAIS 2010是IFIP国际分布式应用与互操作系统工作会议，是该系列活动的第十届会议。会议在DisCoTec联合会议框架内举行，由IFIP、ACM SIGSOFT和ACM SIGAPP赞助。

会议展示了分布式和互操作系统研究的最新成果。分布式应用技术已成为信息社会的基础，新的计算和通信技术带来了许多具有挑战性的应用领域，如移动计算、企业间协作、普