2009年第20卷第8期目录
有界模型检测的优化杨晋吉,苏开乐,骆翔宇,林瀚,肖茵茵2009,20(8):2005-2014 [摘要(5607)] [PDF(6860)675.76 K][HTML(0)]ETL的符号化模型检验刘万伟,王戟,王昭飞2009,20(8):2015-2025 [摘要(5650)] [PDF(6393)683.98 K][HTML(0)]直觉线性μ-演算中的合成推理KAZMISyedAsadRaza,张文辉2009,20(8):2026-2036 [摘要(4573)] [PDF(5226)530.99 K][HTML(0)]用于指针逻辑的自动定理证明器王振明,陈意云,王志芳2009,20(8):2037-2050 [摘要(4964)] [PDF(4707)689.84 K][HTML(0)]一种Web Service的服务质量预测方法邵凌霜,周立,赵俊峰,谢冰,梅宏2009,20(8):2062-2073 [摘要(5688)] [PDF(7377)688.01 K][HTML(0)]基于时序逻辑证明编译优化程序变换的保义性陶秋铭,赵琛,郭亮2009,20(8):2074-2086 [摘要(4854)] [PDF(4884)787.37 K][HTML(0)]基于BPEL的Web Service组合的数据流分析测试方法董文莉,胡建华2009,20(8):2102-2112 [摘要(5444)] [PDF(6161)497.87 K][HTML(0)]以体系结构为中心的模型转换的语义描述框架侯金奎,王海洋,马军,万建成,杨潇2009,20(8):2113-2123 [摘要(4876)] [PDF(5659)634.54 K][HTML(0)]一种解决大规模数据集问题的核主成分分析算法史卫亚,郭跃飞,薛向阳2009,20(8):2153-2159 [摘要(5531)] [PDF(6813)502.05 K][HTML(0)]基于机器学习的自动协商决策模型程昱,高济,古华茂,傅朝阳2009,20(8):2160-2169 [摘要(5148)] [PDF(6980)626.21 K][HTML(0)]一种多足步行机器人行走状态分析模型徐凯,陈小平2009,20(8):2170-2180 [摘要(4809)] [PDF(5233)994.79 K][HTML(0)]一种研讨模型熊才权,李德华2009,20(8):2181-2190 [摘要(5885)] [PDF(5367)550.90 K][HTML(0)]基于表情相似性的人脸表情流形续爽,贾云得2009,20(8):2191-2198 [摘要(5182)] [PDF(6423)676.91 K][HTML(0)]深度包检测中一种高效的正则表达式压缩算法徐乾,鄂跃鹏,葛敬国,钱华林2009,20(8):2214-2226 [摘要(5869)] [PDF(9016)731.87 K][HTML(0)]延迟容忍移动传感器网络中基于选择复制的数据传输朱金奇,刘明,龚海刚,陈贵海,许富龙,宋超2009,20(8):2227-2240 [摘要(4908)] [PDF(6267)772.02 K][HTML(0)]一种基于拓扑势的网络社区发现方法淦文燕,赫南,李德毅,王建民2009,20(8):2241-2254 [摘要(6836)] [PDF(18043)1.99 M][HTML(0)]并行下载最优机制王正,罗万明,阎保平2009,20(8):2255-2268 [摘要(4386)] [PDF(5125)746.20 K][HTML(0)]基于遗传算法的网络编码优化邓亮,赵进,王新2009,20(8):2269-2279 [摘要(5610)] [PDF(6432)615.47 K][HTML(0)]别名解析中的别名过滤技术赵洪华,白华利,陈鸣,魏镇韩2009,20(8):2280-2288 [摘要(4334)] [PDF(6803)530.13 K][HTML(0)]一种交错编码的多重门限调度算法伊鹏,汪斌强,陈庶樵,李挥2009,20(8):2289-2297 [摘要(4478)] [PDF(5719)539.10 K][HTML(0)]行为驱动的基于角色的信任管理李斓,范磊,回红2009,20(8):2298-2306 [摘要(3932)] [PDF(5251)506.54 K][HTML(0)]
基于分离逻辑的程序验证技术黄达明,曾庆凯2009,20(8):2051-2061 [摘要(8232)] [PDF(9782)603.19 K][HTML(0)]复述技术研究赵世奇,刘挺,李生2009,20(8):2124-2137 [摘要(7674)] [PDF(11093)720.40 K][HTML(0)]无监督词义消歧研究王瑞琴,孔繁胜2009,20(8):2138-2152 [摘要(8130)] [PDF(11426)803.13 K][HTML(0)]应用于移动互联网的Peer-to-Peer关键技术李伟,徐正全,杨铸2009,20(8):2199-2213 [摘要(10240)] [PDF(17350)2.05 M][HTML(0)]
一种基于图转换的模型重构描述语言刘辉,麻志毅,邵维忠2009,20(8):2087-2101 [摘要(5627)] [PDF(6693)939.85 K][HTML(0)]