位置：成果数据库 > 期刊 > 期刊详情页
逻辑程序的事实维护
  • 期刊名称：谭成予，董红斌，梁意文，钱立进，逻辑程序的事实维护，计算机工程与应用·2006.9·16-18
  • 时间：0
  • 相关项目：基于文件视图和数字DNA的安全文件系统理论与模型
同期刊论文项目
基于文件视图和数字DNA的安全文件系统理论与模型
期刊论文 12 会议论文 12
同项目期刊论文
基于角色模型的Linux文件血统及其安全机制
文件血统与角色亲和度的网络文件安全机制
源程序语义检测的稳定模型分析方法
文件安全性血统的演变方法
逻辑程序的标识更新
基于血统机制的文件系统安全
Linux进程语义安全性检测的稳定模型
危险感知的数字微分初步
一种基于实视图的自适应查询优化系统框架
基于人工数据产生器的噪声检测评价框架