State-of-the-Art and Future Trends of Blockchain Based on DAG Structure
暂无分享,去创建一个
[1] C.-H. Luke Ong,et al. More effective interpolations in software model checking , 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
[2] Zhenhua Duan,et al. Making CEGAR More Efficient in Software Model Checking , 2014, IEEE Transactions on Software Engineering.
[3] Antonio A. Sánchez-Ruiz-Granados,et al. Betfunding: A Distributed Bounty-Based Crowdfunding Platform over Ethereum , 2016, DCAI.
[4] Zhenhua Duan,et al. Detecting spurious counterexamples efficiently in abstract model checking , 2011, 2013 35th International Conference on Software Engineering (ICSE).
[5] Tiago M. Fernández-Caramés,et al. A Review on the Use of Blockchain for the Internet of Things , 2018, IEEE Access.
[6] Wei Xu,et al. Scaling Nakamoto Consensus to Thousands of Transactions per Second , 2018, ArXiv.
[7] Eric Filiol,et al. On blockchain security and relevant attacks , 2018, 2018 IEEE Middle East and North Africa Communications Conference (MENACOMM).
[8] Liang Zhao,et al. RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
[9] Anthony E. Krzesinski,et al. Increased block size and Bitcoin blockchain dynamics , 2017, 2017 27th International Telecommunication Networks and Applications Conference (ITNAC).
[10] Ying Zhong,et al. Blockchain technology in the internet plus: The collaborative development of power electronic devices , 2017, IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society.
[11] Krishnendu Chatterjee,et al. Secure Credit Reporting on the Blockchain , 2018, 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData).
[12] Li Zhang,et al. A decision procedure for propositional projection temporal logic with infinite models , 2008, Acta Informatica.
[13] Robbert van Renesse,et al. Efficient reconciliation and flow control for anti-entropy protocols , 2008, LADIS '08.
[14] Zhan Shu,et al. Blockchain Enhanced Emission Trading Framework in Fashion Apparel Manufacturing Industry , 2018 .