主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第9期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2009年第20卷第8期目录

   
浏览其它刊期:  
  

本期目录

有界模型检测的优化
  杨晋吉,苏开乐,骆翔宇,林瀚,肖茵茵
  2009,20(8):2005-2014 [摘要(4216)]  [PDF 675.76 K (4239)]
  
ETL的符号化模型检验
  刘万伟,王戟,王昭飞
  2009,20(8):2015-2025 [摘要(4251)]  [PDF 683.98 K (3644)]
  
直觉线性μ-演算中的合成推理
  KAZMISyedAsadRaza,张文辉
  2009,20(8):2026-2036 [摘要(3455)]  [PDF 530.99 K (3538)]
  
用于指针逻辑的自动定理证明器
  王振明,陈意云,王志芳
  2009,20(8):2037-2050 [摘要(3670)]  [PDF 689.84 K (2948)]
  
一种Web Service的服务质量预测方法
  邵凌霜,周立,赵俊峰,谢冰,梅宏
  2009,20(8):2062-2073 [摘要(3973)]  [PDF 688.01 K (5135)]
  
基于时序逻辑证明编译优化程序变换的保义性
  陶秋铭,赵琛,郭亮
  2009,20(8):2074-2086 [摘要(3517)]  [PDF 787.37 K (2945)]
  
基于BPEL的Web Service组合的数据流分析测试方法
  董文莉,胡建华
  2009,20(8):2102-2112 [摘要(4256)]  [PDF 497.87 K (4286)]
  
以体系结构为中心的模型转换的语义描述框架
  侯金奎,王海洋,马军,万建成,杨潇
  2009,20(8):2113-2123 [摘要(3697)]  [PDF 634.54 K (3915)]
  
一种解决大规模数据集问题的核主成分分析算法
  史卫亚,郭跃飞,薛向阳
  2009,20(8):2153-2159 [摘要(4132)]  [PDF 502.05 K (4517)]
  
基于机器学习的自动协商决策模型
  程昱,高济,古华茂,傅朝阳
  2009,20(8):2160-2169 [摘要(3683)]  [PDF 626.21 K (4444)]
  
一种多足步行机器人行走状态分析模型
  徐凯,陈小平
  2009,20(8):2170-2180 [摘要(3654)]  [PDF 994.79 K (3110)]
  
一种研讨模型
  熊才权,李德华
  2009,20(8):2181-2190 [摘要(4346)]  [PDF 550.90 K (3344)]
  
基于表情相似性的人脸表情流形
  续爽,贾云得
  2009,20(8):2191-2198 [摘要(4017)]  [PDF 676.91 K (4439)]
  
深度包检测中一种高效的正则表达式压缩算法
  徐乾,鄂跃鹏,葛敬国,钱华林
  2009,20(8):2214-2226 [摘要(4557)]  [PDF 731.87 K (6435)]
  
延迟容忍移动传感器网络中基于选择复制的数据传输
  朱金奇,刘明,龚海刚,陈贵海,许富龙,宋超
  2009,20(8):2227-2240 [摘要(3499)]  [PDF 772.02 K (4289)]
  
一种基于拓扑势的网络社区发现方法
  淦文燕,赫南,李德毅,王建民
  2009,20(8):2241-2254 [摘要(4623)]  [PDF 1.99 M (13561)]
  
并行下载最优机制
  王正,罗万明,阎保平
  2009,20(8):2255-2268 [摘要(3273)]  [PDF 746.20 K (3192)]
  
基于遗传算法的网络编码优化
  邓亮,赵进,王新
  2009,20(8):2269-2279 [摘要(4088)]  [PDF 615.47 K (4195)]
  
别名解析中的别名过滤技术
  赵洪华,白华利,陈鸣,魏镇韩
  2009,20(8):2280-2288 [摘要(3101)]  [PDF 530.13 K (3391)]
  
一种交错编码的多重门限调度算法
  伊鹏,汪斌强,陈庶樵,李挥
  2009,20(8):2289-2297 [摘要(3221)]  [PDF 539.10 K (3528)]
  
行为驱动的基于角色的信任管理
  李斓,范磊,回红
  2009,20(8):2298-2306 [摘要(2755)]  [PDF 506.54 K (3377)]
  

综述文章

基于分离逻辑的程序验证技术
  黄达明,曾庆凯
  2009,20(8):2051-2061 [摘要(6328)]  [PDF 603.19 K (6660)]
  
复述技术研究
  赵世奇,刘挺,李生
  2009,20(8):2124-2137 [摘要(5519)]  [PDF 720.40 K (6934)]
  
无监督词义消歧研究
  王瑞琴,孔繁胜
  2009,20(8):2138-2152 [摘要(6177)]  [PDF 803.13 K (7870)]
  
应用于移动互联网的Peer-to-Peer关键技术
  李伟,徐正全,杨铸
  2009,20(8):2199-2213 [摘要(8254)]  [PDF 2.05 M (13548)]
  

在线出版

一种基于图转换的模型重构描述语言
  刘辉,麻志毅,邵维忠
  2009,20(8):2087-2101 [摘要(4300)]  [PDF 939.85 K (4577)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利