机构

• 软件研究所 [9]
• 沈阳自动化研究所 [2]
• 合肥物质科学研究院 [1]

采集方式

• OAI收割 [12]

内容类型

• 期刊论文 [9]
• 学位论文 [2]
• 会议论文 [1]

发表日期

• 2006 [2]
• 2005 [2]
• 2004 [4]
• 2002 [1]
• 2000 [1]
• 1999 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共12条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 一种基于属性证书和角色的访问控制模型 期刊论文  OAI收割 微电子学与计算机, 2006, 卷号: 23, 期号: 11, 页码: 143-145,148 张可翔; 谢冬青; 冷健   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/07/13 面向对象  属性证书  职责分离  PKI  属性证书  角色的访问控制  访问控制模型  Attribute Certificate  面向对象  授权访问控制  形式化描述  职责分离  控制方法  保护资源  安全系统  管理   使用SPEC#开发高可靠性的算法程序 期刊论文  OAI收割 计算机工程与应用, 2006, 卷号: 42, 期号: 12, 页码: 114-117,130 郑宇军; 马燕; 薛锦云   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/13 SPEC#  形式化方法  算法程序  契约  开发  高可靠性  软件自动化  对象不变式  契约机制  可维护性  基本特性  后置条件  程序规约  形式化  可读性  语言  前置  描述   面向装备联勤保障的约束程序设计框架 期刊论文  OAI收割 南京大学学报（自然科学版）, 2005, 卷号: 41, 期号: z1, 页码: 30-34 郑宇军; 王连来; 薛锦云   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/28 联勤  约束程序设计  规约  问题求解  装备联勤保障  约束程序设计框架  问题求解剖面  保障资源  保障任务  保障对象  问题规约剖面  装备保障  正交组合  领域驱动  抽象描述  保障规划  启发式  选择  算法  目标  规则   一种基于事物特性表的信息编码系统 期刊论文  OAI收割 南京航空航天大学学报, 2005, 卷号: 37, 期号: z1, 页码: 154-157 钱晓明; 王宁生; 蒋平   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/28 信息编码  事物特性表  信息集成  事物特性表  编码系统  属性特征  信息集成  信息编码  体系结构  技术资源  基础  分类体系  产品  零部件  类标识  原理  应用  描述  功能  对象Applications  Classification (of information)  Encoding (symbols)  Information technology  Integration  Structures (built objects)   XML语义及其应用研究 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 马兰 收藏  |  浏览/下载：21/0  |  提交时间：2011/03/17 可扩展标记语言  多媒体同步集成语言  语义  文档对象模型  课件描述语言   OR-Mapping的一种实现方法 期刊论文  OAI收割 计算机应用与软件, 2004, 卷号: 21, 期号: 2, 页码: 16-17,93 金松; 齐璇; 柳军飞   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/07/29 OR-Mapping  关系型数据库  面向对象语言  面向对象设计  开发数据库  实现方法  结构清晰  对象描述  程序开发  工作量  应用  系统  集成   面向对象的安全评估方法及若干评估技术指标的构建 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 李小满 收藏  |  浏览/下载：29/0  |  提交时间：2011/03/17 网络安全评估  面向对象的安全特征描述  OOSD模型  OOSD方法  指标   一个多形式的知识库管理系统XFKBMS／V1．0 期刊论文  OAI收割 小型微型计算机系统, 2004, 卷号: 025 作者:  滕明贵;  熊范纶;  吴正龙   |  收藏  |  浏览/下载：19/0  |  提交时间：2020/11/23 知识库管理系统  面向对象  可视化知识表示  知识库描述性语言   虚拟装配中感知机制构造 期刊论文  OAI收割 软件学报, 2002, 卷号: 13, 期号: 12, 页码: 2324-2330 程成   |  收藏  |  浏览/下载：31/0  |  提交时间：2011/07/29 虚拟环境  虚拟装配  人机交互  感知  特征设计  几何约束  软件构造  虚拟装配  感知机  机制构造  交互性  虚拟环境  系统结构  认知负荷  感知模式  复合对象  实时性  桌面  证明  用户  性能  特性  实践  目标  描述  机器  方法Assembly  Constraint theory  Object oriented programming  Virtual reality   现场总线互操作性研究与实现 会议论文  OAI收割 3rd World Congress on Intelligent Control and Automation, HEFEI, China, June 28 - July 2, 2000 作者:  王智;  王天然;  苑明哲;  于海斌 收藏  |  浏览/下载：33/0  |  提交时间：2012/06/06 现场总线  互操作  功能块  对象字典  设备描述技术  OPC