×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [19]
内容类型
期刊论文 [8]
学位论文 [7]
会议论文 [4]
发表日期
2016 [1]
2014 [3]
2013 [2]
2012 [1]
2011 [2]
2010 [1]
更多...
学科主题
Computer S... [1]
Computer S... [1]
计算机科学技术基础学... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共19条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
An Autonomous Information Collection and Dissemination Model for Large-Scale Urban Road Networks
期刊论文
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2016, 卷号: 17, 期号: 4, 页码: 1085-1095
Zhang, Q
;
Zheng, H
;
Lan, JH
;
An, JW
;
Peng, H
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2016/12/09
Ad hoc
intelligent vehicle systems & telematics
intelligent transportation system (ITS)
traffic information
traffic information systems
SRLtoRadl生成系统及其范畴论语义
期刊论文
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶
;
薛锦云
;
左正康
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2014/12/16
结构化需求语言
形式化软件规约
自动生成系统
高可靠
范畴论语义
structural requirement language
formal software specification
automatic generation system
high reliability
category semantics
基于SSH框架的java代码自动生成
期刊论文
计算机系统应用, 2014, 期号: 9, 页码: 72-77
丁亮
;
许舒人
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
软件复用
SSH框架
代码自动生成
模板
SWT框架
software reusing
SSH framework
code automatic generation
templet
SWT framework
Communication-oriented performance optimisation during code generation from simulink models
期刊论文
International Journal of Embedded Systems, 2014, 卷号: 6, 期号: 2-3, 页码: 124-134
作者:
Yan, Rongjie
;
Yu, Min
;
Huang, Kai
;
Zhang, Xiaomeng
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2014/12/16
具体反例生成与图形化显示系统
期刊论文
计算机系统应用, 2013, 期号: 11, 页码: 51-57
信贤卫
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2014/12/16
时间自动机
模型检测
LTL性质
反例生成
模拟器
timed automata
model checking
LTL properties
counterexample generation
simulator
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
一种模型驱动的笔式表单界面软件开发方法
期刊论文
计算机研究与发展, 2012, 卷号: 49, 期号: 12, 页码: 2671-2685
樊银亭
;
滕东兴
;
马翠霞
;
杨海燕
;
戴国忠
;
王宏安
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2013/09/17
笔交互
电子表单
模型驱动
表单用户界面
开发方法
MDA
基于动态污点传播的恶意代码分析研究
学位论文
博士, 北京: 中国科学院研究生院, 2011
刘豫
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2011/06/13
动态污点传播
恶意代码分析
污点传播流图
协议逆向
攻击特征生成
可信计算技术研究
期刊论文
计算机研究与发展, 2011, 卷号: 48, 期号: 8, 页码: 1332-1349
冯登国
;
秦宇
;
汪丹
;
初晓博
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2011/10/10
可信计算
可信平台模块
可信密码模块
信任链
远程证明
可信计算测评Automatic test pattern generation
Industry
Network security
Research
Societies and institutions
Specifications
SRL→Radl生成系统及其相关理论研究
学位论文
博士, 北京: 中国科学院研究生院, 2010
王昌晶
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2012/06/20
结构化需求语言
形式化软件规约
生成系统
范畴论
规约相对正确性
©版权所有 ©2017 CSpace - Powered by
CSpace