2018年第29卷第1期目录
精准执行可达性分析:理论与应用杨克,贺也平,马恒太,王雪飞2018,29(1):1-22 [摘要(6632)] [PDF(11703)2.21 M][HTML(4244)]基于模型的自适应方法综述赵天琪,赵海燕,张伟,金芝2018,29(1):23-41 [摘要(7077)] [PDF(10154)1.84 M][HTML(4047)]软件与网络安全研究综述刘剑,苏璞睿,杨珉,和亮,张源,朱雪阳,林惠民2018,29(1):42-68 [摘要(10174)] [PDF(20178)2.54 M][HTML(4882)]众包软件测试技术研究进展章晓芳,冯洋,刘頔,陈振宇,徐宝文2018,29(1):69-88 [摘要(8790)] [PDF(14275)2.00 M][HTML(4296)]多分类孪生支持向量机研究进展丁世飞,张健,张谢锴,安悦瑄2018,29(1):89-108 [摘要(5528)] [PDF(7888)1.99 M][HTML(4211)]可扩展机器学习的并行与分布式优化算法综述亢良伊,王建飞,刘杰,叶丹2018,29(1):109-130 [摘要(6800)] [PDF(15997)2.21 M][HTML(5496)]分布式数据库中一致性与可用性的关系朱涛,郭进伟,周欢,周烜,周傲英2018,29(1):131-149 [摘要(6411)] [PDF(8834)2.01 M][HTML(4217)]区块链与可信数据管理:问题与方法钱卫宁,邵奇峰,朱燕超,金澈清,周傲英2018,29(1):150-159 [摘要(9686)] [PDF(14762)1.08 M][HTML(4096)]软件定义网络控制平面可扩展性研究进展张少军,兰巨龙,胡宇翔,江逸茗2018,29(1):160-175 [摘要(5785)] [PDF(7712)1.79 M][HTML(4377)]互联网自治域间IP源地址验证技术综述贾溢豪,任罡,刘莹2018,29(1):176-195 [摘要(5702)] [PDF(7757)2.20 M][HTML(3890)]物联网环境下数据转发模型研究李继蕊,李小勇,高雅丽,高云全,方滨兴2018,29(1):196-224 [摘要(6363)] [PDF(17319)3.31 M][HTML(3800)]
