期刊文献+

移动智能体的形式化研究 被引量:4

Research on Formal Model of Mobile Agent
在线阅读 下载PDF
导出
摘要 移动智能体是当前分布计算领域的研究热点之一 ,但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性 ,介绍了当前的研究现状 ,分析了其中的不足 。 Mobile agent receives much attention recently in the distributed computing field But the research on its formal model is immature The necessity of the formal research of mobile agent is analyzed firstly Then we introduce several representative formal models, analyze their drawbacks, and present the prospects for the future work
出处 《国防科技大学学报》 EI CAS CSCD 2000年第6期47-51,共5页 Journal of National University of Defense Technology
基金 国家自然科学基金(69833030) 国家863计划项目(863-306-ZD02-01-2)
关键词 移动智能体 并发模型 进程代数 Π演算 形式化 计算机 分布式计算模式 mobile agent concurrent model process algebra π-calculus
  • 相关文献

参考文献1

  • 1毛新军,博士学位论文,1998年

同被引文献4

  • 1[2]Robert S.Gray.Mobile-Agent Versus Client/Server Performance:Scalability in an Information-Retrieval Task[R], Darmouth Collega Computer Science Technical Report TR2001-386, January 30, 2001.
  • 2[3]Shoham Y . Agent-Oriented Programming[J].Artifical Intelligence, 60:51-92,1993.
  • 3[4]Andrew S. Tanenbaum ,Distributed Operating Systems[M](影印版).北京:清华大学出版社.1997.
  • 4董红斌,石纯一.移动Agent技术研究[J].计算机科学,2000,27(4):58-61. 被引量:41

引证文献4

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部