Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Maxim A. Krivchikov"'
Publikováno v:
Journal of Computer Virology and Hacking Techniques. 16:313-331
Information systems providing interactive access for a huge number of users worldwide are exposed to numerous security threats. One of the most significant threats to this sort of systems is the threat of unauthorized access to system resources, lead
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3d9d55b1cce1ae7a7035e5536509fd96
https://doi.org/10.1007/s11416-020-00365-9
https://doi.org/10.1007/s11416-020-00365-9
Autor:
Maxim A. Krivchikov, V. A. Vasenin
Publikováno v:
Programming and Computer Software. 46:57-66
In this paper, we present an intermediate representation (IR) language for the concise and generalized description of type system specification features in dynamically typed programming languages. The intermediate representation is based on pattern m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aea55f576fb16c9871f033e129f60375
https://doi.org/10.1134/s0361768820010077
https://doi.org/10.1134/s0361768820010077
Publikováno v:
2019 Actual Problems of Systems and Software Engineering (APSSE).
This paper presents the target requirements, general provisions, methodological principles and architectural and technological requirements for the "ISTINA" information analysis system, which are the basis for its development and maintenance. The fun
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::72571c44b4bb9071540bc6f886942cc2
https://doi.org/10.1109/apsse47353.2019.00026
https://doi.org/10.1109/apsse47353.2019.00026
Autor:
V. A. Vasenin, Andrey Korshunov, Andrey Zenzinov, Dmitry Shachnev, Vladimir Roganov, Maxim Zanchurin, Maxim A. Krivchikov
Publikováno v:
2019 Actual Problems of Systems and Software Engineering (APSSE).
The paper presents a suite of process automation tools in the lifecycle of complex software on the example of "ISTINA" data analysis system. The suite was developed by the authors on the basis of software distributed under free licenses. The main com
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::46fd94f0db2e75baa233e850aeb73d94
https://doi.org/10.1109/apsse47353.2019.00020
https://doi.org/10.1109/apsse47353.2019.00020
Autor:
V. A. Vasenin, Maxim A. Krivchikov
Publikováno v:
Programming and Computer Software. 39:1-9
Dynamical concurrent execution makes it possible to adapt programs for their execution on computing environments with parallel architecture. In the paper, a formal model of dynamical concurrent execution of programs written in functional style is pre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d30320c3424001bbe23b021b815e6972
https://doi.org/10.1134/s0361768813010076
https://doi.org/10.1134/s0361768813010076
Autor:
Maxim A. Krivchikov, V. A. Vasenin
Publikováno v:
Programming and Computer Software. 38:183-188
One of the efficient approaches to creating trusted software consists in the construction of a formal model that reflects its semantics and subsequent code verification with the use of this model. This work presents results of studies aimed at constr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d736328c9c49dc7b7e13c83fe50114b2
https://doi.org/10.1134/s0361768812040056
https://doi.org/10.1134/s0361768812040056