Сортировать по:
| Выпуск | Название | |
| Том 35, № 3 (2023) | Подходы к развертыванию в распределенной обработке сложных событий | Аннотация похожие документы |
| Арсений Андреевич ЗОРИН, Ирина Евгеньевна ЧЕРНЕЦКАЯ | ||
| "... for CEP event handlers. These strategies define how the event handlers are distributed over different ..." | ||
| Том 33, № 3 (2021) | Механизированная теория структур событий: случай параллельной регистровой машины | Аннотация похожие документы |
| Владимир Петрович ГЛАДШТЕЙН, Дмитрий Владимирович МИХАЙЛОВСКИЙ, Евгений Александрович МОИСЕЕНКО, Антон Александрович ТРУНОВ | ||
| "... The true concurrency models, and in particular event structures, have been introduced in the 1980s ..." | ||
| Том 35, № 3 (2023) | Синтез моделей процессов по журналам событий мультиагентных систем с помощью отношений между событиями | Аннотация похожие документы |
| Анастасия Андреевна ШЕРСТЮГИНА, Роман Александрович НЕСТЕРОВ | ||
| "... The structure of a process model directly discovered from an event log of a multi-agent system ..." | ||
| Том 36, № 1 (2024) | Систематический обзор литературы по визуальному распознаванию событий с людьми: выявление значимых событий и их применение | Аннотация похожие документы |
| Мария Луиза КОРДОБА-ТЛАКСКАЛЬТЕКО, Эдгард БЕНИТЕС-ГЕРРЕРО | ||
| "... The field of vision-based human event recognition in smart environments has emerged as a thriving ..." | ||
| Том 24 (2013) | Автоматизация регрессионного тестирования при помощи анализа трасс событий | Аннотация PDF (Rus) похожие документы |
| Владимир Федотов | ||
| "... in the domain of testing. Different approach relies on analyzing system's events trace that is provided either ..." | ||
| Том 23 (2012) | Обнаружение периодических наборов событий во временных базах данных | Аннотация PDF (Rus) похожие документы |
| Е. A. Иванникова. | ||
| "... sets detection and suggest the method for its solution. The existing algorithms for the periodic event ..." | ||
| Том 28, № 3 (2016) | Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... In this paper, we consider an approach to reverse engineering of UML sequence diagrams from event ..." | ||
| Том 31, № 4 (2019) | Симуляция сетей Петри с ингибиторными дугами и дугами сброса | Аннотация похожие документы |
| Павел Алексеевич Перцухов, Алексей Александрович Мицюк | ||
| "... Event logs of software systems are used to analyze their behaviour and inter-component interaction ..." | ||
| Том 30, № 3 (2018) | Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами | Аннотация похожие документы |
| Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова | ||
| "... one to generate a set of event logs. We suggest our approach to be used for evaluating process ..." | ||
| Том 31, № 4 (2019) | Метод построения UML диаграмм деятельности по журналам событий | Аннотация похожие документы |
| Наталья Сергеевна Зубкова, Сергей Андреевич Шершаков | ||
| "... from event logs, recorded by information systems, can provide valuable insights into real flows ..." | ||
| Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... architecture (SOA), given in the form of event logs. While common reverse engineering techniques usually ..." | ||
| Том 32, № 4 (2020) | Двухшаговый метод объединения новостей в сюжеты | Аннотация PDF (Rus) похожие документы |
| Кирилл Андреевич СКОРНЯКОВ, Анна Сергеевна ЛАСКИНА, Денис Юрьевич ТУРДАКОВ | ||
| "... science. The paper is devoted to the part of the news stream analysis which is called “event detection ..." | ||
| Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
| "... . Currently, almost every real-time operating system (RV OS) has event tracking software. The goal ..." | ||
| Том 28, № 3 (2016) | Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram | Аннотация похожие документы |
| Д. И. Самохвалов, Л. В. Дворянский | ||
| "... in the form of the executable code for event-driven systems based on the Telegram platform. We augment the NP ..." | ||
| Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
| "... model and allow to check different execution paths in GUI event handler code. We have checked our hybrid ..." | ||
| Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация похожие документы |
| И. С. Шугуров, А. А. Мицюк | ||
| "... and improvement, which are based on studying their execution history (event logs). Conformance checking is one ..." | ||
| Том 36, № 4 (2024) | Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ | ||
| Том 28, № 6 (2016) | Динамическая компиляция SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
| Р. А. Бучацкий, Е. Ю. Шарыгин, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник, Р. В. Баев | ||
| "... by indirect calls to handler functions and runtime checks, which could be avoided if the query were compiled ..." | ||
| Том 32, № 1 (2020) | Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
| Михаил Вячеславович Пантилимонов, Рубен Артурович Бучацкий, Роман Александрович Жуйков | ||
| "... plan interpretation. The overhead comes from indirect calls to handler functions, runtime checks ..." | ||
| Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация похожие документы |
| Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
| "... of various kind of software assets — product database, events and event handlers, target code data structures ..." | ||
| Том 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 ..." | ||
| Том 28, № 4 (2016) | Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
| Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник | ||
| "... by indirect calls to handler functions and runtime checks, which could be avoided if the query were compiled ..." | ||
| Том 33, № 6 (2021) | Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы | Аннотация PDF (Rus) похожие документы |
| Денис Валентинович ЕФРЕМОВ, Виктория Владимировна КОПАЧ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... on conformance to Event-B models. ..." | ||
| Том 32, № 2 (2020) | Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации | Аннотация похожие документы |
| Дмитрий Алексеевич ЛЕБЕДЕВ, Виталий Николаевич КУЦЕВОЛ | ||
| "... module discrete-event with time accounting reference model was used. Sequences of primary requests ..." | ||
| Том 32, № 1 (2020) | Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков | ||
| "... the model is formalized using Event-B formal method and its correctness is formally verified ..." | ||
| Том 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, № 6 (2023) | Рефлексы прамонгольских гласных в южно-монгольских языках | Аннотация PDF (Rus) похожие документы |
| Заяна Игоревна ЧУШКАЕВА | ||
| "... , were influenced by Chinese and Turkic languages, various historical events had an undoubted influence ..." | ||
| Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) похожие документы |
| А. В. Хорошилов, И. В. Щепетков | ||
| "... the Event-B modelling notation and the Rodin platform, whose rigour is used to obtain the desired security ..." | ||
| Том 36, № 3 (2024) | Автоматизированное извлечение фактов из табличных данных на основе семантического аннотирования таблиц | Аннотация похожие документы |
| Никита Олегович ДОРОДНЫХ, Александр Юрьевич ЮРИН | ||
| "... виде специализированного обработчика, входящего в состав платформы Talisman. В статье также ..." | ||
| Том 26, № 1 (2014) | Анализ социальных сетей: методы и приложения | Аннотация PDF (Rus) похожие документы |
| Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов | ||
| "... , event detection in messages corpora, user identity resolution, community detection, and influence ..." | ||
| Том 36, № 4 (2024) | Объединение графов непосредственного следования и диаграмм Санкей для визуализации ациклических процессов | Аннотация похожие документы |
| Илья Денисович ДЕРЕЗОВСКИЙ, Никита Денисович ШАИМОВ, Ирина Александровна ЛОМАЗОВА, Алексей Александрович МИЦЮК | ||
| "... is implemented as a web-based tool that allows us, given an event log of an acyclic process, to construct ..." | ||
| Том 31, № 2 (2019) | Гибридная модель для эффективного обнаружения аномалий в кратковременных последовательностях кривых блеска GWAC и аналогичных наборах данных | Аннотация PDF (Rus) похожие документы |
| Инь Сан, Зиджун Жао, Сяобин Ма, Чжихуэй Ду | ||
| "... planets. In particular, to search short-timescale microlensing (ML) events from high-cadence and wide ..." | ||
| Том 35, № 1 (2023) | Разработка и реализация средства тестирования на устойчивость хранимых данных для приложений, основанных на файловых системах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Кириллович РОДИОНОВ, Сергей Дмитриевич КУЗНЕЦОВ | ||
| "... . The tool is based on collecting events from the interaction of the application with the file system ..." | ||
| Том 36, № 1 (2024) | Количественные и качественные подходы к изучению уровня вовлеченности пользователей Facebook* | Аннотация похожие документы |
| Паола Эльвира ВЕЛАСКЕС-СОЛИС, Хорхе Едуардо ИБАРРА-ЭСКЕР, Мария Анжелика АСТОРГА-ВАРГАС, Бренда Летиция ФЛОРЕС-РИОС, Моника КАРИЙО-БЕЛЬТРАН, Иван Антонио ГАРСИЯ ПАЧЕКО | ||
| "... in dissemination of scientific content, news, and events. We focused on social media processes based on Spearman ..." | ||
| Том 33, № 1 (2021) | Цифровые двойники в туманных вычислениях: организация обработки данных с сохранением состояния на базе микропотоков работ | Аннотация PDF (Rus) похожие документы |
| Амир Басим Абдуламир АЛААСАМ, Глеб Игоревич РАДЧЕНКО, Андрей Николаевич ЧЕРНЫХ, Хосе Луис ГОНСАЛЕС-КОМПЕАН | ||
| "... with the entities of the physical world. The concept of stream computing enables effective processing of events ..." | ||
| Том 34, № 5 (2022) | Оценка сверху числа активных таймеров в сетях Петри с временными дугами с помощью динамических систем точек на графах | Аннотация похожие документы |
| Леонид Владимирович ДВОРЯНСКИЙ | ||
| "... in discrete geometry dynamics; DP-system combines continuous time and discrete branching events and used ..." | ||
| Том 27, № 3 (2015) | Редактор моделей процессов «Carassius» | Аннотация PDF (Rus) похожие документы |
| Н. Никитина, А. Мицюк | ||
| "... represent sets of objects or events linked with each other in some way. Wide use of models in such languages ..." | ||
| Том 30, № 3 (2018) | Методы защиты децентрализованных автономных организаций от системных отказов и атак | Аннотация похожие документы |
| А. А. Андрюхин | ||
| "... on the basis of analysis of the subprocesses of border events and logs using the methods of Process Mining ..." | ||
| 1 - 39 из 76 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
