软件学报
来源：本站原创 更新：2016/8/30 字体：
大 小
.jpg)
采用了剪枝优化的子类型关系判定算法
戴晓君;陈海明;改进的以SMT为基础的实时系统限界模型检测(英文)
徐亮;串匹配算法中模式串与文本之间关系的研究
刘萍;刘燕兵;郭莉;方滨兴;Multicut问题参数算法的改进
刘运龙;王建新;陈建二;分布式缓存系统中一种优化缓存部署的图算法
李文中;陈道蓄;陆桑璐;基于规格说明的若干逻辑覆盖测试准则
钱忠胜;缪淮扣;基于容斥原理的Skyband基数估计方法
赵加奎;杨冬青;陈立军;图像-文本相关性挖掘的Web图像聚类方法
吴飞;韩亚洪;庄越挺;邵健;高速长距离网络传输协议
任勇毛;唐海娜;李俊;钱华林;互联网无中断转发的生存性路由协议
苏金树;胡乔林;赵宝康;网络态势感知研究
龚正虎;卓莹;车用自组网信息广播
李丽君;刘鸿飞;杨祖元;葛利嘉;黄席樾;终端性能自适应传输协议
王伟杭;任勇毛;唐明洁;李俊;钱华林;无线传感器网络中的最大生命期基因路由算法
唐伟;郭伟;第1届中国网络攻防与系统安全会议(NADSS 2010)征文通知
物 论文QQ81995535 联网资源寻址模型
孔宁;李晓东;罗万明;阎保平;移动Ad Hoc网络的跨层优化拥塞控制
徐伟强;汪亚明;俞成海;刘良桂;张云华;无线传感器网络动态密钥管理方法
孔繁瑞;李春文;基于熵模型的高透明性自适应视频水印算法
李智;陈孝威;域间IP欺骗防御服务增强机制
吕高锋;孙志刚;卢锡城;2010 CCF中国计算机大会会议通知
可证明安全的节点不相交多路径源路由协议
冯涛;郭显;马建峰;李兴华;针对无标度网络的紧凑路由方法
唐明董;张国清;杨景;张国强;多约束最短链路分离路径精确算法
熊轲;裘正定;郭宇春;张宏科;秦雅娟;一类代数免疫度达到最优的布尔函数的构造
孟强;陈鲁生;符方伟;3GPP认证与密钥协商协议安全性分析
陆峰;郑康锋;钮心忻;杨义先;李忠献;《软件学报》投稿指南
《软件学报》形式化方法和工具专刊征文通知
导航:
北大核心 统计源核心 CSCD CSCD扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)
