中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	基于自适应机制的虚拟机进程实时监视方法期刊论文 OAI收割计算机学报, 2019, 卷号: 042 作者: 崔超远; 李勇钢; 乌云; 孙丙宇 \| 收藏 \| 浏览/下载：33/0 \| 提交时间：2020/10/26 虚拟机实时监视进程检测 rootkit 隐藏性监测自适应机制
	Formalization and specification for controlling process modularity in mobile computing 学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 Takashi KITAMURA \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2011/03/17 进程代数 Pi演算分布移动计算模态逻辑 Mu演算模型检测
	移动进程的空间逻辑期刊论文 OAI收割中国科学E辑, 2004, 卷号: 34, 期号: 2, 页码: 139-150 林惠民 \| 收藏 \| 浏览/下载：6/0 \| 提交时间：2010/08/24 模态逻辑谓词μ-演算模型检测移动进程异步π-演算
	带复杂数据结构的模型检测工具期刊论文 OAI收割计算机研究与发展, 2004, 卷号: 41, 期号: 11, 页码: 1990-1999 张轶; 林惠民 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2010/08/24 模型检测传值进程带赋值符号迁移图谓词μ演算复杂数据结构 model-checking value-passing process STGA predicate μ-calculus non-trivial data structures
	面向传值进程的一阶模态逻辑的可判定性与模型检测期刊论文 OAI收割中国科学E辑, 2003, 卷号: 33, 期号: 2, 页码: 97-110 薛锐; 林惠民 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2010/08/24 一阶模态逻辑可判定性模型检测传值进程
	传值进程模型检测中诊断信息的生成期刊论文 OAI收割软件学报, 2003, 卷号: 14, 期号: 1, 页码: 40186 刘剑; 林惠民 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2010/08/24 进程代数模型检测证明图示例诊断生成 process algebra model checking proof graph witness diagnosis generation
	带实时的传值与移动系统研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003 陈靖收藏 \| 浏览/下载：19/0 \| 提交时间：2011/03/17 实时系统数据传送移动计算进程代数互模拟可达性模型检测
	面向传值进程的谓词μ-演算与FO(HML)的完备推演系统期刊论文 OAI收割计算机学报, 2002, 卷号: 25, 期号: 6 薛锐; 林惠民 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2010/08/24 传值进程 μ-演算模型检测 Tableau 推演完备