×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [72]
内容类型
会议论文 [38]
学位论文 [22]
期刊论文 [12]
发表日期
2019 [3]
2016 [1]
2015 [1]
2014 [5]
2013 [6]
2012 [11]
更多...
学科主题
计算机软件::操作系... [3]
Computer S... [2]
计算机科学技术 [2]
计算机科学技术基础学... [2]
计算机系统结构::计... [2]
计算机软件::程序设... [2]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共72条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
An Event Based Detection of Internal Threat to Information System
会议论文
5th International Conference on Harmony Search, Soft Computing and Applications, ICHSA 2019, Kunming, China, 2019-7-20 ~ 2019-7-22
作者:
Li, Zheng
;
Liu, Kun
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2021/01/05
Internal threat
Event detection
Rule engine
Complex event
基于 TPM 2.0 的协议设计与分析研究
学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:
王微谨
收藏
  |  
浏览/下载:192/0
  |  
提交时间:2019/07/03
可信计算
TPM 2.0
API 分析
形式化方法
匿名认证协议
Wine兼容关键代码的检测及应用方法研究
学位论文
硕士, 北京: 中国科学院大学, 2019
作者:
黄译萱
收藏
  |  
浏览/下载:83/0
  |  
提交时间:2019/06/18
Windows应用兼容
Wine
代码克隆检测
SandroidSat-1卫星姿态确定系统研究
学位论文
硕士, 北京: 中国科学院研究生院, 2016
赵晶晶
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2016/06/01
纳方星
手机卫星
姿态确定系统
卡尔曼滤波器
扩展卡尔曼滤波器
用于内存安全监测的轻量虚拟机监控代理设计与实现
学位论文
硕士, 北京: 中国科学院研究生院, 2015
马乐乐
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2015/06/26
虚拟机内省
Xen Mini-OS
内存监控
完整性度量
入侵检测
UbiSpoon: Pervasive monitoring of nervous system diseases through daily life
会议论文
32nd Annual ACM Conference on Human Factors in Computing Systems, CHI EA 2014, Toronto, ON, Canada, April 26, 2014 - May 1, 2014
Chen, Yineng (1)
;
Wang, Hongan (1)
;
Tian, Feng (1)
;
Zeng, Xinda (2)
;
He, Yue (1)
;
Jiang, Chaoci (1)
;
Zhang, Xiaolong (3)
;
Zhu, Yicheng (4)
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2014/12/16
The theory and practice in the evolution of trusted computing
期刊论文
CHINESE SCIENCE BULLETIN, 2014, 卷号: 59, 期号: 32, 页码: 4173-4189
Feng, Dengguo
;
Qin, Yu
;
Feng, Wei
;
Shao, Jianxiong
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2014/12/16
Trusted computing
TPM
TCM
Direct anonymous attestation
Trusted network connection
Trust chain
Compensation by design
期刊论文
Formal Aspects of Computing, 2014, 卷号: 26, 期号: 4, 页码: 623-676
Liu, Xi (1)
;
Yang, Shaofa (2)
;
Sanders, J.W. (3)
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2014/12/16
Service computing
Long-running transaction
Compensation
Temporal logic
Polymorphic functions with set-theoretic types - Part 1: Syntax, semantics, and evaluation
会议论文
41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, United states, January 22, 2014 - January 24, 2014
Castagna, Giuseppe (1)
;
Nguyen, Kim (2)
;
Xu, Zhiwu (1)
;
Im, Hyeonseung (2)
;
Lenglet, Sergueï
;
(4)
;
Padovani, Luca (5)
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
Types
polymorphism
XML
intersection types
A sketch-based approach for interactive organization of video clips
期刊论文
ACM Transactions on Multimedia Computing, Communications and Applications, 2014, 卷号: 11, 期号: 1
Liu, Yong-Jin (1)
;
Ma, Cui-Xia (2)
;
Fu, Qiufang (3)
;
Fu, Xiaolan (3)
;
Qin, Sheng-Feng (4)
;
Xie, Lexing (5)
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2014/12/16
Design
Algorithms
Performance
Sketching interface
video organization
sketch annotation
context-aware recommendation
©版权所有 ©2017 CSpace - Powered by
CSpace