Zobrazeno 1 - 4
of 4
pro vyhledávání: '"S. M. Staroletov"'
Autor:
S. M. Staroletov
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 1, Pp 55-68 (2018)
It is considered to the problem of analysis of Android applications to study a malicious behaviour. The methods of analysis are presented, the general method, which combines different analysis techniques (static, dynamic, decompilation, debugging, lo
Externí odkaz:
https://doaj.org/article/c2f2e18c026c4607bb92402bef600de6
Autor:
N. O. Garanina, I. S. Anureev, V. E. Zyubin, S. M. Staroletov, T. V. Liakh, A. S. Rozov, S. P. Gorlatch
Publikováno v:
Automatic Control and Computer Sciences. 55:763-775
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::441d02a2683ff4ec3bd4f179b39adda8
https://doi.org/10.3103/s0146411621070038
https://doi.org/10.3103/s0146411621070038
Publikováno v:
Pattern Recognition and Image Analysis. 31:323-333
The work is devoted to the research that was carried out within the framework of computer vision problems applicable to the analysis of images and video information with vehicles. We solve the problem of classifying vehicles. We analyze the drawbacks
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e24ff74ecd11b985368bb5dd64dc0f25
https://doi.org/10.1134/s1054661821020152
https://doi.org/10.1134/s1054661821020152
Autor:
S M Staroletov
Publikováno v:
Journal of Physics: Conference Series. 1679:032020
The paper is considered a concept of model checking games to solve algorithmic puzzles. We describe current approaches in this field and move to a game between a user and a software model checker with the goal to provide a solution to a problem, enco
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7984bcbc9ec7e80ce7d484419ad38991
https://doi.org/10.1088/1742-6596/1679/3/032020
https://doi.org/10.1088/1742-6596/1679/3/032020