?
Formal Verification of OS Security Model with Alloy and Event-B
P. 309–313.
Andrei Akhremenko, Конча В., Journal of Social Policy Studies 2025 Vol. 23 No. 4 P. 781–794
Добавлено: 13 мая 2024 г.
Ахременко А. С., Полис. Политические исследования 2024 № 2 С. 118–134
В центре внимания настоящей работы – вопрос о влиянии интернет-коммуникаций на «уличную» протестную активность. В последние годы в этом направлении исследований наметилась некоторая стагнация: дефицит крупных работ, обозначающих новые исследовательские направления или хотя бы существенно укрепляющих эмпирический фундамент уже сложившихся гипотез. Парадокс состоит в том, что при рассмотрении воздействия глобальной сети на политическое поведение собственно ...
Добавлено: 31 марта 2024 г.
Ахременко А. С., Petrov A., , in: Proceedings of the Conference on Modeling and Analysis of Complex Systems and Processes 2020 (MACSPro 2020)Vol. 2795.: CEUR Workshop Proceedings, 2020. Ch. 1 P. 1–11.
Добавлено: 3 марта 2021 г.
Хорошилов А. В., Кулямин В. В., Петренко А. К. и др., , in: Proceedings of the 2020 Ivannikov Memorial Workshop.: Los Alamitos: IEEE Communications Society, 2020. P. 55–60.
Добавлено: 29 октября 2020 г.
Хорошилов А. В., Мандрыкин М. У., , in: Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer ScienceVol. 10742.: Springer, 2018. P. 256–275.
Добавлено: 12 февраля 2018 г.
Bouajjani A., Monniaux D., Cham: Springer, 2016.
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation ...
Добавлено: 29 марта 2017 г.
Хорошилов А. В., Мандрыкин М. У., Programming and Computer Software 2015 Vol. 41 No. 4 P. 197–207
Добавлено: 30 октября 2015 г.
Smeliansky R. L., Chemeritsky E. V., Захаров В. А., Automatic Control and Computer Sciences 2014 Vol. 48 No. 7 P. 398–406
Добавлено: 30 сентября 2015 г.
Царегородцев А. В., Нелинейный мир 2013 Т. 11 № 9 С. 610–621
Широкое распространение и применение облачных вычислений диктует необходимость адаптации и доработки существующих моделей безопасности информационно-телекоммуникационных систем. Для достижения конфиденциальности данных необходимо рассмотреть преимущества моделей развёртывания облачных сервисов и предусмотреть процедуру распределения рабочего процесса между компонентами среды облачных вычислений. ...
Добавлено: 26 марта 2015 г.
Andrei Akhremenko, Петров А. П., / NRU Higher School of Economics. Series PS "Political Science". 2014. No. WP BRP 16/PS/2014.
Добавлено: 24 октября 2014 г.
Ахременко А. С., Петров А. П., В кн.: Математическое моделирование и информатика социальных процессов. Сборник трудовВып. 16.: М.: Экон-Информ, 2014. С. 15–20.
В настоящей работе рассматривается динамическая модель, в центре внимания которой находится влияние на эффективность социально-политической системы со стороны уровня налоговой нагрузки и правила распределения бюджетных средств на инвестиции в инфраструктуру и производственный ресурс ...
Добавлено: 24 октября 2014 г.
М.: Экон-Информ, 2014.
Статьи данного сборника написаны на основе докладов, сделанных в 2013 г. на социологическом факультете МГУ им. М.В. Ломоносова на заседании XVI Междисциплинарного ежегодного научного семинара «Математическое моделирование социальных процессов» им. Героя Социалистического труда академика А.А. Самарского.
Издание предназначено для научных сотрудников, преподавателей, учащихся вузов и научных учреждений РАН, интересующихся проблемами разработки и внедрения методологии математического моделирования ...
Добавлено: 24 октября 2014 г.
Ефименко И. В., Хорошевский В. Ф., В кн.: XIV Национальная конференция по искусственному интеллекту с международным участием КИИ-2014.: Каз.: Российская ассоциация искусственного интеллекта, 2014. С. 118–127.
В работе обсуждаются вопросы создания формальной модели предметной области дорожного картирования на основе анализа лучших практик в данной области. Создание такой модели позволит обобщить опыт построения технологических дорожных карт и обеспечит основу для разработки средств автоматизации формирования и использования дорожных карт. Разработана система онтологий, специфицирующих ключевые информационные объекты сферы дорожного картирования, а также процессные модели лучших ...
Добавлено: 23 октября 2014 г.
Ахременко А. С., Петров А. П., В кн.: Метод: московский ежегодник трудов из обществоведческих дисциплинВып. 4.: М.: ИНИОН РАН, 2014. С. 62–82.
В статье рассматривается математическая модель связи между инвестированием ресурсов в изменение институтов и эффективностью общественной системы. Приводятся результаты ряда вычислительных экспериментов и их содержательная интерпретация. Поднимаются также некоторые вопросы методологии математического моделирования ...
Добавлено: 15 октября 2014 г.
Шершаков С. А., В кн.: Proceedings of the 9th Central & Eastern European Software Engineering Conference in Russia.: NY: ACM, 2013.
С развитием информационных систем (ИС) стремительно возросли объемы данных, которыми они оперируют.
Это касается как данных, вводимых в систему различными путями, так и данных, получаемых в результате некоторой обработки, то есть выводимых этой системой на различные виды носителей информации. Из последнего типа данных можно выделить целый специальный подкласс, к которому относятся так называемые логи данных.
Количество информации, ...
Добавлено: 21 декабря 2013 г.