QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 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   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   Formal Modeling and Verification of Smart Contracts 会议论文 PROCEEDINGS OF 2018 7TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2018), 2018-01-01 作者:  Bai, Xiaomin;  Cheng, Zijing;  Duan, Zhangbo;  Hu, Kai 收藏  |  浏览/下载：17/0  |  提交时间：2019/12/30 Smart contracts  Formal methods  Model checking  Modeling  Formal Verification  SPIN   ContractFuzzer: Fuzzing smart contracts for vulnerability detection 会议论文 ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering 作者:  Jiang, B.;  Liu, Y.;  Chan, W.K. 收藏  |  浏览/下载：40/0  |  提交时间：2019/12/30 Blockchain  Losses  Software engineering  Ethereum  Fuzzer  Fuzzing  Smart contracts  Test oracles  Vulnerability  Security of data   Smart-Contract Execution with Concurrent Block Building 会议论文 11th IEEE International Symposium on Service-Oriented System Engineering (SOSE), San Francisco, CA, 2017-04-06 作者:  Yu, Lian;  Tsai, Wei-Tek;  Li, Guannan;  Yao, Yafe;  Hu, Chenjian 收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30 blockchains  smart contracts  permissioned blockchain  concurrent block building   The Application of Block Chain Technology in P2P 会议论文 3rd International Symposium - Management, Innovation and Development (MID2016), DEC 10-11, 2016 作者:  Shen Jun;  Gao Jiatong;  Yu Wanlin 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/31 Block chain  P2P lending  Distributed Ledgers  Smart Contracts