×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [20]
内容类型
会议论文 [10]
学位论文 [6]
期刊论文 [4]
发表日期
2014 [2]
2013 [2]
2012 [1]
2011 [3]
2010 [4]
2008 [5]
更多...
学科主题
Artificial... [1]
Computer S... [1]
Computer S... [1]
Electrical... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共20条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Denial-of-service security attack in the continuous-time world
会议论文
34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014
Wang, Shuling (1)
;
Nielson, Flemming (2)
;
Nielson, Hanne Riis (2)
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2014/12/16
Hybrid systems
Denial-of-service
Safety verification
Inference system
Metrics for differential privacy in concurrent systems
会议论文
34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014
Xu, Lili (1)
;
Chatzikokolakis, Konstantinos (2)
;
Lin, Huimin (4)
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2014/12/16
上下文感知的分布式缓存数据重均衡方法
期刊论文
计算机工程与设计, 2013, 卷号: 34, 期号: 1, 页码: 207-214
朱鑫
;
蒲卫
;
秦秀磊
;
张文博
;
钟华
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2013/09/17
分布式缓存
数据重均衡
虚拟机
性能干扰
上下文感知
ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS
期刊论文
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013, 卷号: 24, 期号: 4, 页码: 419-444
Lomuscio, Alessio
;
Strulo, Ben
;
Walker, Nigel
;
Wu, Peng
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2014/12/16
Assume-guarantee reasoning
compositional model checking
distributed system
vrank: a context-aware approach to vulnerability scoring and ranking in soa
会议论文
2012 IEEE 6th International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, MD, United states, June 20, 2012 - June 22, 2012
Jiang Jianchun
;
Ding Liping
;
Zhai Ennan
;
Yu Ting
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2013/09/22
Information services
Service oriented architecture (SOA)
Software reliability
基于肢体动作的交互技术研究
学位论文
博士, 北京: 中国科学院研究生院, 2011
钟康
收藏
  |  
浏览/下载:33/0
  |  
提交时间:2011/06/08
计算机应用::计算机应用其他学科
the trajectory exposure problem in location-aware mobile networking
会议论文
8th IEEE International Conference on Mobile Ad-hoc and Sensor Systems, MASS 2011, Valencia, Spain, October 17
Ma Li
;
Liu Jiangchuan
;
Sun Limin
;
Karimi Ouldooz Baghban
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2013/10/08
Global system for mobile communications
Sensors
Trajectories
query expansion based on a semantic graph model
会议论文
Beijing, China
Jiang Xue
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2013/10/08
query expansion
semantic network
word graph
quantwiz: a scalable parallel software package for label-free protein quantification
会议论文
2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010, Changsha, China, September
Wang Jing
;
Zhang Yunquan
;
Zhang Xianyi
;
Sun Xiangzheng
;
Quanhu Sheng
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2011/03/31
Computation theory
High performance liquid chromatography
Mass spectrometry
Molecular biology
Parallel algorithms
Parallel architectures
Proteins
Scalability
Software packages
representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies
期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2010, 卷号: 37, 期号: 8, 页码: 6052-6060
Jiang Yuncheng
;
Tang Yong
;
Wang Ju
;
Tang Suqin
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2011/05/24
Knowledge representation and reasoning
Context-aware systems
Fuzzy ontologies
Distributed ontologies
Description logics
©版权所有 ©2017 CSpace - Powered by
CSpace