Zobrazeno 1 - 10
of 54
pro vyhledávání: '"A.V. Novitsky"'
Publikováno v:
Herald of the Bauman Moscow State Technical University. Series Instrument Engineering. :4-17
The article сconsiders the proposed approach for assessing the possibility of equitable receipt of fees by blockchain nodes for closing blocks. The theory of random processes is applied to describe transaction flows and block closings. The distribut
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::35c712fd7cc02e3248e3fee6ce39b620
https://doi.org/10.18698/0236-3933-2022-2-4-17
https://doi.org/10.18698/0236-3933-2022-2-4-17
Publikováno v:
Herald of the Bauman Moscow State Technical University. Series Instrument Engineering. :27-40
Blockchain networks built on the basis of PoS, DPoS, LPoS, PoE, PoIT, pBFT algorithms have certain limitations associated with the reduction of the new transactions inclusion rate in the blockchain when the number of blockchain network nodes particip
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f767559b502f7d9321458459823c1654
https://doi.org/10.18698/0236-3933-2021-4-27-40
https://doi.org/10.18698/0236-3933-2021-4-27-40
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.
Autor:
A.V. Novitsky, V.A. Reznichenko
Publikováno v:
PROBLEMS IN PROGRAMMING. :031-038
An approach for formal verification of UML 2.0 using mapping OWL-DL in UML 2.0 is proposed. As a result, an original approach for mapping OWL-DL to UML 2.0 through description logic has been proposed. The completeness of the mapping of UML-OWL throug
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::46b9e3e281a225cc7e24b15a829a8993
https://doi.org/10.15407/pp2020.02-03.031
https://doi.org/10.15407/pp2020.02-03.031
Autor:
A.A. Prikhodko, A.V. Novitsky
Publikováno v:
VIII МЕЖДУНАРОДНАЯ КОНФЕРЕНЦИЯ ПРОБЛЕМЫ МЕХАНИКИ СОВРЕМЕННЫХ МАШИН. Сборник статей конференции.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::328251c925269103b0ab4146bb8e08c2
https://doi.org/10.53980/9785907599055_542
https://doi.org/10.53980/9785907599055_542
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.
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:
PROBLEMS IN PROGRAMMING. :68-95
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6635d5148fd9d350cf69b17c9bbd2355
https://doi.org/10.15407/pp2017.03.068
https://doi.org/10.15407/pp2017.03.068
Autor:
A.V. Novitsky
Publikováno v:
PROBLEMS IN PROGRAMMING. :211-219
In the article, propose mapping from UML class diagrams to SHOIQ. descriptive logic. Made approach through extension the UML notations by using stereotypes as close to semantic structures. Specified on the causes and problems that arise in such mappi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf14db421c11bee9242cd2bfd8a86faf
https://doi.org/10.15407/pp2016.02-03.211
https://doi.org/10.15407/pp2016.02-03.211
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.