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

Search Results

Help

Item hits: (Results 1-10 of 364)

Filters    
Items/Page:    Sort:
软件形式化方法与应用专题前言 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 3, 页码: 495-496
詹乃军; 王戟; 李宣东

 
一种软件特征模型扩展和演化分析方法 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 5, 页码: 1212-1229
胡洁; 王青
  |  
 
一种模型驱动的可视化生成系统 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 5, 页码: 1199-1211
杜一; 郭旦怀; 陈昕; 任磊; 戴国忠
  |  
 
面向无穷数据的形式模型综述 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 3, 页码: 682-690
宋富; 吴志林
  |  
 
一种基于聚类分组的虚拟机镜像去冗余方法 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 2, 页码: 466-480
徐继伟; 张文博; 魏峻; 钟华; 黄涛
  |  
 
Android安全研究进展 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 1, 页码: 45-71
卿斯汉
  |  
 
运动目标三维轨迹可视化与关联分析方法 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 5, 页码: 1151-1162
郭洋; 马翠霞; 膝东兴; 杨祎; 王宏安
  |  
 
可视化及可视分析专题前言 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 5, 页码: 1059-1060
沈汉威; 张小龙; 陈为; 袁晓如; 王文成
  |  
 
基于TrustZone的可信移动终端云服务安全接入方案 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 6, 页码: 1366-1383
杨波; 冯登国; 秦宇; 张英骏
  |  
 
基于树状线性规划搜索的单调速率优化设计 [期刊论文]
软件学报, 2015-01-01, 卷号: 26, 期号: 12, 页码: 3223-3241
陈力; 王永吉; 吴敬征; 吕荫润
  |  
 

1 2 3 4 5 6 7 8 9 10 next

 

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