冯新宇
【姓名】 冯新宇
【职称】
【研究领域】 计算机软件及计算机应用;互联网技术;自动化技术;
【研究方向】
【发表文献关键词】 移动Agent,结构,Mogent,地址透明性,旅行计划,移动agent,通用框架,通讯录,Mogent系统,Agent,组播,迁移机制,通信框架,通信,信箱,移动Agent通信,Mail,结构化,协...
【工作单位】 南京大学
【曾工作单位】 南京大学;
【所在地域】 江苏南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/8 8 6 1 180 1928
中国期刊全文数据库    共找到8篇
[1]陈振邦;冯新宇;刘志明;.面向新兴系统的形式化建模与验证方法专题前言[J]软件学报.2020,(08)
[2]顾海博;付明;乔磊;冯新宇;.SpaceOS中若干全局性质的形式化描述和验证[J]小型微型计算机系统.2019,(01)
[3]王戟;詹乃军;冯新宇;刘志明;.形式化方法概貌[J]软件学报.2019,(01)
[4]马顶;付明;乔磊;冯新宇;.复杂内核数据结构的形式化描述和验证[J]小型微型计算机系统.2019,(02)
[5]冯新宇,吕建,曹建农.通用的移动Agent通信框架设计[J]软件学报.2003,(05)
[6]王忠群,陶先平,冯新宇.一种移动Agent通信算法[J]软件学报.2003,(07)
[7]张冠群,陶先平,李新,冯新宇,吕建.Mogent系统迁移机制的设计和实现[J]计算机研究与发展.2001,(09)
[8]张冠群;陶先平;李新;冯新宇;吕建;.移动Agent系统的迁移机制研究[J]计算机科学.2001,(09)
更多