Výsledky vyhledávání - "Shilov Nikolay"

Akademický článek

Context-Aware Access Control Model for Privacy Support in Mobile-Based Assisted Living

Autor: Smirnov Alexander, Kashevnik Alexey, Shilov Nikolay, Teslya Nikolay

Publikováno v: Journal of Intelligent Systems, Vol 24, Iss 3, Pp 333-342 (2015)

The average lifetime of people in advanced countries is significantly increased in the XXI century. The number of old and dependent people is rising due many innovations in health care: new technologies, medicine, and a lot of innovative devices that

Externí odkaz: https://doaj.org/article/dd353853d54b459cbe1cce022321809f

Zobrazit plný text záznamu

Report

Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs

Autor: Kudasov, Nikolai, Olokin, Mikhail, Potyomkin, Oleksii, Shilov, Nikolay, Stepanov, Maxim

Elegant Objects (EO) is a variation of the object-oriented programming paradigm that favors pure objects and decoration. EO programming language is based on these ideas and has been suggested by Bugayenko as an intermediate representation for object-

Externí odkaz: http://arxiv.org/abs/2209.01803

Zobrazit plný text záznamu

Report

Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper

Autor: Cerone, Antonio, Roggenbach, Markus, Davenport, James, Denner, Casey, Farrell, Marie, Haveraaen, Magne, Moller, Faron, Koerner, Philipp, Krings, Sebastian, Olveczky, Peter, Schlingloff, Bernd-Holger, Shilov, Nikolay, Zhumagambetov, Rustam

This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates (i) improved teaching of formal methods; (ii) systematic h

Externí odkaz: http://arxiv.org/abs/2010.05708

Zobrazit plný text záznamu

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.

Report

Towards platform-independent specification and verification of the standard trigonometry functions

Autor: Shilov, Nikolay V., Faifel, Boris L., Shilova, Svetlana O., Promsky, Aleksey V.

Research project "Platform-independent approach to formal specification and verification of standard mathematical functions" is aimed onto a development of an incremental combined approach to the specification and verification of the standard mathema

Externí odkaz: http://arxiv.org/abs/1901.03414

Zobrazit plný text záznamu

Report

Towards platform-independent verification of the standard mathematical functions: the square root function

Autor: Shilov, Nikolay V., Anureev, Igor S., Berdyshev, Mikhail, Kondratev, Dmitry, Promsky, Aleksey V.

The paper presents (human-oriented) specification and (pen-and-paper) verification of the square root function. The function implements Newton method and uses a look-up table for initial approximations. Specification is done in terms of total correct

Externí odkaz: http://arxiv.org/abs/1801.00969

Zobrazit plný text záznamu