×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [33]
内容类型
学位论文 [21]
期刊论文 [12]
发表日期
2015 [1]
2013 [3]
2012 [1]
2011 [3]
2010 [3]
2009 [4]
更多...
学科主题
计算机科学技术基础学... [2]
Computer S... [1]
Computer S... [1]
计算机应用 [1]
计算机软件::操作系... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共33条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
基于藏语字性标注的词性预测研究
期刊论文
中文信息学报, 2015, 卷号: 29, 期号: 5, 页码: 211-215
龙从军
;
刘汇丹
;
诺明花
;
吴健
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2016/12/09
藏语
语字标注
分词
词性标注
密码模块API形式化分析技术研究
学位论文
硕士, 北京: 中国科学院大学, 2013
刘波
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2013/05/27
一种基于项重写的密码模块API安全性检测算法
期刊论文
中国科学院大学学报, 2013, 卷号: 30, 期号: 5, 页码: 699-705
刘波
;
陈华
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2014/12/16
PKCS#11
模型检测
项重写
广度优先搜索
PKCS#11
model checking
term rewriting
breadth-first search
基于多尺度描述方法的移动用户界面生成框架
期刊论文
计算机学报, 2013, 卷号: 36, 期号: 11, 页码: 2179-2190
杜一
;
田丰
;
马翠霞
;
戴国忠
;
王宏安
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2014/12/16
用户界面描述语言
用户界面生成
移动计算
用户界面开发
模型驱动的开发
移动互联网
在线同步输入纸质与电子表单的方法
期刊论文
计算机辅助设计与图形学学报, 2012, 卷号: 24, 期号: 9, 页码: 1125-1133
熊金泉
;
樊银亭
;
滕东兴
;
马翠霞
;
戴国忠
;
王宏安
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2013/09/17
电子表单
笔式表单用户界面
笔式同步输入
统计语言模型
分布式环境下可信使用控制实施方案
期刊论文
计算机研究与发展, 2011, 卷号: 48, 期号: 12, 页码: 2201-2211
胡浩
;
冯登国
;
秦宇
;
于爱民
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2013/10/08
可信计算
可信平台模块
UCON模型
分布式访问控制
可信使用控制
传感网中间件测试与验证平台
期刊论文
计算机研究与发展, 2011, 卷号: 48, 期号: 2, 页码: 265-270
李强
;
秦伟俊
;
刘燕
;
王瑞聪
;
韩冰
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2013/10/08
中间件
测试与验证平台
无线传感器网络
测试
自主发育智能机器人体系结构研究
期刊论文
计算机应用与软件, 2011, 卷号: 28, 期号: 11, 页码: 36-39,115
王作为
;
张汝波
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/10/08
机器人体系结构
自主发育
自主感知分类
时空经验
基于虚拟机架构的操作系统监控技术研究
学位论文
硕士, 北京: 中国科学院研究生院, 2010
武炳正
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2010/06/08
虚拟机,Xen,自修改代码,监控
基于Xen的可信计算环境构建关键技术研究
学位论文
博士, 北京: 中国科学院研究生院, 2010
汪丹
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2010/06/04
可信计算
可信平台模块
可信虚拟
信任链
信任度
属性封装
©版权所有 ©2017 CSpace - Powered by
CSpace