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