| No. |
Paper Inforamtion |
| 2005 |
| 18 |
代建华 潘云鹤 .
粗代数研究.
软件学报,
2005, 16
(07): 1197-1204 |
| 17 |
刘富春 .
正则序类逻辑Institution的Lawvere定理及其初始与终结语义.
软件学报,
2005, 16
(07): 1205-1209 |
| 16 |
王栋 梅宏 .
下一代通信软件中的特征冲突检测.
软件学报,
2005, 16
(07): 1232-1241 |
| 15 |
周建涛 史美林 叶新铭 .
一种基于Petri网化简的工作流过程语义验证方法.
软件学报,
2005, 16
(07): 1242-1251 |
| 14 |
李建中 郭龙江 张冬冬 王伟平 .
数据流上的预测聚集查询处理算法.
软件学报,
2005, 16
(07): 1252-1261 |
| 13 |
邹翔 张巍 刘洋 蔡庆生 .
分布式序列模式发现算法的研究.
软件学报,
2005, 16
(07): 1262-1269 |
| 12 |
文继军 王珊 .
SEEKER:基于关键词的关系数据库信息检索.
软件学报,
2005, 16
(07): 1270-1281 |
| 11 |
遇辉 马秀莉 谭少华 唐世渭 杨冬青 .
基于奇异值分解的异常切片挖掘.
软件学报,
2005, 16
(07): 1282-1288 |
| 10 |
付晓蕊 张连芳 .
具有最低竞争吞吐率保证的准入控制算法.
软件学报,
2005, 16
(07): 1296-1304 |
| 9 |
赵庆林 李忠诚 冯丽 杨建华 .
移动IP的切换特征分析(英文).
软件学报,
2005, 16
(07): 1305-1313 |
| 8 |
王胜灵 刘国荣 沈钧毅 侯义斌 黄建辉 .
移动IPv6中的一种分布式动态型微移动管理方案.
软件学报,
2005, 16
(07): 1314-1322 |
| 7 |
张荣跃 倪江群 黄继武 .
基于小波域HMM模型的稳健多比特图像水印算法.
软件学报,
2005, 16
(07): 1323-1332 |
| 6 |
张斌 伍宏军 冯登国 鲍丰 .
关于三个流密码的安全性(英文).
软件学报,
2005, 16
(07): 1344-1351 |
| 5 |
杨挺 孙雨耕 胡华东 孙永进 .
QoS供应体系中的新型网络改进算法.
软件学报,
2005, 16
(07): 1352-1358 |
| 4 |
吴鹏 施小纯 唐江峻 林惠民 陈宗岳 .
关于蜕变测试和特殊用例测试的实例研究(英文).
软件学报,
2005, 16
(07): 1210-1220 |
| 3 |
朱雪峰 金芝 .
关于软件需求中的不一致性管理.
软件学报,
2005, 16
(07): 1221-1231 |
| 2 |
陈伟东 冯登国 .
一类存在特权集的门限群签名方案.
软件学报,
2005, 16
(07): 1289-1295 |
| 1 |
谭作文 刘卓军 肖红光 .
一个安全公钥广播加密方案(英文).
软件学报,
2005, 16
(07): 1333-1343 |