Поиск


Сортировать по:     
 
Выпуск Название
 
Том 25, № 6 (2018) Перевод моделей Event-B в Eiffel Аннотация  похожие документы
Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара
"... generates an actual Eiffel code of the Event-B model, but also translates model properties as contracts ..."
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... Bounded model checking (BMC) of C/C++ programs is a matter of scientific enquiry that attracts ..."
 
Том 24, № 4 (2017) Использование журналов событий для локальной корректировки моделей процессов Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст
"... that reflects the current system behaviour. To correct the model, the information from the event log ..."
 
Том 21, № 4 (2014) Синтез моделей процессов по журналам событий с шумом Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Иван Сергеевич Шугуров
"... , and data mining. One of the main tasks of process mining is the model synthesis (discovery) based on event ..."
 
Том 21, № 5 (2014) Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
"... the use of information from event logs describing the history of the system behavior plays an important ..."
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... is very similar to the bounded model checking, which also has to deal with generating models from a source ..."
 
Том 24, № 2 (2017) Построение высокоуровневой модели процесса по журналу событий Аннотация  похожие документы
Антонина Константиновна Бегичева, Ирина Александровна Ломазова
"... process model from a low-level event log, i.e. automatic synthesis of process models based ..."
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... and security. Abstract models for SDN can tackle these challenges. This paper addresses to confidentiality ..."
 
Том 22, № 3 (2015) СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? Аннотация  похожие документы
А. К. Бегичева, И. А. Ломазова
"... and analysis based on event logs. In this paper we consider the problem of models and event logs conformance ..."
 
Том 25, № 6 (2018) Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов Аннотация  PDF (Rus)  похожие документы
Анна Алексеевна Каленкова, Данил Александрович Колесников
"... genetic algorithm applied to find distances between process models discovered from event logs ..."
 
Том 17, № 3 (2010) Язык объектных запросов динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
В. С. Рублев
"... should allow us to describe a simple data query of this model. ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... The article considers the specifics of a model oriented approach to software development based ..."
 
Том 21, № 6 (2014) Поддержка эволюции визуальных языков в платформе QReal Аннотация  PDF (Rus)  похожие документы
Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин
"... Like other software artefacts, DSMLs evolve in time. When a DSML changes, instance models might ..."
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... in the form of a protocol known as OpenFlow. In this paper we describe an abstract formal model of SDN ..."
 
Том 25, № 5 (2018) Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae Аннотация  похожие документы
Томас Баар, Сергей Михайлович Старолетов
"... systems (CPSs). It implements a Dynamic Logic for Hybrid Programs (HPs), while a HP models a CPS very ..."
 
Том 14, № 1 (2007) Синхронная модель автоматной программы Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов, В. А. Соколов
"... This article presents a model of automaton program that satisfies synchronous model requirements ..."
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
"... determines the system termination. In our approach, the model checking tool SPIN is used. The protocols ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... to the problem of reproducibility and formalization of the microtask crowdsourcing process. A computational model ..."
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев
"... Модели систем на языке SystemC, как правило, являются параллельными программами и поэтому могут ..."
 
Том 19, № 4 (2012) Контекстно-свободная грамматика одной ритмической модели русского стиха Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков
"... A formal model of the Russian verse based on the accentual segmentation of its structure ..."
 
Том 18, № 2 (2011) Организация выполнения объектных запросов в динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич Рублев
 
Том 25, № 6 (2018) Онтология процессов, ориентированная на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова
"... to the local operational semantics of separate process instances in the interleaving model. We specialize ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... due to simplification assumptions these techniques make about the code model. We present a novel ..."
 
Том 18, № 4 (2011) Типовые примеры использования языка Atoment Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... language, covering topics such as program models, operational, transformational and axiomatic semantics ..."
 
Том 15, № 1 (2008) Объектное расширение PL/ODQL языка запросов ODQL для Динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
Д. С. Писаренко
"... Рассматривается задача создания вычислительно полного расширения объектно-динамического языка ..."
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... standard. We use the Cadence SMV for symbolic model checking. Program properties are written in the linear ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... evaluate the usability of the model checking method for the analysis of program correctness with respect ..."
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Антонов, В. С. Рублев
"... of subject domain is entered by means of an object and dynamic data model (OD-model), and DIM DBMS ..."
 
Том 20, № 2 (2013) Единая модель для геоклассификации веб-сайтов Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Волков
"... the traditional approaches, which generally involve training a separate classification model for each class ..."
 
Том 21, № 4 (2014) Исследование примитивных схем программ с процедурами Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко
"... The paper considers algebraic program models with procedures designed to analyze program semantic ..."
 
Том 25, № 5 (2018) О методах верификации и разработки программ развития сельскохозяйственных территорий Аннотация  PDF (Rus)  похожие документы
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов
"... for constructing a domain model using the PDDL family description languages is described. The description ..."
 
Том 17, № 2 (2010) Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри Аннотация  PDF (Rus)  похожие документы
М. Г. Доррер
"... A mechanism allowing the unique conversion of an event-based business process model of the ARIS EPC ..."
 
