|
|||||
|
|
| 基于移动Agent的移动计算形式理论分析 | |
| 引用本文： | 韩毅,李士宁.基于移动Agent的移动计算形式理论分析[J].无线通信技术,2001,10(4):49-52. |
| 作者姓名： | 韩毅 李士宁 |
| 作者单位： | 1. 西安交通大学电信学院 2. 大唐无线通信公司 |
| 摘 要： | 移动计算是在网络技术发展中涌现出的一种新计算范型.文章旨在从形式抽象的角度来认识基于移动Agent技术的移动计算的本质特点.文中分析了移动计算平台的综合特征,重点介绍了基于移动Agent技术的Seal演算模型.分析了位置,移动等概念在模型中的刻画,以及各自的交互,动态配置重构和资源控制机制在移动环境中的特点. |
| 关 键 词： | 移动计算 移动Agent 形式方法 移动性 交互 位置 动 态配置重构 |
| 文章编号： | 1003-8329(2001)04-0049-04 |
| 修稿时间： | 2001年8月19日 |
Analysis of Formal Models and Methods on Mobile Computing Base on Mobile Agnet |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |