×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [6]
厦门大学 [3]
上海电子信息职业技术... [3]
北京大学 [2]
北京航空航天大学 [2]
自动化研究所 [2]
更多...
内容类型
期刊论文 [13]
会议论文 [4]
其他 [4]
学位论文 [1]
发表日期
2021 [1]
2019 [2]
2017 [2]
2016 [1]
2013 [1]
2012 [2]
更多...
学科主题
计算机科学技术 [1]
计算机科学技术::计... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共22条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Humans and Robots: A Mutually Inclusive Relationship in a Contagious World
期刊论文
International Journal of Automation and Computing, 2021, 卷号: 18, 期号: 2, 页码: 185-203
作者:
Akash Gupta
收藏
  |  
浏览/下载:29/0
  |  
提交时间:2021/04/22
COVID-19
coronavirus
telepresence
delivery robots
medical robots
基于 TPM 2.0 的协议设计与分析研究
学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:
王微谨
收藏
  |  
浏览/下载:192/0
  |  
提交时间:2019/07/03
可信计算
TPM 2.0
API 分析
形式化方法
匿名认证协议
Invited paper: Beagle: A new framework for smart contracts taking account of law
会议论文
Proceedings - 13th IEEE International Conference on Service-Oriented System Engineering, SOSE 2019, 10th International Workshop on Joint Cloud Computing, JCC 2019 and 2019 IEEE International Workshop on Cloud Computing in Robotic Systems, CCRS 2019, 2019-04-04
作者:
Tsai, W.-T.
;
Ge, N.
;
Jiang, J.
;
Feng, K.
;
He, J.
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/30
Cloud computing
Formal verification
Robotics
Systems engineering
Blockchains
Code development
Domain analysis
Execution framework
Legal contracts
Runtime Monitoring
Templates
Verification-and-validation
Contracts
Modeling Context-aware Legal Computing with Bigraphs
其他
2017-01-01
Yu, Lian
;
Hu, Chenjian
;
Li, Baijie
;
Tsai, Wei Tek
;
Hu, Jianbin
;
Deng, Enyan
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2017/12/03
legal computing
modeling and simulation
bigraphical reaction systems (BRS)
context-aware reasoning
binding and constraints
tracking and monitoring
LOGIC
Modeling Context-aware Legal Computing with Bigraphs
会议论文
11th IEEE International Symposium on Service-Oriented System Engineering (SOSE), San Francisco, CA, 2017-01-01
作者:
Yu, Lian
;
Hu, Chenjian
;
Li, Baijie
;
Tsai, Wei Tek
;
Hu, Jianbin
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/12/30
legal computing
modeling and simulation
bigraphical reaction systems (BRS)
context-aware reasoning
binding and constraints
tracking and monitoring
A Research for Cloud Computing Security Risk Assessment
期刊论文
The Open Cybernetics & Systemics Journal, 2016, 卷号: Vol.10, 页码: 210-217
作者:
Hua Tang
;
Jiejun Yang
;
Xiaofang Wang
;
Qi Zhou
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/03/04
Cloud computing security
Entropy weight method
Fuzzy set theory
Hierarchical holographic modeling
Risk assessment
Fair use legal system of computer software end-user
其他
2013-01-01
Zheng, Jingfang
;
Wang, Bin
;
王斌
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2015/07/22
Computer software
Education computing
Engineering education
Intellectual property
Software engineering
A GPU-Based Parallel Genetic Algorithm for Generating Daily Activity Plans
期刊论文
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2012, 卷号: 13, 期号: 3, 页码: 1474-1480
作者:
Wang, Kai
;
Shen, Zhen
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2015/08/12
Artificial societies-Computational experiments-Parallel execution (ACP)
artificial transportation system (ATS)
compute unified device architecture (CUDA)
daily activity plan
genetic algorithm (GA)
graphics processing unit (GPU)
microsimulation
offline rfid grouping proofs with trusted timestamps
会议论文
11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom-2012, Liverpool, United kingdom, June 25, 2012 - June 27, 2012
Ma Cunqing
;
Lin Jingqiang
;
Wang Yuewu
;
Shang Ming
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2013/09/22
Ubiquitous computing
Law philosophy analysis: Application of medical instruments for direct reading and influence of the activities of cranial nerve
其他
2011-01-01
Xuyang, Wu
;
Yuzhuo, Zou
;
吴旭阳
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2015/07/22
Education computing
Laws and legislation
Ontology
©版权所有 ©2017 CSpace - Powered by
CSpace