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

2015年第26卷第12期目录

   
浏览其它刊期:  
  

本期目录

构件软件的回归测试复杂性度量
  陶传奇,李必信,JerryGao
  2015,26(12):3043-3061 [摘要(1671)]  [PDF 2.34 M (1443)]
  
基于代码库和特征匹配的函数名称推荐方法
  高原,刘辉,樊孝忠,牛振东
  2015,26(12):3062-3074 [摘要(1697)]  [PDF 1.42 M (1972)]
  
基于程序不变量计算软件可靠性
  周远,丁佐华
  2015,26(12):3075-3087 [摘要(1736)]  [PDF 1.28 M (1978)]
  
浮点数学函数异常处理方法
  许瑾晨,郭绍忠,黄永忠,王磊,周蓓
  2015,26(12):3088-3103 [摘要(1484)]  [PDF 1.69 M (1964)]
  
数组维度类型程序设计方法及高性能FFT实现
  崔翔,李晓雯,陈一峯
  2015,26(12):3104-3116 [摘要(1513)]  [PDF 1.36 M (1637)]
  
结合扩展规则重构的#SAT问题增量求解方法
  贾凤雨,欧阳丹彤,张立明,刘思光
  2015,26(12):3117-3129 [摘要(1317)]  [PDF 1.35 M (1429)]
  
基于查询子主题分类的多样性搜索评价方法
  陈飞,刘奕群,张敏,马少平
  2015,26(12):3130-3139 [摘要(1389)]  [PDF 1.08 M (1875)]
  
概率最大受限路径相容算法
  李宏博,梁艳春,李占山
  2015,26(12):3140-3150 [摘要(1607)]  [PDF 1.30 M (2026)]
  
基于树形条件随机场的跨语言时态标注
  陈怡疆,徐海波,史晓东,苏畅
  2015,26(12):3151-3161 [摘要(1433)]  [PDF 1.10 M (1797)]
  
概念格多属性渐减式构造
  马垣,马文胜
  2015,26(12):3162-3173 [摘要(1372)]  [PDF 1.23 M (1521)]
  
使用ECC的身份混合签密方案
  俞惠芳,杨波
  2015,26(12):3174-3182 [摘要(1374)]  [PDF 1.09 M (1682)]
  
ABeCK模型下安全的基于属性的认证密钥协商协议
  高海英
  2015,26(12):3183-3195 [摘要(1331)]  [PDF 1.31 M (1549)]
  
抗签名密钥泄露的可撤销无证书签名
  孙银霞,张福泰,沈丽敏
  2015,26(12):3196-3203 [摘要(1557)]  [PDF 906.14 K (1399)]
  
高效可证安全的无证书聚合签名方案
  周彦伟,杨波,张文政
  2015,26(12):3204-3214 [摘要(1185)]  [PDF 1.14 M (1576)]
  
RFID快速隐私保护认证协议
  翟黎
  2015,26(12):3215-3222 [摘要(1525)]  [PDF 858.26 K (1852)]
  
基于树状线性规划搜索的单调速率优化设计
  陈力,王永吉,吴敬征,吕荫润
  2015,26(12):3223-3241 [摘要(1723)]  [PDF 1.95 M (1494)]
  
 

京公网安备 11040202500064号

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