王洪亚 刘云生 许华杰 杨兵 覃飙 进才 李国徽 欧阳柳波 蔡霞

数据安置 数据有效期 文件结构 移动实时事务处理 协同并行检验点方法 存储层次 危险 分布式合作实时事务 软件安全 数据特征 HAZOP 检验点依赖 相对时间正确性 全局检验点 嵌入式实时数据库 移动合作实时事务 事务执行模型 移动实时数据库 索引结构 协同检验点方法 软件偏差分析

华中科技大学计算机科学与技术学院 湖北武汉 华中师范大学信息技术系 湖南大学软件学院 华中科技大学计算机学院