2005年第16卷第3期目录
由一阶逻辑公式得到命题逻辑可满足性问题实例黄拙,张健2005,16(3):327-335 [摘要(5769)] [PDF(6262)1019.11 K][HTML(0)]不可满足公式的同态证明系统许道云2005,16(3):336-345 [摘要(4699)] [PDF(5123)1.13 M][HTML(0)]一种用于Java程序验证编译的标签类型陈晖,陈意云,茹祥民2005,16(3):346-354 [摘要(3913)] [PDF(5712)1.01 M][HTML(0)]QRDChecker:一个QRDC模型检验工具裴玉,徐启文,李宣东,郑国梁2005,16(3):355-364 [摘要(4200)] [PDF(6040)684.99 K][HTML(0)]均值漂移算法的收敛性李乡儒,吴福朝,胡占义2005,16(3):365-374 [摘要(8957)] [PDF(14178)1.12 M][HTML(0)]时隙间迭代的输入队列交换机Round-Robin调度算法吴俊,陈晴,罗军舟2005,16(3):375-383 [摘要(4740)] [PDF(6387)997.49 K][HTML(0)]一种分布式吴方法计算模型武永卫,杨广文,杨宏,郑纬民,林东岱2005,16(3):384-391 [摘要(4331)] [PDF(6181)884.29 K][HTML(0)]k-Median近似计算复杂度与局部搜索近似算法分析潘锐,朱大铭,马绍汉,肖进杰2005,16(3):392-399 [摘要(5315)] [PDF(7377)1.03 M][HTML(0)]工作流活动多实例的调度控制孙瑞志,史美林2005,16(3):400-406 [摘要(4536)] [PDF(5854)824.27 K][HTML(0)]一种支持软件过程控制和改进的主动度量模型王青,李明树,刘霞2005,16(3):407-418 [摘要(4465)] [PDF(6182)1.24 M][HTML(0)]针对一般线性约束的Petri网控制器设计方法王寿光,颜钢锋2005,16(3):419-426 [摘要(3892)] [PDF(5620)1018.53 K][HTML(0)]软件需求定量分析及其映射的模糊层次分析法熊伟,新藤久和,渡边喜道2005,16(3):427-433 [摘要(4295)] [PDF(8688)864.87 K][HTML(0)]Ad Hoc网中基于熵的长寿分布式QoS路由算法沈晖,石冰心,石邹玲,石坚,周建新2005,16(3):445-452 [摘要(4103)] [PDF(6274)1.00 M][HTML(0)]抵抗一般结构敌手的自适应安全分布式密钥生成协议何云筱,李宝,吕克伟2005,16(3):453-461 [摘要(4118)] [PDF(5196)1003.62 K][HTML(0)]Linux环境下路由器中的网络带宽管理张焕强,吴志美2005,16(3):462-471 [摘要(3659)] [PDF(6187)1.03 M][HTML(0)]一个群签名成员删除方案的密码学分析黄振杰,林宣治2005,16(3):472-476 [摘要(4026)] [PDF(5296)628.75 K][HTML(0)]一种用于移动Agent数据保护的机制谭湘,顾毓清,包崇明2005,16(3):477-484 [摘要(4013)] [PDF(5680)763.89 K][HTML(0)]
MANET中TCP改进研究综述冯彦君,孙利民,钱华林,宋成2005,16(3):434-444 [摘要(7975)] [PDF(8657)1.14 M][HTML(0)]
