Results 71 to 80 of about 80,357 (194)
Solidity of type III Bernoulli crossed products
, 2016 We generalize a theorem of Chifan and Ioana by proving that for any, possibly type III, amenable von Neumann algebra $A_0$, any faithful normal state $\varphi_0$ and any discrete group $\Gamma$, the associated Bernoulli crossed product von Neumann ...
Marrakchi, Amine
core +2 more sources
Defects and Vulnerabilities in Smart Contracts, a Classification using the NIST Bugs Framework
International Journal of Networked and Distributed Computing (IJNDC)Rising to popularity in the last decade, blockchain technology has become the preferred platform for the transfer of digital currency. Unfortunately, many of these environments are rife with vulnerabilities exploited by financially motivated attackers ...
Wesley Dingman +6 more
doaj +1 more source
NetworkWith the ever-increasing advancement in blockchain technology, security is a significant concern when substantial investments are involved. This paper explores known smart contract exploits used in previous and current years. The purpose of this research
Oliver J. Hall +2 more
doaj +1 more source
Юг России: экология, развитие, 2014 The presented article considers the questions physico-mechanical characteristic soil recent alluvial sediments Volga-Akhtuba floodland in connection with designing and construction different industrial object, and first of all,oil-and-gas of the ...
Z. V. Kalashnik, V. V. Kudinov
doaj +1 more source
Hover performance tests of baseline metal and Advanced Technology Blade (ATB) rotor systems for the XV-15 tilt rotor aircraft [PDF]
Rotor hover performance data were obtained for two full-scale rotor systems designed for the XV-15 Tilt Rotor Research Aircraft. One rotor employed the rectangular planform metal blades (rotor solidity = 0.089) which were used on the initial flight ...
Alexander, H. +4 more
core +1 more source
A Dynamic Behavior Verification Method for Composite Smart Contracts Based on Model Checking
MathematicsA composite smart contract can execute smart contracts that may belong to other owners or companies through external calls, bringing more security challenges to blockchain applications. Traditional static verification methods are inadequate for analyzing
Jun Jin +4 more
doaj +1 more source
Test results from a dynamic model dynaflex rotor [PDF]
, 1985 A one-fifth scale dynamic model of the Sikorsky Dynaflex rotor was tested in hover and in forward flight conditions in a wind tunnel. The Dynaflex rotor features an advanced composite structure which flexes to provide a constant speed universal joint ...
Goodman, R. K., Niebanck, C. F.
core +1 more source
The utilization of Solidity programming language in blockchain
Vojnotehnički GlasnikIntroduction/purpose: This work provides a comprehensive overview of blockchain technology, elucidating its foundational principles and how it ensures transparency, immutability, and decentralization.
Sava S. Stanišić +2 more
doaj +1 more source
The Objectivity Of Touch [PDF]
Assumption: Sensory modalities are individuated by their proper objects. Hearing is the direct perception of sounds, sight the direct perception of colours, etc.
Massin, Olivier
core
Integrating social media data into smart contracts
Електроніка та інформаційні технологіїThe rise of blockchain technology has set the stage for groundbreaking decentralized applications and smart contracts. Recently, there's been a surge in interest regarding the integration of social media data into blockchain-based smart contracts ...
Yurii Tsudzenko
doaj +1 more source