Том 19, № 5 (2012) О теории алгебраических моделей программ с процедурами Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
"... Algebraic program models with procedures are designed to analyze program semantic properties ..."
 
Том 21, № 6 (2014) Подход к автоматизации отладки поведенческих сценариев Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко
"... The paper presents two approaches to debugging the application model behavior scenarios: semi ..."
 
Том 23, № 2 (2016) Построение хранилища данных с динамической структурой Аннотация  PDF (Rus)  похожие документы
Ю. Н. Артамонов
"... . The contradiction between data presentation in the real subject domain and the model of data presentation ..."
 
Том 20, № 2 (2013) Построение модели для извлечения оценочной лексики в различных предметных областях Аннотация  PDF (Rus)  похожие документы
Наталья Валентиновна Лукашевич, Илья Игоревич Четвёркин
"... words in a particular domain. The extraction model was trained in the movie domain and then applied ..."
 
Том 25, № 4 (2018) Оптимизация инварианта цикла в языке Пифагор Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов
"... , applied to the functional data-flow model implemented in the Pifagor programming language. Optimization ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... models of concurrency and methods of distributed system verification. The paper presents an individual ..."
 
Том 24, № 4 (2017) Исследование одной марковской модели угроз безопасности компьютерных систем Аннотация  PDF (Rus)  похожие документы
Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
"... In this work, a model for computer system security threats formulated in terms of Markov processes ..."
 
Том 23, № 4 (2016) Компьютерное моделирование "Интеллектуального здания" Аннотация  PDF (Rus)  похожие документы
О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков
"... the authors present a computer model ”Smart building” which allows to model the work of main engineering ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... specify networks of parallel compositions of the processes. The method is based on model checking ..."
 
Том 20, № 2 (2013) Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц Аннотация  PDF (Rus)  похожие документы
Иван Вадимович Губочкин
"... The article considers the problem of estimating autoregressive model parameters of elementary ..."
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация  PDF (Rus)  похожие документы
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
"... This article presents a method for the analysis and verification of Use Case Maps (UCM) models ..."
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... on the relational model and it proposes the concept of database cluster designed for applications with a multi ..."
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
"... The paper describes a mathematical model of trade flows between the territories of a region ..."
 
Том 22, № 5 (2015) Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии Аннотация  PDF (Rus)  похожие документы
А. М. Ковалева, Д. А. Куликов
"...  and can be interpreted as a development of the well-known Bradley-Harper model. It is shown ..."
 
Том 17, № 3 (2010) Составные редукции моделей Крипке и автоморфизмы Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов
"... Kripke factor-model concept is investigated. It is shown, that every factor-model is representexl ..."
 
Том 21, № 6 (2014) Инкрементальный подход к технологии создания тестов для индустриальных проектов Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский
"... заказчика с использованием формальных моделей, методов символьной верификации и автоматической генерации ..."
 
Том 24, № 1 (2017) Перераспределение, производство и неравенство Аннотация  похожие документы
Алексей Владимирович Захаров, Владимир Евгеньевич Захаров
"... We use an infinite-dimensional Lotka–Volterra model to analyze production, accumulation ..."
 
Том 19, № 6 (2012) Дедуктивная верификация телекоммуникационных систем, представленных на языке Си Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... Предложен дедуктивный подход к верификации телекоммуникационных систем, представленных на языке C ..."
 
Том 14, № 3 (2007) О вербальной модели диссертационной работы Аннотация  похожие документы
Ю. Г. Гущин
 
Том 24, № 3 (2017) Математическая модель эксперимента Николсона Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин
"... Considered  is a mathematical model of insects  population dynamics,  and  an attempt is made ..."
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация  PDF (Rus)  похожие документы
И. В. Коннов, В. А. Захаров
"... by exploring an extended state space. In this paper we show that the technique is applicable to LTL model ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... необходимыми в процессе программирования новых алгоритмов анализа моделей программ, в частности, они могут ..."
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
"... In the article an approach to constructing in terms of Petri nets a function model as a program ..."
 
Том 18, № 4 (2011) Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов Аннотация  PDF (Rus)  похожие документы
Сергей Николаевич Баранов, Всеволод Павлович Котляров
"... The considered model is used in manual development of application specifications and is based ..."
 
Том 18, № 4 (2011) Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока
"... of software vulnerabilities using the SPIN model checker. We discuss how this approach can be implemented ..."
 
Том 23, № 2 (2016) О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики Аннотация  PDF (Rus)  похожие документы
Т. В. Прохорова
"... is isomorphic to a variety V (we call π : X → C an arithmetic model of a variety V ). M. Artin conjectured ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
"... We consider a problem of integrating a formal method of verification (model checking ..."
 
Том 17, № 4 (2010) Проверка моделей распределенных систем с помощью аффинного представления данных Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина
"... A new data structure is suggested for symbolic model checking of distributed systems defined ..."
 
Том 17, № 2 (2010) Мультистабильность в модели лазера с большим запаздыванием Аннотация  PDF (Rus)  похожие документы
Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко
"... A dynamical model of laser generation based on monomode balance equations with delay is studied ..."
 
1 - 75 из 494 результатов 1 2 3 4 5 6 7 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)