×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [33]
内容类型
会议论文 [15]
期刊论文 [15]
学位论文 [3]
发表日期
2014 [2]
2013 [4]
2012 [1]
2011 [4]
2010 [3]
2008 [2]
更多...
学科主题
Computer S... [4]
Artificial... [3]
Computer S... [1]
Computer S... [1]
Computer S... [1]
Engineerin... [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
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
SRLtoRadl生成系统及其范畴论语义
期刊论文
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶
;
薛锦云
;
左正康
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2014/12/16
结构化需求语言
形式化软件规约
自动生成系统
高可靠
范畴论语义
structural requirement language
formal software specification
automatic generation system
high reliability
category semantics
Formal analysis of TPM2.0 key management APIs
期刊论文
CHINESE SCIENCE BULLETIN, 2014, 卷号: 59, 期号: 32, 页码: 4210-4224
Zhang, Qianying
;
Zhao, Shijun
;
Qin, Yu
;
Feng, Dengguo
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2014/12/16
Trusted computing
TPM2.0
Security APIs
Key management
Secrecy
Formal analysis
面向离散事件仿真系统的分布式计算框架建模
学位论文
硕士, 北京: 中国科学院研究生院, 2013
王章虎
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2013/05/28
离散事件仿真+分布式计算+框架+Hadoop+MapReduce
Radl 形式规格说明相对正确性研究
期刊论文
Journal of Software, 2013, 卷号: 24, 期号: 4
Wang Changjing
;
Xue Jinyun
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2013/09/17
形式规格说明
相对正确性
确认
扩展的逻辑系统
辅助证明算法
基于问题模式的形式化软件规格说明生成方法
期刊论文
计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360
王昌晶
;
罗海梅
;
左正康
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2013/09/17
形式化软件规格说明
生成方法
问题模式
模型精化演算
算法程序
assumption generation for asynchronous systems by abstraction refinement
会议论文
9th International Symposium on Formal Aspects of Component Software, FACS 2012, Mountain View, CA, United states, September 12, 2012 - September 14, 2012
Yang Qiusong
;
Clarke Edmund M.
;
Komuravelli Anvesh
;
Li Mingshu
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2013/09/22
Learning algorithms
Model checking
design and implementation of earth operating system
期刊论文
Chinese Journal of Electronics, 2012, 卷号: 21, 期号: 1, 页码: 33-36
Liang Hongliang
;
Li Shoupeng
;
Dong Shouji
;
Yuan Chunyang
;
Niu Shaozhang
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/09/17
Co基合金
热腐蚀
酸性熔融反应
活性氧化反应
a kind of attack to free roaming mobile agent data integrity protection protocol
期刊论文
Ruan Jian Xue Bao/Journal of Software, 2011, 卷号: 22, 期号: UPPL. 2, 页码: 9-16
Ma Heng-Tai
;
Li Peng-Fei
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2013/10/08
Mobile agents
combinatorial optimization problem reduction and algorithm derivation
期刊论文
Ruan Jian Xue Bao/Journal of Software, 2011, 卷号: 22, 期号: 9, 页码: 1985-1993
Zheng Yu-Jun
;
Xue Jin-Yun
;
Ling Hai-Feng
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/10/10
Algorithms
Combinatorial optimization
Optimization
组合优化问题简约与算法推演
期刊论文
Journal of Software, 2011, 卷号: 22, 期号: 9, 页码: 1985-1993
郑宇军
;
薛锦云
;
凌海风
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2013/10/08
组合优化问题
问题简约
算法推演
正确性证明
©版权所有 ©2017 CSpace - Powered by
CSpace