Results 111 to 120 of about 27,305 (300)
ContractTrace: Retracing Smart Contract Versions for Security Analyses [PDF]
peer reviewedDue to the inherent immutability of blockchain technology, smart contract updates require their deployment at new addresses rather than modifying existing ones, thus fragmenting version histories and creating critical blind spots for ...
LIU, Kui +6 more
core
Security, Performance, and Applications of Smart Contracts: A Systematic Survey
IEEE Access, 2019 Blockchain is the promising technology of recent years, which has attracted remarkable attention in both academic studies and practical industrial applications.
Sara Rouhani, Ralph Deters
doaj +1 more source
Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models
IEEE Access, 2020 In the last decade, smart contract security issues lead to tremendous losses, which has attracted increasing public attention both in industry and in academia.
Peng Qian +4 more
doaj +1 more source
Smart Contracts - Dumb Idea [PDF]
IEEE Internet Computing, 2017 Increasingly in e-commerce, smart contracts have relied on the code as the contract. But code can be hacked and fail, leaving multiple parties potentially exposed to legal gray areas, great financial loss, and little recourse. Here, Kieron O'Hara considers the ramifications of such contracts by exploring what happened when the Ethereum platform was ...
openaire +1 more source
From Rigid to Soft Robotic Approaches for Neuroendoscopy
Advanced Robotics Research, EarlyView.Robotic assistance has had minimal impact on deep intraventricular surgeries, where small‐scale, precision, and reduced invasiveness can contribute to improved patient outcomes. Emerging technologies in rigid, soft, and hybrid robotics are reviewed to identify the most promising mechanisms for deep brain navigation in addition to an attempt to identify
Kieran Gilday +3 more
wiley +1 more source
A TECHNICAL REVIEW ON SMART CONTRACT PLATFORMS, LANGUAGES AND APPLICATIONS IN BLOCKCHAIN [PDF]
Proceedings on Engineering SciencesBlockchain is the technology which greatly attracted the industries as well as the academics of the educational system because of its variety of applications and innovations around the globe.
Gopal Krishan Prajapat +2 more
doaj +1 more source
On the Prediction of Smart Contracts’ Behaviours [PDF]
, 2019 Smart contracts are pieces of software stored on the blockchain that control the transfer of assets between parties under certain conditions. In this paper we analyze the bahaviour of smart contracts and the interaction with external actors in order to maximize objective functions.
Laneve, Cosimo +2 more
openaire +2 more sources
Advanced Robotics Research, EarlyView.A codesign multiobjective optimization framework was developed to enhance the morphology and controller of a snake‐like robot driven by artificial muscles. It improved planar locomotion, agility, and power efficiency. The approach optimized link geometry and controller gains, revealing that shorter muscles near joints and longer linkages maximize ...
Ayla Valles, Mahdi Haghshenas‐Jaryani
wiley +1 more source
Smart contract e 'contratto giusto' [PDF]
, 2021 Il saggio, superando lo stampo della soggettività giuridica/rappresentanza della “macchina contraente”, inquadra il fenomeno dello smart contract nella categoria del fatto-contratto.
Longobucco
core
Belief game: Verifying smart contract functionality in player dynamic interactions
Engineering Science and Technology, an International JournalSmart contracts, being security-critical code, facilitate consensus among players and ensure secure and accurate value transfer, and formal verification is necessary to guarantee functional correctness of contracts. Game theory serves as one of the tools
Xu Liu, Junwu Zhu
doaj +1 more source