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