Сортировать по:
| Выпуск | Название | |
| Том 30, № 3 (2018) | Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами | Аннотация похожие документы |
| Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова | ||
| "... one to generate a set of event logs. We suggest our approach to be used for evaluating process ..." | ||
| Том 35, № 3 (2023) | Синтез моделей процессов по журналам событий мультиагентных систем с помощью отношений между событиями | Аннотация похожие документы |
| Анастасия Андреевна ШЕРСТЮГИНА, Роман Александрович НЕСТЕРОВ | ||
| "... The structure of a process model directly discovered from an event log of a multi-agent system ..." | ||
| Том 31, № 4 (2019) | Метод построения UML диаграмм деятельности по журналам событий | Аннотация похожие документы |
| Наталья Сергеевна Зубкова, Сергей Андреевич Шершаков | ||
| "... from event logs, recorded by information systems, can provide valuable insights into real flows ..." | ||
| Том 28, № 3 (2016) | Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... with execution traces of SOA systems, represented in the form of event logs. Event logs are created by almost all ..." | ||
| Том 31, № 4 (2019) | Симуляция сетей Петри с ингибиторными дугами и дугами сброса | Аннотация похожие документы |
| Павел Алексеевич Перцухов, Алексей Александрович Мицюк | ||
| "... Event logs of software systems are used to analyze their behaviour and inter-component interaction ..." | ||
| Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... architecture (SOA), given in the form of event logs. While common reverse engineering techniques usually ..." | ||
| Том 28, № 3 (2016) | Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram | Аннотация похожие документы |
| Д. И. Самохвалов, Л. В. Дворянский | ||
| "... as tokens. The formalism allows creating comprehensive models of multi-agent systems, simulating, verifying ..." | ||
| Том 24 (2013) | Автоматизация регрессионного тестирования при помощи анализа трасс событий | Аннотация PDF (Rus) похожие документы |
| Владимир Федотов | ||
| "... in the domain of testing. Different approach relies on analyzing system's events trace that is provided either ..." | ||
| Том 29, № 4 (2017) | Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов | Аннотация похожие документы |
| Р. А. Нестеров, И. А. Ломазова | ||
| "... involve several participants (or agents) managing and executing operations on the basis of process models ..." | ||
| Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
| "... and Analyzing the Event Logs for RTOS ‘Baget’ family”, developed with the toolkit for creating graphical user ..." | ||
| Том 35, № 3 (2023) | Подходы к развертыванию в распределенной обработке сложных событий | Аннотация похожие документы |
| Арсений Андреевич ЗОРИН, Ирина Евгеньевна ЧЕРНЕЦКАЯ | ||
| "... in the form of a series of event occurrences. In this paper, we aim to provide a comprehensive overview ..." | ||
| Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация похожие документы |
| И. С. Шугуров, А. А. Мицюк | ||
| "... and improvement, which are based on studying their execution history (event logs). Conformance checking is one ..." | ||
| Том 28, № 4 (2016) | Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток | Аннотация PDF (Rus) похожие документы |
| В. О. Ермакова, И. А. Ломазова | ||
| "... multi-agent systems modeling and analysis. It allows representing multi-agent systems structure ..." | ||
| Том 30, № 3 (2018) | К построению модульной модели распределенного интеллекта | Аннотация PDF (Rus) похожие документы |
| Ю. Л. Словохотов, И. С. Неретин | ||
| "... Multi-agent social systems (MASS) in general are systems of autonomous interdependent agents each ..." | ||
| Том 33, № 3 (2021) | Механизированная теория структур событий: случай параллельной регистровой машины | Аннотация похожие документы |
| Владимир Петрович ГЛАДШТЕЙН, Дмитрий Владимирович МИХАЙЛОВСКИЙ, Евгений Александрович МОИСЕЕНКО, Антон Александрович ТРУНОВ | ||
| "... The true concurrency models, and in particular event structures, have been introduced in the 1980s ..." | ||
| Том 36, № 1 (2024) | Систематический обзор литературы по визуальному распознаванию событий с людьми: выявление значимых событий и их применение | Аннотация похожие документы |
| Мария Луиза КОРДОБА-ТЛАКСКАЛЬТЕКО, Эдгард БЕНИТЕС-ГЕРРЕРО | ||
| "... The field of vision-based human event recognition in smart environments has emerged as a thriving ..." | ||
| Том 23 (2012) | Обнаружение периодических наборов событий во временных базах данных | Аннотация PDF (Rus) похожие документы |
| Е. A. Иванникова. | ||
| "... sets detection and suggest the method for its solution. The existing algorithms for the periodic event ..." | ||
| Том 26, № 5 (2014) | Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде | Аннотация PDF (Rus) похожие документы |
| И. В. Бычков, Г. А. Опарин, А. Г. Феоктистов, В. Г. Богданова, А. А. Пашинин | ||
| "... . To create the agent of application is used development environment High-performance computing Service ..." | ||
| Том 32, № 4 (2020) | Двухшаговый метод объединения новостей в сюжеты | Аннотация PDF (Rus) похожие документы |
| Кирилл Андреевич СКОРНЯКОВ, Анна Сергеевна ЛАСКИНА, Денис Юрьевич ТУРДАКОВ | ||
| "... science. The paper is devoted to the part of the news stream analysis which is called “event detection ..." | ||
| Том 18 (2010) | Технология создания гетерогенных трасс, их анализа и генерации из них отчётов | Аннотация PDF (Rus) похожие документы |
| С. Г. Грошев | ||
| "... This article describes an architecture of extensible modular system for logging and analysis of log ..." | ||
| Том 35, № 3 (2023) | Применение методов интеллектуального анализа процессов в ходе разработки семейства мобильных приложений | Аннотация похожие документы |
| Людмила Александровна РЕЗУНИК, Алиса Игоревна ПЕРЕВОЗНИКОВА, Дарья Валерьевна ЕРЕМИНА, Алексей Александрович МИЦЮК | ||
| "... inefficiencies. We consider datasets with event data of two types. Firstly, we analyse event logs of Android ..." | ||
| Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) похожие документы |
| И. Шугуров, А. Мицюк | ||
| "... and algorithms for discovery and analysis of business process models based on event logs. Process mining has ..." | ||
| Том 35, № 1 (2023) | Разработка и реализация средства тестирования на устойчивость хранимых данных для приложений, основанных на файловых системах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Кириллович РОДИОНОВ, Сергей Дмитриевич КУЗНЕЦОВ | ||
| "... . The tool is based on collecting events from the interaction of the application with the file system ..." | ||
| Том 36, № 4 (2024) | Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ | ||
| Том 32, № 3 (2020) | Анализ активности студентов на курсах онлайн-обучения на основе логов платформы «OpenEdu» | Аннотация похожие документы |
| Никита Дмитриевич БАРСУКОВ, Иван Михайлович СЫСОЕВ, Алина Александровна ПЕРЕСКОКОВА, Игорь Валерьевич НИКИФОРОВ, Денисс ПОСМЕТНЫЙС | ||
| "... » open-source software platform. Using the logs that the platform provides us, we can get psychometrics ..." | ||
| Том 36, № 4 (2024) | Объединение графов непосредственного следования и диаграмм Санкей для визуализации ациклических процессов | Аннотация похожие документы |
| Илья Денисович ДЕРЕЗОВСКИЙ, Никита Денисович ШАИМОВ, Ирина Александровна ЛОМАЗОВА, Алексей Александрович МИЦЮК | ||
| "... is implemented as a web-based tool that allows us, given an event log of an acyclic process, to construct ..." | ||
| Том 32, № 6 (2020) | Формальная верификация модели мандатного контроля целостности в операционной системе KasperskyOS | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич БУРЕНКОВ | ||
| "... ’s properties. For formalization, we use the Event-B language. We clarify parts specific to Event-B to make our ..." | ||
| Том 30, № 3 (2018) | Методы защиты децентрализованных автономных организаций от системных отказов и атак | Аннотация похожие документы |
| А. А. Андрюхин | ||
| "... on the basis of analysis of the subprocesses of border events and logs using the methods of Process Mining ..." | ||
| Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... generation) and logging (log fusion and visual representation) groups are presented. Code generation helps ..." | ||
| Том 28, № 6 (2016) | Подходы к представлению результатов анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
| А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов | ||
| Том 33, № 6 (2021) | Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы | Аннотация PDF (Rus) похожие документы |
| Денис Валентинович ЕФРЕМОВ, Виктория Владимировна КОПАЧ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... on conformance to Event-B models. ..." | ||
| Том 31, № 3 (2019) | Графический DSL для разработки мобильных приложений | Аннотация похожие документы |
| Артур Владимирович Гудиев, Александра Сергеевна Гражевская | ||
| "... and events connected with primitives can be described. Besides, code generator for UbiqMobile platform ..." | ||
| Том 22 (2012) | Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU | Аннотация PDF (Rus) похожие документы |
| К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян | ||
| "... into the log to allow latter replaying of deterministic part. The common thing in both approaches ..." | ||
| Том 27, № 2 (2015) | Методы повышения производительности обратной отладки | Аннотация PDF (Rus) похожие документы |
| М. А. Климушенкова, П. М. Довгалюк | ||
| "... and indexing/compressing of replay log. QEMU supports a common user interface for reverse debugging in GDB ..." | ||
| Том 30, № 1 (2018) | Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах | Аннотация похожие документы |
| И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман | ||
| "... log D+) message size and the same size of memory of each computing agent located in graph vertex ..." | ||
| Том 32, № 1 (2020) | Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков | ||
| "... the model is formalized using Event-B formal method and its correctness is formally verified ..." | ||
| Том 35, № 1 (2023) | Проблемы использования разговорных агентов для поддержки неформальных опекунов людей с деменцией | Аннотация похожие документы |
| Саманта ХИМЕНЕС, Хесус ФАВЕЛА, Анхелес КЕСАДА, Радж РАМАЧАНДРАН, Рейес ХУАРЕС-РАМИРЕС | ||
| "... caregivers take care of their PwD at home using conversational agents. We hope that the findings presented ..." | ||
| Том 27, № 2 (2015) | Об особенностях детерминированного воспроизведения при минимальном наборе устройств | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, К. А. Батузов, В. А. Падарян | ||
| "... is larger log size mostly because deterministic area doesn’t include hard disks so all data flows from disks ..." | ||
| Том 26, № 2 (2014) | Внесение неисправностей в программу с использованием детерминированного воспроизведения | Аннотация PDF (Rus) похожие документы |
| П. М. Довгалюк, Ю. В. Маркин | ||
| "... , and hardware timers. During replay we read these events from the log and put them back into the simulator ..." | ||
| 1 - 39 из 91 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
