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