Institutional Repository
| 移动计算形式理论分析与研究 | |
| Alternative Title | analysis of formal models and methods on mobile computing |
| 魏峻; 冯玉琳 | |
| 2000 | |
| Source | 计算机研究与发展
 |
| ISSN | 1000-1239 |
| Volume | 37Issue:2Pages:129-139 |
| English Abstract | 移动计算是在网络技术发展中涌现出的一种新计算范型.文章旨在从形式抽象的角度来认识移动计算的本质特点.文中分析了网络计算平台的综合特征,总结了移动计算范型的典型特征,重点介绍了有代表性的移动计算形式模型和方法,包括进程代数类的π-演算、环境演算和Seal演算、时序逻辑类的移动Unity,以及Actor扩充模型.针对每个模型或方法,分析了位置、移动等概念在模型中的刻画,以及各自的交互、动态配置重构和资源控制机制在移动环境中的特点.通过综合比较与分析,对各个模型和方法给出了一定评价,为系统地建立移动计算形式理论 |
| Indexed Type | wanfang |
| Keyword | 移动计算 形式方法 移动性 交互 位置 动态配置重构 移动计算 理论分析 形式模型 环境演算 网络计算平台 方法 态配置重构 移动环境 特征 时序逻辑 扩充模型 控制机制 技术发展 本质特点 新计算 代数类 资源 系统 位置 评价 |
| Department | 中国科学院软件研究所计算机科学开放实验室,北京,100080;中国科学院软件研究所对象技术中心,北京,100080 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13544 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 魏峻,冯玉琳. 移动计算形式理论分析与研究[J]. 计算机研究与发展,2000,37(2):129-139. |
| APA | 魏峻,&冯玉琳.(2000).移动计算形式理论分析与研究.计算机研究与发展,37(2),129-139. |
| MLA | 魏峻,et al."移动计算形式理论分析与研究".计算机研究与发展 37.2(2000):129-139. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 移动计算形式理论分析与研究.pdf（495KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment