Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Tumas, Vytautas"'
XRP Ledger is one of the oldest, well-established blockchains. Despite the popularity of the XRP Ledger, little is known about its underlying peer-to-peer network. The structural properties of a network impact its efficiency, security and robustness.
Externí odkaz:
http://arxiv.org/abs/2205.00869
Publikováno v:
GLOBECOM 2022 - 2022 IEEE Global Communications Conference.
The XRP Ledger relies on a trusted set of validator nodes to advance the ledger history. Nodes use flood-based broadcasting to disseminate messages. Flooding offers strong message delivery guarantees at the cost of high network utilisation caused by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::17ba2875e13f30251f2c1c3db5eb1745
https://doi.org/10.1109/globecom48099.2022.10000650
https://doi.org/10.1109/globecom48099.2022.10000650
XRP is one of the oldest, well-established cryptocurrencies. Despite the popularity of XRP, little is known about its underlying peer-to-peer network. The structural properties of a network impact its efficiency, security and robustness. We aim to cl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a85362374a03f1c9feaaefc9dfa8a2dc
Publikováno v:
Grov, G, Lin, Y & Tumas, V 2016, Mechanised Verification Patterns for Dafny . in FM 2016: Formal Methods-21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings . Lecture Notes in Computer Science, vol. 9995, pp. 326-343, 21st International Symposium on Formal Methods, Limassol, Cyprus, 7/11/16 . https://doi.org/10.1007/978-3-319-48989-6_20
In Dafny, the program text is used to both specify and implement programs in the same language [24]. It then uses a fully automated theorem prover to verify that the implementation satisfies the specification. However, the prover often needs further
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3094::26c3f94a4bc0c827f18a691ba3531416
https://hdl.handle.net/20.500.11820/23ad6b3f-4c30-4c34-9b55-b013fbbe4ae4
https://hdl.handle.net/20.500.11820/23ad6b3f-4c30-4c34-9b55-b013fbbe4ae4
Autor:
Tumas, Vytautas
Magistro darbo objektas – Lietuvos įvaizdžio kūrimo strategija. Darbo tikslas – pristatyti, aptarti ir įvertinti pagrindinius valstybės įvaizdžio kūrimo modelius ir, teorines žinias pritaikius praktikoje, pateikti apibendrinamąjį model
Externí odkaz:
http://vddb.library.lt/fedora/get/LT-eLABa-0001:E.02~2007~D_20090908_193956-65125/DS.005.0.01.ETD
Autor:
Grov, Gudmund, Tumas, Vytautas
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p36-53, 18p
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p959-961, 3p
Autor:
Marsha Chechik, Jean-François Raskin
This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European J
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk