2018年第29卷第1期目录
精准执行可达性分析:理论与应用杨克,贺也平,马恒太,王雪飞2018,29(1):1-22 [摘要(6763)] [PDF(13767)2.21 M][HTML(5081)]基于模型的自适应方法综述赵天琪,赵海燕,张伟,金芝2018,29(1):23-41 [摘要(7186)] [PDF(11745)1.84 M][HTML(5148)]软件与网络安全研究综述刘剑,苏璞睿,杨珉,和亮,张源,朱雪阳,林惠民2018,29(1):42-68 [摘要(10497)] [PDF(21327)2.54 M][HTML(5781)]众包软件测试技术研究进展章晓芳,冯洋,刘頔,陈振宇,徐宝文2018,29(1):69-88 [摘要(9005)] [PDF(17452)2.00 M][HTML(5475)]多分类孪生支持向量机研究进展丁世飞,张健,张谢锴,安悦瑄2018,29(1):89-108 [摘要(5648)] [PDF(9393)1.99 M][HTML(5225)]可扩展机器学习的并行与分布式优化算法综述亢良伊,王建飞,刘杰,叶丹2018,29(1):109-130 [摘要(7006)] [PDF(19443)2.21 M][HTML(7172)]分布式数据库中一致性与可用性的关系朱涛,郭进伟,周欢,周烜,周傲英2018,29(1):131-149 [摘要(6532)] [PDF(9717)2.01 M][HTML(5571)]区块链与可信数据管理:问题与方法钱卫宁,邵奇峰,朱燕超,金澈清,周傲英2018,29(1):150-159 [摘要(9813)] [PDF(15671)1.08 M][HTML(5315)]软件定义网络控制平面可扩展性研究进展张少军,兰巨龙,胡宇翔,江逸茗2018,29(1):160-175 [摘要(6389)] [PDF(8627)1.79 M][HTML(5417)]互联网自治域间IP源地址验证技术综述贾溢豪,任罡,刘莹2018,29(1):176-195 [摘要(5805)] [PDF(8856)2.20 M][HTML(5005)]物联网环境下数据转发模型研究李继蕊,李小勇,高雅丽,高云全,方滨兴2018,29(1):196-224 [摘要(6484)] [PDF(18397)3.31 M][HTML(4636)]
