| |
2009年第20卷第8期目录
本期目录 | | | 有界模型检测的优化 | | | 杨晋吉,苏开乐,骆翔宇,林瀚,肖茵茵 | | | 2009,20(8):2005-2014 | | | [摘要](6330) [PDF 675.76 K](8692) | | | ETL的符号化模型检验 | | | 刘万伟,王戟,王昭飞 | | | 2009,20(8):2015-2025 | | | [摘要](6391) [PDF 683.98 K](8839) | | | 直觉线性μ-演算中的合成推理 | | | KAZMISyedAsadRaza,张文辉 | | | 2009,20(8):2026-2036 | | | [摘要](5275) [PDF 530.99 K](7015) | | | 用于指针逻辑的自动定理证明器 | | | 王振明,陈意云,王志芳 | | | 2009,20(8):2037-2050 | | | [摘要](5818) [PDF 689.84 K](6461) | | | 一种Web Service的服务质量预测方法 | | | 邵凌霜,周立,赵俊峰,谢冰,梅宏 | | | 2009,20(8):2062-2073 | | | [摘要](6424) [PDF 688.01 K](9492) | | | 基于时序逻辑证明编译优化程序变换的保义性 | | | 陶秋铭,赵琛,郭亮 | | | 2009,20(8):2074-2086 | | | [摘要](5735) [PDF 787.37 K](6841) | | | 基于BPEL的Web Service组合的数据流分析测试方法 | | | 董文莉,胡建华 | | | 2009,20(8):2102-2112 | | | [摘要](6259) [PDF 497.87 K](7911) | | | 以体系结构为中心的模型转换的语义描述框架 | | | 侯金奎,王海洋,马军,万建成,杨潇 | | | 2009,20(8):2113-2123 | | | [摘要](5621) [PDF 634.54 K](7238) | | | 一种解决大规模数据集问题的核主成分分析算法 | | | 史卫亚,郭跃飞,薛向阳 | | | 2009,20(8):2153-2159 | | | [摘要](6351) [PDF 502.05 K](8792) | | | 基于机器学习的自动协商决策模型 | | | 程昱,高济,古华茂,傅朝阳 | | | 2009,20(8):2160-2169 | | | [摘要](6190) [PDF 626.21 K](8894) | | | 一种多足步行机器人行走状态分析模型 | | | 徐凯,陈小平 | | | 2009,20(8):2170-2180 | | | [摘要](5605) [PDF 994.79 K](7141) | | | 一种研讨模型 | | | 熊才权,李德华 | | | 2009,20(8):2181-2190 | | | [摘要](6632) [PDF 550.90 K](7303) | | | 基于表情相似性的人脸表情流形 | | | 续爽,贾云得 | | | 2009,20(8):2191-2198 | | | [摘要](5842) [PDF 676.91 K](8355) | | | 深度包检测中一种高效的正则表达式压缩算法 | | | 徐乾,鄂跃鹏,葛敬国,钱华林 | | | 2009,20(8):2214-2226 | | | [摘要](6603) [PDF 731.87 K](10937) | | | 延迟容忍移动传感器网络中基于选择复制的数据传输 | | | 朱金奇,刘明,龚海刚,陈贵海,许富龙,宋超 | | | 2009,20(8):2227-2240 | | | [摘要](5893) [PDF 772.02 K](8082) | | | 一种基于拓扑势的网络社区发现方法 | | | 淦文燕,赫南,李德毅,王建民 | | | 2009,20(8):2241-2254 | | | [摘要](7997) [PDF 1.99 M](20500) | | | 并行下载最优机制 | | | 王正,罗万明,阎保平 | | | 2009,20(8):2255-2268 | | | [摘要](5054) [PDF 746.20 K](7197) | | | 基于遗传算法的网络编码优化 | | | 邓亮,赵进,王新 | | | 2009,20(8):2269-2279 | | | [摘要](6400) [PDF 615.47 K](8424) | | | 别名解析中的别名过滤技术 | | | 赵洪华,白华利,陈鸣,魏镇韩 | | | 2009,20(8):2280-2288 | | | [摘要](5172) [PDF 530.13 K](9262) | | | 一种交错编码的多重门限调度算法 | | | 伊鹏,汪斌强,陈庶樵,李挥 | | | 2009,20(8):2289-2297 | | | [摘要](5311) [PDF 539.10 K](7632) | | | 行为驱动的基于角色的信任管理 | | | 李斓,范磊,回红 | | | 2009,20(8):2298-2306 | | | [摘要](4630) [PDF 506.54 K](7541) | |
综述文章 | | | 基于分离逻辑的程序验证技术 | | | 黄达明,曾庆凯 | | | 2009,20(8):2051-2061 | | | [摘要](9010) [PDF 603.19 K](13187) | | | 复述技术研究 | | | 赵世奇,刘挺,李生 | | | 2009,20(8):2124-2137 | | | [摘要](8508) [PDF 720.40 K](14512) | | | 无监督词义消歧研究 | | | 王瑞琴,孔繁胜 | | | 2009,20(8):2138-2152 | | | [摘要](8997) [PDF 803.13 K](15417) | | | 应用于移动互联网的Peer-to-Peer关键技术 | | | 李伟,徐正全,杨铸 | | | 2009,20(8):2199-2213 | | | [摘要](11178) [PDF 2.05 M](20855) | |
在线出版
|
