动态更新是一种软件演化技术，它可以在不停机的条件下实现对软件模块的更新，因此能够显著地减少系统的不可用时间。作为一种新兴且日益重要的计算模式，普适计算对动态更新的设计和实现带来了新的挑战。本文首先分析了普适计算的特点，并且评估了已有的动态更新方法的适用性。文章随后提出了一种分散式的更新机制，使用进程代数FSP对该机制建立了形式化模型，并且使用验证工具验证了模型的正确性。

>>查看原文初稿链接<<

>>更多科技论文<<

　　相关报道：

　　2011年3月各高校三星级以上论文所占比例排序

　　2011年3月份高校在线发表论文星级统计排序

　　2011年3月份各高校在线发表论文数量统计排序

　　3月份科技论文在线优秀学者专栏浏览次数统计

　　优秀学者及论著栏目学者人数统计排序(3月份)