| 移动计算形式理论分析与研究 |
| 其他题名 | analysis of formal models and methods on mobile computing
|
| 魏峻; 冯玉琳
|
| 2000
|
| 发表期刊 | 计算机研究与发展
 |
| ISSN | 1000-1239
|
| 卷号 | 37期号:2页码:129-139 |
| 摘要 | 移动计算是在网络技术发展中涌现出的一种新计算范型.文章旨在从形式抽象的角度来认识移动计算的本质特点.文中分析了网络计算平台的综合特征,总结了移动计算范型的典型特征,重点介绍了有代表性的移动计算形式模型和方法,包括进程代数类的π-演算、环境演算和Seal演算、时序逻辑类的移动Unity,以及Actor扩充模型.针对每个模型或方法,分析了位置、移动等概念在模型中的刻画,以及各自的交互、动态配置重构和资源控制机制在移动环境中的特点.通过综合比较与分析,对各个模型和方法给出了一定评价,为系统地建立移动计算形式理论 |
| 收录类别 | wanfang
|
| 关键词 | 移动计算
形式方法
移动性
交互
位置
动态配置重构
移动计算
理论分析
形式模型
环境演算
网络计算平台
方法
态配置重构
移动环境
特征
时序逻辑
扩充模型
控制机制
技术发展
本质特点
新计算
代数类
资源
系统
位置
评价
|
| 部门归属 | 中国科学院软件研究所计算机科学开放实验室,北京,100080;中国科学院软件研究所对象技术中心,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/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.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论