Results 71 to 80 of about 232,310 (307)
LEGAL NATURE OF A SMART-CONTRACT AND ISSUES OF ITS APPLICATION IN THE FIELD OF DIGITAL ASSETS
Економіка та правоThe article looks into the concept and legal nature of smart contracts, as well as the issues that arise during the use of smart contracts in the field of digital assets. The technical and legal aspects of the concept of a smart contract are considered.
К.Г. Некіт
doaj +1 more source
A Survey on Security Verification of Blockchain Smart Contracts
IEEE Access, 2019 A smart contract is an agreement between two or more parties, which is executed by the computer code. The code does the execution without giving either party the ability to back out, so it ensures the trustless execution. The smart contract is one of the
Jing Liu, Zhentian Liu
doaj +1 more source
Behavioral simulation for smart contracts
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020 While smart contracts have the potential to revolutionize many important applications like banking, trade, and supply-chain, their reliable deployment begs for rigorous formal verification. Since most smart contracts are not annotated with formal specifications, general verification of functional properties is impeded.
Beillahi, Sidi Mohamed +3 more
openaire +3 more sources
A Semantic Framework for the Security Analysis of Ethereum smart contracts
, 2018 Smart contracts are programs running on cryptocurrency (e.g., Ethereum) blockchains, whose popularity stem from the possibility to perform financial transactions, such as payments and auctions, in a distributed environment without need for any trusted ...
A Biryukov +6 more
core +2 more sources
Optimizing (1‐x) BiFeO3‐xCaTiO3 Perovskites: A Pathway to Efficient Flexible Energy Storage
Advanced Functional Materials, EarlyView.Perovskite materials, like BFO CTO, are popular due to their high conductivity, low cost, and wide availability. In this work a symmetric electrochemical cell based on BFO‐CTO shows a charge of 3.356 C.cm⁻2, giving a specific capacitance of 2.79 mF.cm⁻2 at 1 mV.s⁻2.
Febin Paul +7 more
wiley +1 more source
LEGAL ISSUES FACED BY SMART CONTRACTS FROM THE PERSPECTIVE OF CONVENTIONAL CONTRACTS
UUM Journal of Legal StudiesIn the realm of law, technology is utilized to cope with the influx of smart contracts to replace traditional contracts that govern contractual dynamics.
Ghassan Adhab Atiyah +2 more
doaj +1 more source
On the Feasibility of Decentralized Derivatives Markets
, 2017 In this paper, we present Velocity, a decentralized market deployed on Ethereum for trading a custom type of derivative option. To enable the smart contract to work, we also implement a price fetching tool called PriceGeth.
Adham, Moe +3 more
core +1 more source
Advanced Functional Materials, EarlyView.Many known diseases arise from dysregulated gene expression, and differentially expressed genes can serve as biomarkers to distinguish diseased cells from healthy tissues. In this study, reconfigurable nucleic acid nanoparticles (recNANPs) are introduced that can detect overexpressed cancer biomarkers and subsequently release RNAi inducers to silence ...
Yelixza I. Avila +7 more
wiley +1 more source
Smart contract model for complex reality transaction [PDF]
International Journal of Crowd Science, 2019 Purpose - The application of smart contract can greatly reduce transaction costs and improve transaction efficiency. The existing smart contract are expensive, single application scenario and inefficient.
Tianyu Feng +3 more
doaj +1 more source
Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking
Systems, 2022 Port supply chains play a very important role in the process of economic globalization. Lack of trust of the mechanism is the main factor in restricting the development of port supply chains.
Yang Liu +3 more
doaj +1 more source