QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于HCPN模型检测方法的DNP3-SA协议形式化安全评估与改进 学位论文 2018 作者:  鲁晔 收藏  |  浏览/下载：11/0  |  提交时间：2020/11/05 ICS  DNP3-SA  CPN  形式化建模  安全评估  安全改进   虚拟机架构下的执行重放技术研究 学位论文 博士, 北京: 中国科学院研究生院, 2012 于佳耕 收藏  |  浏览/下载：9/0  |  提交时间：2012/07/03 虚拟机确定性执行重放的模型分析和实现方法 期刊论文 软件学报, 2012, 卷号: 23, 期号: 6, 页码: 1620-1634 于佳耕; 周鹏; 武延军; 赵琛 收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17 执行重放  不确定事件  模型分析  虚拟机  Xen   一种基于存储虚拟化的异步远程镜像系统 期刊论文 2010, 2010 向小佳; 余宏亮; XIANG Xiao-Jia; YU Hong-Liang 收藏  |  浏览/下载：3/0 基于虚拟机执行过程重放的热迁移系统研究 期刊论文 计算机工程与设计, 2010, 卷号: 31, 期号: 19, 页码: 4213-4217 胡晓昌; 丁丽萍; 武延军 收藏  |  浏览/下载：10/0  |  提交时间：2011/05/23 热迁移  虚拟机  系统容错  高可用  事件重放   记录对应记录密度的记录/重放条件的记录媒体及其记录和重放方法 专利 专利号: CN1201222A, 申请日期: 1998-12-09, 公开日期: 1998-12-09 作者:  虎泽研示;  日置敏昭 收藏  |  浏览/下载：7/0  |  提交时间：2019/12/31