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

Search Results

Help

Item hits: (Results 1-10 of 53)

Filters    
Items/Page:    Sort:
基于扩展逻辑变换系统_μTS证明循环优化正确性 [期刊论文]
计算机研究与发展, 2012-01-01, 卷号: 49, 期号: 9, 页码: 1863-1873
王昌晶

 
一种虚拟化环境的脆弱性检测方法 [期刊论文]
计算机应用与软件, 2012-01-01, 卷号: 29, 期号: 9, 页码: 14-17,53
王瑞; 连一峰; 陈恺

 
从云计算到海计算:论物联网的体系结构 [期刊论文]
中兴通讯技术, 2011-01-01, 卷号: 17, 期号: 1, 页码: 3-7
孙利民; 沈杰; 朱红松

 
改进权值计算的均值移动目标跟踪 [期刊论文]
中国图象图形学报, 2011-01-01, 卷号: 16, 期号: 7, 页码: 1283-1288
安国成; 陈建军; 张凤军; 戴国忠

 
语义Web环境中本体库管理系统体系结构研究 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: z3, 页码: 39-45
李曼; 杜小勇; 王珊
  |  
 
一致性测试中的时间约束及测试用例生成算法 [期刊论文]
西安交通大学学报, 2006-01-01, 卷号: 40, 期号: 4, 页码: 381-385
赵保华; 柯尧
  |  
 
需求驱动的Web服务建模及其验证:一个基于本体的方法 [期刊论文]
中国科学E辑, 2006-01-01, 卷号: 36, 期号: 10, 页码: 1189-1219
侯丽珊; 金芝; 吴步丹
  |  
 
实体Bean容器管理持久化研究与实现 [期刊论文]
计算机科学, 2005-01-01, 卷号: 32, 期号: 4, 页码: 173-177
胡建华; 官荷卿; 陈宁江
  |  
 
数字化时代的网上编辑部 [期刊论文]
中国科技期刊研究, 2005-01-01, 卷号: 16, 期号: 4, 页码: 517-519
方梅
  |  
 
广义向量Bent函数 [期刊论文]
电子与信息学报, 2005-01-01, 卷号: 27, 期号: 1, 页码: 119-122
张文英; 武传坤; 黄晓英; 李世取
  |  
 

1 2 3 4 5 6 next

 

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