机构

• 软件研究所 [10]
• 高能物理研究所 [2]
• 水土保持研究所 [1]

采集方式

• OAI收割 [13]

内容类型

• 期刊论文 [13]

发表日期

• 2010 [1]
• 2008 [1]
• 2006 [3]
• 2004 [1]
• 2003 [2]
• 2002 [2]
• 更多

学科主题

筛选

浏览/检索结果: 共13条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 基于土地生态位模型的王东沟流域农用地变化过程分析 期刊论文  OAI收割 生态经济(学术版), 2010, 期号: 2, 页码: 1-3,17 夏自兰; 王继军 收藏  |  浏览/下载：20/0  |  提交时间：2011/11/05 生态位  生态位（宽度）模型  扩充压缩度  农用地  王东沟流域   用于软件开发工作量估算的IOP模型 期刊论文  OAI收割 计算机工程与设计, 2008, 卷号: 29, 期号: 4, 页码: 784-788,796 汤子楠; 舒风笛   |  收藏  |  浏览/下载：10/0  |  提交时间：2011/06/10 工作量估算  成本驱动因子  估算模型  软件开发  构造性成本估算模型Ⅱ  软件开发工作量  估算  模型  软件项目  软件组织  项目管理  组织决策  软件行业  项目招标  项目特征  项目数据  统一框架  驱动因子  目标  回归分析  组织水  应用  扩充  国内  成本   B级安全的轻量级内核BSK的设计与实现 期刊论文  OAI收割 计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/07/13 监控器模型  BLP  BSK  安全容器  安全对象代理  安全对象  轻量级  内核模型  设计  消息调度  消息传递机制  面向对象机制  路由信息  对象模型  调度算法  调度模型  安全判定  安全模型  安全检测  有状态  监控器  缓冲器  性能  扩充  客体   B级安全的轻量级内核BSK的设计与实现 期刊论文  OAI收割 计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/13 监控器模型  BLP  BSK  安全容器  安全对象代理  安全对象  轻量级  内核模型  设计  消息调度  消息传递机制  面向对象机制  路由信息  对象模型  调度算法  调度模型  安全判定  安全模型  安全检测  有状态  监控器  缓冲器  性能  扩充  客体   B级安全的轻量级内核BSK的设计与实现 期刊论文  OAI收割 计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/07/13 监控器模型  BLP  BSK  安全容器  安全对象代理  安全对象  轻量级  内核模型  设计  消息调度  消息传递机制  面向对象机制  路由信息  对象模型  调度算法  调度模型  安全判定  安全模型  安全检测  有状态  监控器  缓冲器  性能  扩充  客体   TRDM--具有时限的基于角色的转授权模型 期刊论文  OAI收割 计算机研究与发展, 2004, 卷号: 41, 期号: 7, 页码: 1104-1109 孙波; 赵庆松; 孙玉芳   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/29 信息安全  访问控制  转授权  时限  基于角色  时限  角色授权  转授权模型  delegation model  分布式环境  系统管理  授权管理  宽度  管理方式  分布环境  集中式  管理者  扩充  撤销   一种将设计模式用于程序精化演算的并行程序设计方法研究 期刊论文  OAI收割 计算机研究与发展, 2003, 卷号: 40, 期号: 2, 页码: 318-324 万剑怡; 孙永强; 薛锦云   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/07/29 设计模式  精化演算  并行程序设计  设计模式  程序设计  精化演算  并行程序  方法研究  Refinement Calculus  Design Patterns  Method of  问题求解  设计方法  描述  扩充  并行开发  并行计算  形式化  知识  语言  体系  模型  规范   基于FR-TS法的企业过程模型并行优化技术研究 期刊论文  OAI收割 系统工程与电子技术, 2003, 卷号: 25, 期号: 4, 页码: 435-439 谭文安; 赵建民; 王勤   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/29 最优化方法  禁忌搜索算法  企业过程模型  动态优化  企业过程模型  并行  优化技术  Process Modeling  软件支持环境  区域  企业资源计划  企业过程重建  禁忌  优化算法  模型结构  连接技术  动态优化  寻优  内涵  扩展  扩充  开发  进程  管理   长城安全政策的扩充研究及其实现 期刊论文  OAI收割 电子学报, 2002, 卷号: 30, 期号: 11, 页码: 1658-1662 赵庆松; 孙玉芳; 梁洪亮; 张相锋; 孙波   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/07/29 信息安全  角色  基于角色的访问控制  扩充的"长城"安全政策  长城  安全政策  强制访问控制模型  角色的访问控制  Access Control  信息安全领域  政策中性  信息领域  系统  实现方法  实际应用  扩充  自主  商业Mathematical models  Network protocols  Theorem proving   基于规则的软件过程事务模型 期刊论文  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