Results 41 to 50 of about 27,184 (300)
Solidity Code Generation From UML State Machines in Model-Driven Smart Contract Development
IEEE Access, 2022 For the development of blockchain smart contracts, a structured approach based on the principles of the Model Driven Architecture can be beneficial and facilitate the implementation of smart contracts.
Mantas Jurgelaitis +2 more
doaj +1 more source
Blockchain-Enhanced Smart Contract for Cost-Effective Insurance Claims Processing
, 2023 Blockchain-enabled smart contracts have revolutionized the insurance industry due to their potential to streamline backend operations, mitigate fraudulent claims, and enhance data security and transparency.
Si, Yain-Whar +9 more
core +1 more source
Smart Contract Analysis Through Communication Abstractions [PDF]
, 2021 Smart contracts are programs that manage interactions between many users. Recently, Solidity smart contract have become a popular way to enforce financial agreements between untrusting users.
Wesley, Arthur
core
ACM Transactions on Software Engineering and Methodology, 2020 Smart contracts are automated or self-enforcing contracts that can be used to exchange assets without having to place trust in third parties. Many commercial transactions use smart contracts due to their potential benefits in terms of secure peer-to-peer transactions independent of external parties. Experience shows that many commonly used
Xiao Liang Yu +3 more
openaire +4 more sources
Translation certification for smart contracts
Science of Computer Programming, 2022 Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart contracts are self-contained pieces of software that control assets, which are often of high financial value, in an adversarial environment and, once committed to the blockchain, they cannot be changed ...
Jacco O. G. Krijnen +3 more
openaire +6 more sources
Energies, 2022 Blockchain technology is currently evolving rapidly, and smart contracts are the hallmark of the second generation of blockchains. Currently, smart contracts are gradually being used in power system networks to build a decentralized energy system ...
Ran Guo +4 more
doaj +1 more source
Qualitative Visual Analysis of Cross-chain Smart Contract Invocation Approaches
, 2022 This document demonstrates the visual qualitative analysis performed over the approaches systematically selected for inclusion in the study entitled, "Cross-Chain Smart Contract Invocations: A Systematic Multi-Vocal Literature Review"
Leymann, Frank +3 more
core +1 more source
Smart legal contract and its research progress
工程科学学报, 2022 With the advancement of blockchain, smart contracts have become increasingly popular. However, the uncertain status by law severely limits their practical applications.
Di WANG +6 more
doaj +1 more source
A Secure Smart Contract Generation Method Based on Timed Automata [PDF]
Jisuanji gongcheng, 2023 Blockchain is a decentralized computing paradigm with promising application prospects in many fields. Smart contracts are the key to blockchain applications; however, security issues with smart contracts often occur, occasionally leading to significant ...
Yang LIU, Shengjie ZHANG
doaj +1 more source
IEEE Access, 2022 A smart contract is a computer program which is automatically executed with some conditional statements such as “if/then”. Since smart contracts can include some vulnerable program codes, smart contract exploit was recently highlighted as ...
Seon-Jin Hwang +3 more
doaj +1 more source