QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 发表日期：2019    内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 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