Results 231 to 240 of about 19,667 (260)
Some of the next articles are maybe not open access.
Aplos: Smart Contracts Made Smart
2019Smart contract is a programming interface to interact with the underlying blockchain storage models. It is a database abstraction layer for blockchain. Existing smart contract platforms follow the imperative style programming model since states are shared.
Eranga Bandara +3 more
openaire +2 more sources
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022Shang-Wei Lin, Palina Tolmach
exaly
Smart Contract Development: Challenges and Opportunities
IEEE Transactions on Software Engineering, 2021Baowen Xu +2 more
exaly
Transaction-based classification and detection approach for Ethereum smart contract
Information Processing and Management, 2021Xiaolei Liu, Ting Chen, Xiaosong Zhang
exaly
Security Threat Mitigation for Smart Contracts: A Comprehensive Survey
ACM Computing Surveys, 2023Qiben Yan, Nikolay Ivanov, Chenning Li
exaly
Legally Enforceable Smart-Contract Languages: A Systematic Literature Review
ACM Computing Surveys, 2022Vipin Deval +2 more
exaly
Intelligent contracts: Making smart contracts smart for blockchain intelligence
Computers and Electrical Engineering, 2022Liwei Ouyang +2 more
openaire +1 more source