×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [77]
内容类型
期刊论文 [44]
会议论文 [24]
学位论文 [9]
发表日期
2017 [1]
2016 [5]
2014 [7]
2013 [7]
2012 [19]
2011 [12]
更多...
学科主题
Computer S... [8]
Computer S... [5]
Informatio... [2]
计算机软件::软件工... [2]
Computer S... [1]
Mathematic... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共77条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
稳定的超弹性材料设计方法研究
学位论文
硕士, 北京: 中国科学院大学, 2017
作者:
闫文远
收藏
  |  
浏览/下载:33/0
  |  
提交时间:2017/07/08
计算机图形学
基于物理仿真
有限元方法
材料设计
材料稳定性
Unperturbed Schelling Segregation in Two or Three Dimensions
期刊论文
JOURNAL OF STATISTICAL PHYSICS, 2016, 卷号: 164, 期号: 6, 页码: 1460-1487
Barmpalias, G
;
Elwes, R
;
Lewis-Pye, A
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2016/12/09
Schelling segregation
Algorithmic game theory
Complex systems
Non-linear dynamics
Ising model
Spin glass
Completeness of Hoare logic with inputs over the standard model
期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
Xu, ZW
;
Sui, YF
;
Zhang, WH
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2016/12/13
Hoare logic
Peano arithmetic
The standard model
Computation
Arithmetical definability
Logical completeness
Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets
期刊论文
COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 10, 页码: 1563-1580
Hu, X
;
Jiao, L
;
Li, ZJ
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2016/12/09
IEEE 802
11
DCF
coloured Petri nets
performance modelling
simulation
Security analysis of a privacy-preserving decentralized ciphertext-policy attribute-based encryption scheme
期刊论文
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2016, 卷号: 28, 期号: 4, 页码: 1237-1245
Wang, MQ
;
Zhang, ZF
;
Chen, C
收藏
  |  
浏览/下载:28/0
  |  
提交时间:2016/12/09
privacy-preserving
decentralized attribute-based encryption
security analysis
Full-feedback contention window adaption for IEEE 802.11 WLANs
期刊论文
JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2016, 卷号: 27, 期号: 1, 页码: 90-98
Zhou, X
;
Zheng, CW
;
Liao, MX
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2016/12/13
802.11
contention window
backoff
model
feedback
面向移动终端用户的服务组合关键技术研究
学位论文
博士, 北京: 中国科学院大学, 2014
白琳
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2014/05/30
移动应用
服务组合
以用户为中心
目标分析
上下文感知
Workload-aware anomaly detection for web applications
期刊论文
Journal of Systems and Software, 2014, 卷号: 89, 期号: 1, 页码: 19-32
Wang, Tao (1)
;
Wei, Jun (1)
;
Zhang, Wenbo (2)
;
Zhong, Hua (2)
;
Huang, Tao (1)
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2014/12/16
Anomaly detection
Web applications
Local outlier factor
一种基于隐语义概率模型的个性化Web服务推荐方法
期刊论文
计算机研究与发展, 2014, 卷号: 51, 期号: 8, 页码: 1781-1793
胡堰
;
彭启民
;
胡晓惠
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2014/12/16
Web服务推荐
个性化
隐语义概率模型
指标偏好
期望极大算法
Web service recommendation
personalization
latent semantic probabilistic model
criteria preference
expectation maximization algorithm
支持用户撤销的属性认证密钥协商协议
期刊论文
通信学报, 2014, 卷号: 35, 期号: 5, 页码: 33-43
李强
;
冯登国
;
张立武
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2014/12/16
认证
密钥协商
基于属性
密钥撤销
标准模型
authentication
key agreement
attribute-based
key revocation
standard model
©版权所有 ©2017 CSpace - Powered by
CSpace