?
Application of Information Processes Applicative Modelling to Virtual Machines Auto Configuration
P. 1041–1048.
Зыков С. В., Shumsky L.
В книге
Vol. 96. , Amsterdam: Elsevier, 2016.
Суворов Н. М., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 3(2) P. 49–66
Сети Петри с данными (DPN) являются расширением классических сетей Петри, позволяющим моделировать процессы, где данные влияют на поток управления, обеспечивая комплексное представление о поведении системы и возможность обнаружения точек отказа, которые в противном случае были бы скрыты. Одним из критериев корректности для моделей процессов является бездефектность. Модель процесса называется бездефектной, если она всегда корректно завершается ...
Добавлено: 16 мая 2026 г.
Zayakin Viktor, Lyadova Lyudmila, Smirnov M. и др., , in: 2022 IEEE 16th International Conference on Application of Information and Communication Technologies (AICT).: Washington: IEEE, 2022. P. 1–6.
Добавлено: 29 октября 2022 г.
Shershakov S. A., Automatic Control and Computer Sciences (Springer) 2021 Vol. 55 No. 7 P. 847–865
Добавлено: 8 сентября 2021 г.
Kuznetsov E., Golyaev Y., Колбас Ю. Ю. и др., , in: Proceedings of SPIE - The International Society for Optical Engineering. Optical Technology and Measurement for Industrial Applications 2020Vol. 11523.: SPIE, 2020. P. 1–5.
Добавлено: 20 ноября 2020 г.
Springer, 2019.
Добавлено: 26 октября 2020 г.
Шершаков С. А., Моделирование и анализ информационных систем 2020 Т. 27 № 2 С. 194–217
Процессно-ориентированные информационные системы (ПОИС) – специальный класс ИС для поддержки задач по инициализации, сквозному управлению и завершению бизнес-процессов. В процессе функционирования такие системы накапливают большое число данных, которые записываются в виде журналов событий. Журналы событий являются ценным источником знаний о реальном поведении системы. Например, в них можно обнаружить информацию о несоответствии реального и желаемого поведения ...
Добавлено: 6 сентября 2020 г.
Зыков С. В., Shumsky L., Tykushin A. и др., , in: Procedia Computer Science, Vol. 126. Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference, KES-2018, Belgrade, SerbiaVol. 126: Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference, KES-2018, Belgrade, Serbia.: Amsterdam: Elsevier, 2018. P. 1771–1778.
Добавлено: 6 октября 2018 г.
Зыков С. В., Shumsky L. D., Tormasov A. G., , in: Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference, KES-20176-8 September 2017, Marseille, FranceVol. 112.: Elsevier, 2017. P. 1721–1729.
Добавлено: 20 марта 2018 г.
Ефимов В. Ю., Батузов К. А., Падарян В. А. и др., Programming and Computer Software 2016 Vol. 42 No. 3 P. 174–186
A technology of the deterministic replay of an execution process in virtual machines can be used for debugging, improving reliability and robustness, software development and incident investigation (including reverse engineering of malware). The paper describes an implementation of deterministic replay for guest machines based on IA-32 in the emulator QEMU. This implementation minimizes the list ...
Добавлено: 27 марта 2017 г.
Королев Д. А., Горохова-Алексеева А. В., , in: 2016 IEEE Conference on Quality Management, Transport and Information Security, Information Technologies (IT&MQ&IS). Proceedings.: М.: Фонд «Качество», 2016. P. 139–143.
Добавлено: 5 марта 2017 г.
Королев Д. А., Горохова-Алексеева А. В., , in: Proceedings of the 2016 IEEE Conference on Quality Management, Transport and Information Security, Information Technologies (IT&MQ&IS-2016).: St. Petersburg: IEEE, 2016. P. 99–102.
Добавлено: 26 февраля 2017 г.
Torun: CEUR Workshop Proceedings, 2016.
The The workshop first took place in 2015 as a succession of the Applications of Region Theory (ART) workshop series. After the success of the initial workshop, it is only natural to bring together researchers working on region-based synthesis and process mining again. The ATAED'2016 workshop took place in Torun on June 20-21, 2016 and ...
Добавлено: 30 июня 2016 г.
Азаров В. Н., Фомин С. С., Компетентность 2015 № 9-10 С. 13–17
Рассматриваются проблемы повышения качества подготовки специалистов в области ИКТ. Обосновывается необходимость расширения практики при освоении технических дисциплин. Рассматриваются факторы, влияющие на качество подготовки специалистов. Рассматривается уровень развития средств ИКТ, необходимый для применения средств виртуализации в системах дистанционного обучения. Даётся определение виртуального практикума. Приводится архитектура виртуального практикума, требования к компонентам практикума. Рассматривается унифицированное управление виртуальными средами. ...
Добавлено: 15 марта 2016 г.
Силаков Д. В., Системный администратор 2016 № 1-2 С. 16–19
Linux – популярная ОС на серверах и на рынке хостинг-провайдеров, однако нередки ситуации, когда контейнерная виртуализация не работает и необходимы более «тяжеловесные» подходы. Понимают это и разработчики Virtuozzo, и контейнерной виртуализацией возможности их продуктов не ограничиваются. ...
Добавлено: 3 марта 2016 г.
Азаров В. Н., Фомин С. С., Качество и жизнь 2015 № 4 С. 79–83
Рассматриваются аспекты применения виртуальных сред при подготовке специалистов в области ИКТ. Обосновывается необходимость расширения практики при освоении технических дисциплин. Даётся определение виртуального практикума, приводится его состав и типы виртуальных сред для практикумов. Приводится архитектура виртуального практикума, требования к компонентам практикума, функциональные возможности модуля управления виртуальными средами для пользователей и сетевых преподавателей. Обсуждается влияние виртуальных практикумов ...
Добавлено: 9 февраля 2016 г.
Чеботарев В. Г., Громов А. И., Бизнес-информатика 2014 № 4 (30) С. 45–52
Материалы статьи основаны на результатах, полученных участниками (преподавателями и студентами) научно-исследовательского семинара факультета бизнес-информатики НИУ ВШЭ. Цель – исследование возможностей управления обучением как процессом, применение современных информационных технологий и инструментов. Дано определение процесса обучения как совместной деятельности участников процесса в организации усвоения учебной дисциплины, получения субъективно новых или новых предметных и процедурных знаний. В качестве ...
Добавлено: 6 декабря 2014 г.
Ефименко И. В., Хорошевский В. Ф., В кн.: XIV Национальная конференция по искусственному интеллекту с международным участием КИИ-2014.: Каз.: Российская ассоциация искусственного интеллекта, 2014. С. 118–127.
В работе обсуждаются вопросы создания формальной модели предметной области дорожного картирования на основе анализа лучших практик в данной области. Создание такой модели позволит обобщить опыт построения технологических дорожных карт и обеспечит основу для разработки средств автоматизации формирования и использования дорожных карт. Разработана система онтологий, специфицирующих ключевые информационные объекты сферы дорожного картирования, а также процессные модели лучших ...
Добавлено: 23 октября 2014 г.
Springer, 2015.
Business Process Management (BPM) has become one of the most widely used approaches for the design of modern organizational and information systems. The conscious treatment of business processes as significant corporate assets has facilitated substantial improvements in organizational performance but is also used to ensure the conformance of corporate activities. This Handbook presents in two ...
Добавлено: 17 октября 2014 г.
W.M.P. van der Aalst, Informatik-Spektrum, Germany 2014 Vol. 37 No. 5 P. 191–198
Seit ihrem Entwurf im Jahr 1962 sind Petrinetze in ganz unterschiedlichen Bereichen eingesetzt worden. Obwohl sie graphisch dargestellt werden und intuitiv einfach verständlich sind, haben Petrinetze eine formal eindeutige Semantik mit einer Vielzahl mathematischer Analysetechniken. Sie reichen vom Model Checking und der Strukturellen Analyse über das Process Mining bis zur Performanz-Analyse. Im Lauf der Zeit ...
Добавлено: 17 октября 2014 г.
W. M. P. van der Aalst, Software and Systems Modeling. Germany 2014 P. 1–7
Since their inception in 1962, Petri nets have been used in a wide variety of application domains. Although Petri nets are graphical and easy to understand, they have formal semantics and allow for analysis techniques ranging from model checking and structural analysis to process mining and performance analysis. Over time Petri nets emerged as a ...
Добавлено: 17 октября 2014 г.
Dordrecht, L., Heidelberg, NY: Springer, 2013.
This book constitutes the proceedings of the First Asia Pacific Conference on Business Process Management held in Beijing, China, in August 2013.
In all, 19 contributions from seven countries were submitted. Following an extensive review process by an international Program Committee, seven full papers and one short paper were accepted for publication in this book and ...
Добавлено: 14 ноября 2013 г.