中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 71-80 of 81)

Items/Page:    Sort:
引入时间特性的角色访问控制 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
黄建
  |  
 
基于UML的软硬件协同设计的模型分析方法 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 1
陈思功; 秦晓; 章恒翀

 
虚拟装配中感知机制构造 [期刊论文]
软件学报, 2002-01-01, 卷号: 13, 期号: 12, 页码: 2324-2330
程成
  |  
 
虚拟装配中面贴合感知构造研究 [期刊论文]
计算机研究与发展, 2002-01-01, 卷号: 39, 期号: 10, 页码: 1331-1336
程成

 
软件测试的自动分析工具 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001-01-01
王晓旭
  |  
 
参数化设计中的对象约束模型及反向约束的研究 [期刊论文]
计算机学报, 2000-01-01, 卷号: 23, 期号: 9, 页码: 991-995
马翠霞; 孟祥旭; 龚斌; 屠长河

 
一种基于视觉约束的当前视点画面生成方法 [期刊论文]
软件学报, 2000-01-01, 卷号: 11, 期号: 9, 页码: 1207-1213
刘学慧; 孙汉秋; 吴恩华
  |  
 
支持概念设计的用户界面及原型系统开发 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000-01-01
聂志明
  |  
 
组件语义约束的动态模型检测方法和技术研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998-01-01
倪彬

 
一阶逻辑中约束求解的局部搜索法 [期刊论文]
软件学报, 1998-01-01, 卷号: 9, 期号: 8, 页码: 598-600
张健
  |  
 

previous 1 2 3 4 5 6 7 8 9 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace