Results 101 to 110 of about 1,064,987 (290)
HaoxianChen/declarative-smart-contracts: ICSE'24
<p>Version for ICSE'24 publication "Verifying Declarative Smart Contracts".</p ...
Haoxian Chen
core +1 more source
Breaking the Surface: Buoyant Metal–Polymer Open–Cell Hybrid Lattice Metamaterials
Advanced Materials, EarlyView.Open‐cell metal–polymer lattice metamaterials that defy sinking. (a) Injection process of the polyurethane (PU) foam into the titanium (Ti‐6Al‐4V) hollow‐strut lattice creating the open‐cell Ti‐6Al‐4V+PU hybrid lattice, (b) flotation test of a hybrid lattice specimen, and (c) a digital representation and experimental validation of a marine buoy ...
Jordan Noronha +7 more
wiley +1 more source
Radiative Thermal Management for Extreme Environments: Mechanisms and Design Strategies
Advanced Materials, EarlyView.In this review, we discuss the fundamental mechanisms of radiative cooling and solar heating, material and structural design strategies, hybrid approaches integrating additional heat transfer pathways, and durability‐oriented designs addressing environmental stresses.
Hyung Rae Kim +5 more
wiley +1 more source
CybersecurityWhile Ethereum smart contracts provide users with transfer and transaction services, vulnerabilities in smart contracts are constantly damaging users’ property and user experience.
Chen Yang Lin, Hui Zhao, Jing Han Liu
doaj +1 more source
, 2017 ‘Smart’ contracts could be the next big thing in construction technology but will developers learn the lessons of BIM implementation?
Mason, Jim
core
A Java Framework for Smart Contracts
, 2020 This article defines a framework for programming, in Java, smart contracts over blockchain. The framework consists of a restricted runtime and of an instrumentation procedure for classes that need to be persisted to blockchain, for payable ...
Fausto Spoto
core +1 more source
Advances in Bio‐Integrated Edge Computing Systems for Smart and Connected Health
Advanced Materials, EarlyView.This review explores advances in bio‐integrated edge computing for healthcare, focusing on co‐designing computing, sensing, and energy strategies to overcome integration and power challenges for optimized, decentralized operation. ABSTRACT Recent advances in bio‐integrated healthcare technologies have enabled continuous, high‐resolution monitoring and ...
Gyuwon Kim +4 more
wiley +1 more source
A model-driven approach for secure smart contracts in Corda R3
, 2023 LAUREA MAGISTRALEI contratti sono uno strumento ampiamente utilizzato per regolare l'interazione tra gli individui e garantire i loro diritti e doveri.
Iuliano, Fabiana
core
Vulnerable Verified Smart Contracts
, 2023 Artifact DescriptionVulnerable Verified Smart Contracts is a dataset of real vulnerable Ethereum smart contracts. Based on the manually labeled Benchmark dataset of Solidity smart contracts.
André Storhaug (13578265)
core +1 more source
Smart Electrospun Nanofibers for Controlled Oil‐Water Separation
Advanced Materials Interfaces, EarlyView.Stimuli‐responsive electrospun nanofibers are reviewed as advanced platforms for controlled oil/water separation. The effects of surface wettability, porous structure, and external stimuli, including pH, temperature, gas, and light, on separation performance are discussed.
Aynaz Sedaghatnia +6 more
wiley +1 more source