Results 41 to 50 of about 1,252,085 (249)
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
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
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
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2020 Blockchain systems have received much attention and promise to revolutionize many services. Yet, despite their popularity, current blockchain systems exist in isolation, that is, they cannot share information. While interoperability is crucial for blockchain to reach widespread adoption, it is difficult to achieve due to differences among existing ...
Enrique Fynn +2 more
openaire +2 more sources
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
The Economics of Smart Contracts
CoRR, 2019 Ethereum is a distributed blockchain that can execute smart contracts, which inter-communicate and perform transactions automatically. The execution of smart contracts is paid in the form of gas, which is a monetary unit used in the Ethereum blockchain.
Kirk Baird +4 more
openaire +2 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 +9 more sources
Karakteristik Smart Contract [PDF]
, 2023 Smart contract merupakan perjanjian elektronik yang dituliskan dalam kode komputer dan dioperasikan dalam suatu sistem yang bernama blockchain yang dapat menjalankan dan menegakkan ketentuan-ketentuan dalam perjanjian tersebut secara otomatis.
Mustofa, Fatwa Fitrilia
core +2 more sources
Design and implementation of a smart-contract voting system based on zero-knowledge proof
工程科学学报, 2023 As a legally binding computer program, smart contracts are stored on the blockchain and can be automatically executed according to the contract terms.
Hong-jian YIN +4 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