Results 111 to 120 of about 27,184 (300)
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
Advanced Materials Technologies, EarlyView.A custom shape memory polymer material selection process relates quantitative application criteria (e.g., compression garment yarns) to material characterization information. The selected materials are manufactured into yarn geometries, which expand the design space by creating structural stress‐strain profiles beyond the nominal material stress‐strain
Michaela Andrews +2 more
wiley +1 more source
A smart-contract-based access control framework for cloud smart healthcare system
, 2021 In current healthcare systems, electronic medical records (EMRs) are always located in different hospitals and controlled by a centralized cloud provider.
Yong Xiang (587134) +4 more
core
Smart contracts : new technology of contract law?
, 2020 The article concerns selected issues regarding smart contracts from the perspective of private law, in particular the concept of a contract, determination of its content, principles of performance and breach of an obligation.
Behan, Adam, Pecyna, Marlena
core +1 more source
Consolidating Smart Contracts with Behavioral Contracts
Proceedings of the ACM on Programming LanguagesEnsuring the reliability of smart contracts is of vital importance due to the wide adoption of smart contract programs in decentralized financial applications. However, statically checking many rich properties of smart contract programs can be challenging.
Guannan Wei 0001 +4 more
openaire +1 more source
Dynamic Current Routing in Conductive Liquid Crystal Elastomers for Complex Deformation Actuators
Advanced Materials Technologies, EarlyView.This work introduces a novel actuation control strategy in which electrical stimulation generates localized Joule heating in conductive liquid crystal elastomer (LCE) surfaces, enabling complex 3D deformations from a single homogeneous surface without preprogramming.
Gloria PouWai Lei +2 more
wiley +1 more source
Probelamatika Hukum Terjadinya Kesepakatan pada Smart Contract
, 2023 Penelitian ini berjudul “Problematika Hukum Terjadinya Kesepakatan Pada Smart Contract”. Latar belakang penelitian ini adalah adanya perkembangan teknologi dimana seorang ahli hukum dan juga ahli komputer menciptakan sebuah kontrak elektronik bernama ...
Riyanto, Michael
core
, 2023 In this concept, a smart contract distributes software accessed via the blockchain and manages execution results to include only confirmed execution results in the ...
Shashank Shekher Tripathi
core +1 more source
Magnetic Textiles: A Review of Materials, Fabrication, Properties, and Applications
Advanced Materials Technologies, EarlyView.Magnetic textiles (M‐textiles) are emerging as a programmable materials platform that merges magnetic matter with hierarchical textile structures. This article consolidates magnetic material classes, textile architectures, and fabrication and magnetization strategies, revealing structure–property–function relationships that govern magneto‐mechanical ...
Li Ke +3 more
wiley +1 more source
Smart contract vs. traditional contract.
, 2023 Smart contracts (SC) are software programs that reside and run over a blockchain. The code can be written in different languages with the common purpose of implementing various kinds of transactions onto the hosting blockchain.
Marco Ortu (9161568) +3 more
core +1 more source