信息物理系统软件设计自动化专题

1. 信息物理系统软件设计自动化专题前言*
2. 基于SHML的CPS行为建模及仿真*
3. 垂悬指针检测与防御方法*
4. 自主机器人多智能体软件架构及伴随行为机制*
5. 轨道交通联锁领域特定语言的形式化*
6. 基于AADL的失效概率分配及安全性评估方法*
7. 马尔可夫信息物理系统拒绝服务攻击安全控制*

系统软件与软件工程

1. 基于动态分析的软件不变量综合技术*
2. 基于堆叠泛化的设计模式检测方法*

模式识别与人工智能

1. 跨领域文本情感分类研究进展*
2. 基于端到端句子级别的中文唇语识别研究*

数据库技术

1. 持续监控下差分隐私保护*

计算机网络与信息安全

1. 基于ICN网络架构的社区感知型MSN路由机制*
2. 节点度估计和静态博弈转发策略的Ad Hoc 网络路由协议*
3. 面向公有云的支持快速解密的CP-ABE 方案*
4. 对简化版MORUS算法的改进动态立方攻击*

计算机图形学与计算机辅助设计

1. 基于概率模型检验的云渲染任务调度定量验证*

操作系统

1. 面向大数据分析作业的启发式云资源供给方法*
2. 基于分片复用的多版本容器镜像加载方法*
3. 移动边缘计算中资源受限的串行任务卸载策略*
4. 持久化内存文件系统的磨损攻击与防御机制*