Results 21 to 30 of about 1,626,797 (354)
How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection [PDF]
International Symposium on Software Testing and Analysis, 2020 Security attacks targeting smart contracts have been on the rise, which have led to financial loss and erosion of trust. Therefore, it is important to enable developers to discover security vulnerabilities in smart contracts before deployment.
Asem Ghaleb, K. Pattabiraman
semanticscholar +1 more source
Ciencia y Salud, 2019 Introducción: la hipertensión arterial (HTA) es una de las mayores cargas de enfermedad y riesgo para infarto cardíaco, la insuficiencia cardíaca y el fallo renal.
R. Núñez-Musa +4 more
doaj +1 more source
A Survey of Smart Contract Formal Specification and Verification [PDF]
ACM Computing Surveys, 2020 A smart contract is a computer program that allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important activities across industry sectors including supply chain, finance, legal ...
Palina Tolmach +4 more
semanticscholar +1 more source
Current Swedish Archaeology, 2011 Partnership and dialogue are central concepts in na- tional heritage management. This article problema- tizes the concepts on the basis of a theme project con- ducted in a high school, where the aim has been to give the pupils insight into history ...
Mats Engström, Göran Gruber
doaj +1 more source
Smart Contract-Based Access Control for the Internet of Things [PDF]
IEEE Internet of Things Journal, 2018 This paper investigates a critical access control issue in the Internet of Things (IoT). In particular, we propose a smart contract-based framework, which consists of multiple access control contracts (ACCs), one judge contract (JC), and one register ...
Yuanyu Zhang +4 more
semanticscholar +1 more source
Present Status of Neutron-, Photo-induced and Spontaneous Fission Yields Experimental Data [PDF]
EPJ Web of Conferences, 2020 Nuclear reaction data collection, evaluation and dissemination have been pioneered at the Brookhaven National Laboratory since the early 50s. These activities gained popularity worldwide, and around 1970 the experimental nuclear reaction data interchange
Pritychenko B. +3 more
doaj +1 more source
Agronomy, 2015 Although the demand on agriculture to produce food could double by 2050, changing diets will expand the global demand for protein even faster. Canadian livestock producers will likely expand in response to this market opportunity.
James A. Dyer, Xavier P.C. Vergé
doaj +1 more source
The Complexity of Contracts [PDF]
SIAM Journal on Computing, 2020 We initiate the study of computing (near-)optimal contracts in succinctly representable principal-agent settings. Here optimality means maximizing the principal's expected payoff over all incentive-compatible contracts---known in economics as "second-best" solutions. We also study a natural relaxation to approximately incentive-compatible contracts. We
Paul Duetting +2 more
openaire +6 more sources
Clinics in Colon and Rectal Surgery, 2006 Residents completing colon and rectal surgery training should take seriously the terms of contracts offered to them. Contracts should specify how and how much salary will be paid, what benefits the surgeon will receive, and what services are to be provided.
openaire +2 more sources
SSRN Electronic Journal, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Piero Gottardi +2 more
openaire +12 more sources