Zobrazeno 1 - 10
of 76
pro vyhledávání: '"automata-based programming"'
Autor:
Dmitry V. Dagaev
Publikováno v:
Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki, Vol 21, Iss 4, Pp 525-534 (2021)
Automata-based programming considers program systems construction as finite state machines that demonstrate state-based behavior. This paper analyzes approaches to data structures and their realization in different programming paradigms. The requirem
Externí odkaz:
https://doaj.org/article/b5fb9ad9786a472f8cc8067e52025e52
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:
Yuri Yu. Yankin, Anatoly A. Shalyto
Publikováno v:
Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki, Vol 14, Iss 6, Pp 146-152 (2014)
Implementation of redundant unit for motor drive control based on programmable logic devices is discussed. Continuous redundancy method is used. As compared to segregated standby redundancy and whole system standby redundancy, such method provides
Externí odkaz:
https://doaj.org/article/1431bb0569054f10a6ffe353679d7a9c
Autor:
A. V. Shestakov
Publikováno v:
Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki, Vol 13, Iss 1, Pp 104-108 (2013)
The article proposes modification method for automata-based programs induced by changes in their test scenarios. The method can also be used for constructing automata-based programs without using any prior knowledge of a program structure and without
Externí odkaz:
https://doaj.org/article/97b6765624464eefb77f3d9d94c6c967
Publikováno v:
PROGRAMMNAYA INGENERIA. 10:3-13
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e1cb3614091e0c20ae8ae96f1a32db1
https://doi.org/10.17587/prin.10.3-13
https://doi.org/10.17587/prin.10.3-13
Publikováno v:
SIN
Reliable verification of compliance with information security requirements when exchanging data on the Internet is an urgent task. Information is transferred through interaction protocols that are being constantly updated and changed. Methods for ver
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d27ef5f84fbb40c9847cf5e71c51abfa
https://doi.org/10.1145/3357613.3357639
https://doi.org/10.1145/3357613.3357639
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:
Baader, Franz, Tobies, Stephan
Tableaux-based decision procedures for satisfiability of modal and description logics behave quite well in practice, but it is sometimes hard to obtain exact worst-case complexity results using these approaches, especially for EXPTIME-complete logics
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A78984
https://tud.qucosa.de/api/qucosa%3A78984/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A78984/attachment/ATT-0/
Publikováno v:
SIN
The article considers an example of an adaptive protection system focused on protection from heterogeneous misinforming impacts to computer networks. The system adaptation to the current conditions is being performed by means of its reconfiguring. Re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a02bd89b73930aaac3d5a28180deee3
https://doi.org/10.1145/3264437.3264467
https://doi.org/10.1145/3264437.3264467
Publikováno v:
Interactive science; № 4(14); 111-112
Интерактивная наука; № 4(14); 111-112
Интерактивная наука; № 4(14); 111-112
в данной статье рассматривается математический подход к созданию интерфейса системы отчетности на примере банковской отрасли с целью
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=interactivep::3eeb65cbfae8be156d3d9a81ebd19c07
https://doi.org/10.21661/r-119315
https://doi.org/10.21661/r-119315