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