| 普适环境中的动态更新模型 |
| |
| 引用本文： | 周文嘉,黄林鹏,陈俊清.普适环境中的动态更新模型[J].微电子学与计算机,2011,28(8). |
| |
| 作者姓名： | 周文嘉 黄林鹏 陈俊清 |
| |
| 作者单位： | 上海交通大学计算机科学与工程系,上海,200240 |
| |
| 基金项目： | 国家自然科学基金项目(60970010); 高等学校博士学科点专项科研基金课题(20090073110026) |
| |
| 摘 要： | 致力于普适计算下的动态更新的研究,首先分析了普适计算下动态更新的场景,针对普适环境的动态性,我们提出了区别于传统更新方式的路径更新;通过分析集中式更新模型的局限性,提出了适合普适环境的分布式更新模型;最后使用类型与效果系统为更新模型做形式化分析.
|
| 关 键 词： | 普适计算 动态更新 路径更新 形式化分析 |
Dynamic Updating Model in Ubiquitous Computing |
| |
| ZHOU Wen-jia,HUANG Lin-peng,CHEN Jun-qing.Dynamic Updating Model in Ubiquitous Computing[J].Microelectronics & Computer,2011,28(8). |
| |
| Authors: | ZHOU Wen-jia HUANG Lin-peng CHEN Jun-qing |
| |
| Affiliation: | ZHOU Wen-jia,HUANG Lin-peng,CHEN Jun-qing(Department of Computer Science & Engineering,Shanghai Jiaotong University,Shanghai 200240,China) |
| |
| Abstract: | |
| |
| Keywords: | ubiquitous computing dynamic updating route updating formal analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
