移动计算形式理论分析与研究
文献类型：期刊论文
| 作者 | 魏峻 ; 冯玉琳 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2000 |
| 卷号 | 37期号:2页码:129-139 |
| 关键词 | 移动计算 形式方法 移动性 交互 位置 动态配置重构 移动计算 理论分析 形式模型 环境演算 网络计算平台 方法 态配置重构 移动环境 特征 时序逻辑 扩充模型 控制机制 技术发展 本质特点 新计算 代数类 资源 系统 位置 评价 |
| ISSN号 | 1000-1239 |
| 其他题名 | analysis of formal models and methods on mobile computing |
| 中文摘要 | 移动计算是在网络技术发展中涌现出的一种新计算范型.文章旨在从形式抽象的角度来认识移动计算的本质特点.文中分析了网络计算平台的综合特征,总结了移动计算范型的典型特征,重点介绍了有代表性的移动计算形式模型和方法,包括进程代数类的π-演算、环境演算和Seal演算、时序逻辑类的移动Unity,以及Actor扩充模型.针对每个模型或方法,分析了位置、移动等概念在模型中的刻画,以及各自的交互、动态配置重构和资源控制机制在移动环境中的特点.通过综合比较与分析,对各个模型和方法给出了一定评价,为系统地建立移动计算形式理论 |
| 收录类别 | wanfang |
| 语种 | 中文 |
| 公开日期 | 2011-07-29 |
| 源URL | [http://124.16.136.157/handle/311060/13544]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 魏峻,冯玉琳. 移动计算形式理论分析与研究[J]. 计算机研究与发展,2000,37(2):129-139. |
| APA | 魏峻,&冯玉琳.(2000).移动计算形式理论分析与研究.计算机研究与发展,37(2),129-139. |
| MLA | 魏峻,et al."移动计算形式理论分析与研究".计算机研究与发展 37.2(2000):129-139. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。