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