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