机构

• 软件研究所 [2]

采集方式

• OAI收割 [2]

内容类型

• 期刊论文 [2]

发表日期

• 2006 [1]
• 2002 [1]

学科主题

筛选

浏览/检索结果: 共2条，第1-2条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 核心化多级安全数据库系统未决提交事务日志写出依赖研究 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1438-1446 徐震; 张敏   |  收藏  |  浏览/下载：34/0  |  提交时间：2011/07/13 核心化体系结构  多级安全数据库系统  未决提交  依赖图  核心化  事务日志  日志记录  持久存储  高级事务  依赖关系  协调  系统崩溃  维护  体系结构  算法  事务提交  事务数据  实例处理  分析论证  处理过程  状态  证明  同级Algorithms  Architecture  Data storage equipment  Graph theory  Mathematical models  Security of data  Topology   基于规则的软件过程事务模型 期刊论文  OAI收割 软件学报, 2002, 卷号: 13, 期号: 1, 页码: 24-32 沈备军; 陈诚; 居德华   |  收藏  |  浏览/下载：10/0  |  提交时间：2011/07/29 软件过程  软件过程事务  扩充事务模型  软件过程支持环境  正确性规则  software process  software process transaction  extended transaction model  PSEE  correctness criteria  正确性规则  软件过程  高级事务模型  Transaction Model  software process transaction  cooperative transaction  correctness criteria  transaction