×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京航空航天大学 [6]
自动化研究所 [4]
西安交通大学 [1]
山东大学 [1]
上海大学 [1]
沈阳自动化研究所 [1]
更多...
内容类型
会议论文 [14]
发表日期
2021 [1]
2019 [4]
2018 [7]
2017 [1]
2016 [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共14条,第1-10条
帮助
限定条件
内容类型:会议论文
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
A distributed integrated energy trading solution
会议论文
Nanjing, China, April 23-25, 2021
作者:
Dong JY(董静雅)
;
Song CH(宋纯贺)
;
Zheng ZY(郑泽宇)
;
Zhang T(张涛)
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2021/12/13
blockchain
integrated energy trading
peer-to-peer
smart contracts
A Novel Blockchain Oracle Implementation Scheme Based on Application Specific Knowledge Engines
会议论文
Zhengzhou, China, Nov. 6-7, 2019
作者:
Wang, Shuai
;
Lu, Hao
;
Sun, Xingkai
;
Yuan, Yong
;
Wang, Feiyue
收藏
  |  
浏览/下载:37/0
  |  
提交时间:2019/11/12
A Fuzz Testing Service for Assuring Smart Contracts
会议论文
19th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2019, Sofia, Bulgaria, 2019-07-22
作者:
Mei, Xiupei
;
Ashraf, Imran
;
Jiang, Bo
;
Chan, W.K.
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/30
Beagle: A New Framework for Smart Contracts Taking Account of Law
会议论文
2019 13TH IEEE INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED SYSTEM ENGINEERING (SOSE) / 10TH INTERNATIONAL WORKSHOP ON JOINT CLOUD COMPUTING (JCC) / IEEE INTERNATIONAL WORKSHOP ON CLOUD COMPUTING IN ROBOTIC SYSTEMS (CCRS), 2019-01-01
作者:
Tsai, Wei-Tek
;
Ge, Ning
;
Jiang, Jiaying
;
Feng, Kevin
;
He, Juan
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/30
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
Optimal Bidding Strategy of GENCOs with Volatile Wind Power and Battery Swapping Station
会议论文
作者:
Gong, Naiwei
;
Luo, Xianjue
;
Ma, Honglian
;
Wang, Qi
;
Chen, Danyang
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/11/19
Bilateral contracts
Day-ahead scheduling
Electricity prices
Generation companies
Mixed integer linear program
Optimal bidding strategy
Two-stage stochastic programs
Uncertain informations
A Preliminary Research of Prediction Markets Based on Blockchain Powered Smart Contracts
会议论文
Halifax, Canada, Jul. 30-Aug. 3
作者:
Wang, Shuai
;
Ni, Xiaochun
;
Yuan, Yong
;
Wang, Xiao
;
Ouyang, Liwei
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2019/11/12
A preliminary research of prediction markets based on blockchain powered smart contracts
会议论文
Halifax, Canada, 30 Jul.- 3 Aug., 2018.
作者:
Shuai Wang
;
Xiaochun Ni
;
Yong Yuan
;
Xiao Wang
;
Liwei Ouyang
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2018/10/10
An overview of smart contract: Architecture, applications, and future trends
会议论文
Changshu, China, Jun. 26-29, 2018.
作者:
收藏
  |  
浏览/下载:44/0
  |  
提交时间:2018/10/10
An automatic pattern recognition value system with listed banks based on blockchain
会议论文
PROCEEDINGS OF 2018 IEEE 3RD ADVANCED INFORMATION TECHNOLOGY, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (IAEAC 2018), 2018-01-01
作者:
Liu, Xiang[1]
;
Yu, Tiantian[2]
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2019/04/22
value system
blockchain
smart contracts
token mechanism
listed banks
©版权所有 ©2017 CSpace - Powered by
CSpace