普适环境中的动态更新模型

摘要：

　　致力于普适计算下的动态更新的研究，首先分析了普适计算下动态更新的场景，针对普适环境的动态性，我们提出了区别于传统更新方式的路径更新；通过分析集中式更新模型的局限性，提出了适合普适环境的分布武更新模型；最后使用类型与效果系统为更新模型做形式化分析。

关键词： 普适计算 动态更新 路径更新 形式化分析

作者: 周文嘉 黄林鹏 陈俊清

作者单位: 上海交通大学计算机科学与工程系，上海 200240

会议类型: 国内会议

会议名称: 2011全国开放式分布与并行计算学术年会

会议地点: 湖北恩施

会议语种:中文

页码: 15-18

在线出版日期: 2011-08-16（万方平台首次上网日期，不代表论文的发表时间）