10.3969/j.issn.2095-2783.2012.10.007
一种面向普适计算的动态更新模型
首先介绍了普适计算的特点,通过对更新对象及现有更新机制进行分析,评估了已有的动态更新方法的适用性;在此基础上,提出了一种分布式的更新模型,并使用进程代数FSP进行形式化建模,对更新机制进行刻画;最后结合FSP模型验证工具检验了模型具有无死锁隐患、客户透明性和服务器正确性等3个特性,从而保证了模型的有效性.
动态更新、普适计算、分布式、进程代数、模型验证
TP399(计算技术、计算机技术)
2012-11-19（万方平台首次上网日期，不代表论文的发表时间）
共6页
773-778
