2009年第20卷第6期目录
DDS并行模型及其形式化刘真环,韦立,陈艳,赵荣盛,王驹2009,20(6):1406-1413 [摘要(4751)] [PDF(7130)554.88 K][HTML(0)]一种基于满足性判定的并发软件验证策略周从华2009,20(6):1414-1424 [摘要(4954)] [PDF(5376)671.35 K][HTML(0)]参数化系统安全性的启发式符号验证杨秋松,李明树2009,20(6):1444-1456 [摘要(4430)] [PDF(5721)840.10 K][HTML(0)]UML类图中面向非功能属性的描述和检验张岩,梅宏2009,20(6):1457-1469 [摘要(4779)] [PDF(6925)854.96 K][HTML(0)]基于分布式协调模型的服务协作方法研究乔晓强,魏峻,黄涛2009,20(6):1470-1486 [摘要(4482)] [PDF(6345)1.19 M][HTML(0)]UML类图层次化自动布图算法王晓博,王欢,刘超2009,20(6):1487-1498 [摘要(5957)] [PDF(9242)784.25 K][HTML(0)]基于数据包络分析的软件任务性能基准评价阮利,王永吉,王青,曾海涛2009,20(6):1499-1510 [摘要(4553)] [PDF(5761)822.75 K][HTML(0)]用于二维不规则排样的离散临界多边形模型张德富,陈竞驰,刘永凯,陈火旺2009,20(6):1511-1520 [摘要(5048)] [PDF(6612)687.65 K][HTML(0)]基于IMOM和IBOHM启发式策略的扩展规则算法李莹,孙吉贵,吴瑕,朱兴军2009,20(6):1521-1527 [摘要(5206)] [PDF(5731)459.54 K][HTML(0)]二维矩形条带装箱问题的底部左齐择优匹配算法蒋兴波,吕肖庆,刘成城2009,20(6):1528-1538 [摘要(6872)] [PDF(10742)829.39 K][HTML(0)]一种基于行程编码的P2P网络动态信任模型方群,吉逸,吴国新,赵生慧,吴鹏2009,20(6):1602-1616 [摘要(5313)] [PDF(6765)1.11 M][HTML(0)]MD5碰撞攻击中的充要条件集陈士伟,金晨辉2009,20(6):1617-1624 [摘要(5218)] [PDF(6067)542.42 K][HTML(0)]基于组件属性的远程证明秦宇,冯登国2009,20(6):1625-1641 [摘要(5771)] [PDF(7569)1.28 M][HTML(0)]Ad Hoc网络中基于拓扑透明特性的混合MAC协议李卫,王杉,魏急波2009,20(6):1642-1650 [摘要(4708)] [PDF(5484)568.13 K][HTML(0)]一种基于图像表观的鲁棒姿态估计方法马丙鹏,山世光,陈熙霖,高文2009,20(6):1651-1663 [摘要(4433)] [PDF(5743)1.11 M][HTML(0)]人体运动的函数数据分析与合成李淳芃,王兆其,夏时洪2009,20(6):1664-1672 [摘要(5266)] [PDF(6967)857.93 K][HTML(0)]不规则网格上的曲面设计方法何军,张彩明,杨兴强2009,20(6):1673-1684 [摘要(4979)] [PDF(6393)831.51 K][HTML(0)]基于概率计算模型改进的相关性层次遮挡裁剪算法梁晓辉,任威,于卓,梁爱民2009,20(6):1685-1693 [摘要(4448)] [PDF(5704)666.58 K][HTML(0)]TV图像插值的双方向扩散改进算法詹毅,王明辉,万群,李梦2009,20(6):1694-1702 [摘要(4298)] [PDF(6111)945.62 K][HTML(0)]
组合测试:原理与方法严俊,张健2009,20(6):1393-1405 [摘要(12137)] [PDF(18540)831.86 K][HTML(0)]软件错误注入测试技术研究陈锦富,卢炎生,谢晓东2009,20(6):1425-1443 [摘要(10084)] [PDF(16790)1.09 M][HTML(0)]无线网状网的QoS研究董超,陈贵海,王海2009,20(6):1539-1552 [摘要(7928)] [PDF(8713)2.32 M][HTML(0)]生物特征模板保护李鹏,田捷,杨鑫,时鹏,张阳阳2009,20(6):1553-1573 [摘要(10771)] [PDF(14458)1.60 M][HTML(0)]网络距离预测技术研究王意洁,李小勇2009,20(6):1574-1590 [摘要(7604)] [PDF(10491)1.06 M][HTML(0)]
