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