Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Ceresa, Martin"'
Autor:
Capretto, Margarita, Ceresa, Martín, Anta, Antonio Fernández, Moreno-Sánchez, Pedro, Sánchez, César
Modern blockchains face a scalability challenge due to the intrinsic throughput limitations of consensus protocols. Layer 2 optimistic rollups (L2) are a faster alternative that offer the same interface in terms of smart contract development and user
Externí odkaz:
http://arxiv.org/abs/2406.02316
Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and received. Smart
Externí odkaz:
http://arxiv.org/abs/2401.12093
Blockchain technologies are facing a scalability challenge, which must be overcome to guarantee a wider adoption of the technology. This scalability issue is due to the use of consensus algorithms to guarantee the total order of the chain of blocks a
Externí odkaz:
http://arxiv.org/abs/2302.04744
Blockchains are modern distributed systems that provide decentralized financial capabilities with trustable guarantees. Smart contracts are programs written in specialized programming languages running on a blockchain and govern how tokens and crypto
Externí odkaz:
http://arxiv.org/abs/2207.02517
Blockchain technologies are facing a scalability challenge, which must be overcome to guarantee a wider adoption of the technology. This scalability issue is mostly caused by the use of consensus algorithms to guarantee the total order of the chain o
Externí odkaz:
http://arxiv.org/abs/2206.11845
Stream Runtime Verification is a formal dynamic analysis technique that generalizes runtime verification algorithms from temporal logics like LTL to stream monitoring, allowing to compute richer verdicts than Booleans (including quantitative and arbi
Externí odkaz:
http://arxiv.org/abs/2003.00032
Publikováno v:
In Science of Computer Programming 1 May 2022 217
Publikováno v:
In The Journal of Systems & Software December 2017 134:340-354
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Earthquake Spectra; Nov2015, Vol. 31 Issue 4, p2553-2555, 3p