Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Andrew Choi"'
Publikováno v:
PLDI
We present Solythesis, a source to source Solidity compiler which takes a smart contract code and a user specified invariant as the input and produces an instrumented contract that rejects all transactions that violate the invariant. The design of So
Autor:
Andrew Choi
Publikováno v:
Computer Music Journal. 35:49-66
Autor:
Hanan Lutfiyya, Andrew Choi
Publikováno v:
Engineering for Human-Computer Interaction ISBN: 9783540430445
EHCI
EHCI
This paper describes an approach to adapting Web content based on both static (e.g., connection speed) and dynamic information (e.g., CPU load) about a user's computing resources. This information can be transmitted to a Web Server in two different w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e47245208a50a4f5177786f079a1930
https://doi.org/10.1007/3-540-45348-2_27
https://doi.org/10.1007/3-540-45348-2_27
Publikováno v:
AFIPS National Computer Conference
The proliferation of inexpensive microprocessor systems and communications equipment has provided the general public with the ability to access remote database systems. It also makes off-loading of some of the query-processing load of such remote sys