×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [61]
内容类型
学位论文 [46]
期刊论文 [15]
发表日期
2017 [1]
2015 [2]
2014 [1]
2013 [2]
2012 [3]
2011 [2]
更多...
学科主题
Computer S... [2]
Computer S... [1]
计算机应用 [1]
计算机软件::软件工... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共61条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
基于交通数据的公交车体广告投放可视分析研究
学位论文
硕士, 北京: 中国科学院大学, 2017
作者:
王艺博
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2017/07/08
PhysiolComp Toolkit:一个生理计算交互工具箱的分析与设计
期刊论文
计算机学报, 2015, 卷号: 38, 期号: 12, 页码: 2464-2476
陈毅能
;
路璐
;
胡伟平
;
田丰
;
戴国忠
;
王宏安
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2016/12/09
人机交互
生理计算
交互工具箱
交互组件
面向信息可视化的语义Focus+Context人机交互技术
期刊论文
计算机学报, 2015, 卷号: 38, 期号: 12, 页码: 2488-2498
任磊
;
魏永长
;
杜一
;
张小龙
;
戴国忠
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2016/12/09
信息可视化
人机交互
用户界面
焦点+上下文
大数据
可视分析
软件结构化测试数据生成技术
学位论文
硕士, 北京: 中国科学院大学, 2014
吴添勇
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2014/05/29
软件测试
结构化测试
测试数据生成
扩展有限状态机
修改的条件/判断覆盖
基于问题模式的形式化软件规格说明生成方法
期刊论文
计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360
王昌晶
;
罗海梅
;
左正康
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2013/09/17
形式化软件规格说明
生成方法
问题模式
模型精化演算
算法程序
面向儿童的图形化编程语言和工具
期刊论文
计算机辅助设计与图形学学报, 2013, 卷号: 25, 期号: 4, 页码: 584-591
王婷婷
;
王丹力
;
路璐
;
何亮
;
王宏安
;
戴国忠
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2013/09/17
图形化编程
语言描述
图形化编程工具
儿童
虚拟机确定性执行重放的模型分析和实现方法
期刊论文
软件学报, 2012, 卷号: 23, 期号: 6, 页码: 1620-1634
于佳耕
;
周鹏
;
武延军
;
赵琛
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2013/09/17
执行重放
不确定事件
模型分析
虚拟机
Xen
面向Hadoop平台的工作流建模与实施
期刊论文
电脑知识与技术, 2012, 卷号: 8, 期号: 19, 页码: 4635-4640
席永涛
;
李奇原
;
刘杰
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2013/09/17
业务流程管理
数据密集型计算
工作流系统
Hadoop
BPEL
一种基于模式的故障诊断方法
期刊论文
计算机科学, 2012, 卷号: 39, 期号: 11, 页码: 160-164
崔海春
;
欧阳丹彤
;
王晓宇
;
纪树平
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2013/09/17
系统模型
故障模式
可诊断性
诊断问题
基于过程资产库挖掘的过程Agent自动创建方法
学位论文
硕士, 北京: 中国科学院研究生院, 2011
黄辉
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/06/08
计算机软件::软件工程
©版权所有 ©2017 CSpace - Powered by
CSpace