Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 5 (2014) Стохастическая модель процесса идентификации сервисов информационной системы Аннотация  PDF (Rus)  похожие документы
Г. Н. Циперман
"... problem in a service-oriented architecture. Stochastic model of information system services identification ..."
 
Том 29, № 4 (2017) Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... In the paper we consider a method for mining so-called “hybrid” UML models, that refers to software ..."
 
Том 27, № 3 (2015) Iskra: Инструмент починки моделей процессов Аннотация  PDF (Rus)  похожие документы
И. Шугуров, А. Мицюк
"... and algorithms for discovery and analysis of business process models based on event logs. Process mining has ..."
 
Том 27, № 3 (2015) Редактор моделей процессов «Carassius» Аннотация  PDF (Rus)  похожие документы
Н. Никитина, А. Мицюк
"... Process models and graphs are commonly used for modeling and visualization of processes. They may ..."
 
Том 27, № 6 (2015) Расширение референтной модели облачной вычислительной среды в концепции крупномасштабных научных исследований Аннотация  PDF (Rus)  похожие документы
А. В. Скатков, В. И. Шевченко
"... of modern technologies and models of cloud services, cloud computing is executed in the publication ..."
 
Том 29, № 6 (2017) Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, Е. М. Новиков
"... requirements in target programs under certain assumptions even without complete models and formal ..."
 
Том 34, № 4 (2022) Алгоритм поиска специалистов с уникальными навыками на основе цифрового следа Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич ЛЕОНОВ, Андрей Александрович ЛАПТЕВ, Анастасия Александровна ЛАУШКИНА, Михаил Витальевич СИНЬКО, Олег Олегович БАСОВ
"... , необходимым становится создание сервиса для поиска эксклюзивных специалистов. Большая часть подобных ..."
 
Том 28, № 3 (2016) Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... are graphical models quite suitable for representing interactions in heterogeneous component systems ..."
 
Том 30, № 2 (2018) Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Аннотация  PDF (Rus)  похожие документы
А. Н. Авдеева, В. В. Пузикова
"... . Quasi-one dimensional models of blood flow through blood vessels are the most popular. They allow ..."
 
Том 29, № 4 (2017) Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа Аннотация  похожие документы
А. Р. Гималетдинова, К. Ю. Дегтярев
"... of fuzzy rules in line with graphical representation of system’s output. Based on Mamdani model, we propose ..."
 
Том 28, № 3 (2016) Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования Аннотация  похожие документы
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин
"... without losing the model's semantics is proposed. Existing problem of generating test cases for real ..."
 
Том 27, № 1 (2015) Сервисные средства интернет для решения бизнес-задач Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин
"... , CORBA object broker and services, JEE application server) is briefly described. Models of web services ..."
 
Том 26, № 6 (2014) Расширенные конечные автоматы с таймаутами для оценки удовлетворенности пользователя ОТТ сервисом Аннотация  PDF (Rus)  похожие документы
Д. Ривера, Н. Кушик, К. Фьюензалида, А. Кавалли, Н. Евтушенко
"... that predicts the quality the user perceives. In this paper we present a new approach to model multimedia OTT ..."
 
Том 32, № 4 (2020) Модели процессов, сопровождающих кристаллизацию переохлажденных капель Аннотация  PDF (Rus)  похожие документы
Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Альберт Леонидович СТАСЕНКО, Андрей Сергеевич ЩЕГЛОВ
"... work mathematical models of the crystallization features of a supercooled metastable liquid ..."
 
Том 27, № 6 (2015) Автоматизированное оперативное управление техногенными химико-технологическими объектами при возникновении запроектных аварийных ситуаций Аннотация  PDF (Rus)  похожие документы
Ю. Н. Матвеев, Н. А. Стукалова
"... of concentration of harmful impurities in the arbitrary point of the space and the mathematical model of processes ..."
 
Том 27, № 3 (2015) Сравнение моделей бизнес-процессов в формате BPMN 2.0 XML Аннотация  PDF (Rus)  похожие документы
Сергей Иванов, Анна Каленкова
"... Comparing business process models is one of the most significant challenges for business ..."
 
Том 30, № 1 (2018) Тесты на константные неисправности как веб-сервис Аннотация  похожие документы
Н. А. Шаляпина, А. А. Зайцев, С. В. Батрацкий, М. Л. Громов
"... domain enumeration for the stuck-at-faults fault model. It proved that the designed architecture ..."
 
Том 33, № 2 (2021) Оценка пользовательских историй на основе декомпозиции сложности с использованием байесовских сетей Аннотация  PDF (Rus)  похожие документы
Майра ДУРАН, Рейес ХУАРЕС-РАМИРЕС, Саманта ХИМЕНЕС, Клаудия ТОНА
"... the complexity of user stories through a model focused on the human aspects of developers. ..."
 
Том 33, № 2 (2021) Разработка Web-приложений с учетом элементов качества данных – DQAWA Аннотация  PDF (Rus)  похожие документы
Сезар Артуро ГУЕРРА-ГАРСИЯ, Гектор Херардо ПЕРЕС-ГОНСАЛЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Рейес ХУАРЕС-РАМИРЕС
"... application development. Considering the benefits offered in the field of Model Driven Web Engineering ..."
 
Том 28, № 4 (2016) Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... be formalized by mathematical model, authors offer new object behavior model. This model deals with objects ..."
 
Том 30, № 3 (2018) Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR Аннотация  похожие документы
С. Л. Лесовой
"... systems. By using a model-based approach it is possible to build an architecture model from the existing ..."
 
Том 33, № 5 (2021) Математические модели и методы расчета процессов, сопровождающих обледенение летательного аппарата Аннотация  PDF (Rus)  похожие документы
Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Андрей Сергеевич ЩЕГЛОВ
"... the interaction of aerosol flows with a solid. This work is devoted to the development of a model of particle ..."
 
Том 33, № 5 (2021) Особенности реализации эффективного алгоритма параллельных вычислений для моделирования обледенения стреловидного крыла с профилем GLC-305 Аннотация  PDF (Rus)  похожие документы
Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК
"... profile was studied. The possibilities of an efficient parallelization algorithm using a liquid film model ..."
 
Том 36, № 5 (2024) Архитектура открытого программного комплекса UEMKA для управления целевыми устройствами SMART-наноспутников Аннотация  PDF (Rus)  похожие документы
Георгий Александрович ЩЕГЛОВ, Кристина Александровна ЖДАНОВА, Зайнулла Серикович ЖУМАЕВ, Никита Дмитриевич КАМЕНЕВ
"... to use a nanosatellite simulation model for operational debugging and testing of the software package ..."
 
Том 29, № 4 (2017) Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов Аннотация  похожие документы
Р. А. Нестеров, И. А. Ломазова
"... involve several participants (or agents) managing and executing operations on the basis of process models ..."
 
Том 32, № 6 (2020) Формальная модель партицированной операционной системы реального времени на Promela Аннотация  похожие документы
Сергей Михайлович СТАРОЛЕТОВ
"... and memory between isolated partitions. Model-based Checking is a formal verification technique in which ..."
 
Том 26, № 6 (2014) Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей Аннотация  PDF (Rus)  похожие документы
Стефан Мааг
"... communicating systems. Model-based testing allows to automatize the testing process by generating test suites ..."
 
Том 30, № 5 (2018) Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки Аннотация  PDF (Rus)  похожие документы
О. С. Сороковикова, Д. В. Дзама, Д. Г. Асфандияров
"... State-of-the-art models of dispersion of contamination in the urban environment and industrial ..."
 
Том 25 (2013) Исследование и развитие метода декомпозиции для анализа больших пространственных данных Аннотация  PDF (Rus)  похожие документы
В. А. Золотов, В. А. Семенов
"... estimations are evaluated for model set of data. They generalize previous results and serve as theoretical ..."
 
Том 27, № 3 (2015) Языковой сервис FRIS для расширенной поддержки Fortran в Microsoft Visual Studio Аннотация  PDF (Rus)  похожие документы
И. С. Раткевич
"... programming language in the integrated development environment (IDE) Microsoft Visual Studio. The model ..."
 
Том 36, № 6 (2024) Модели зрелости управления проектами: систематический обзор литературы Аннотация  похожие документы
Хорхе Франсиско РУИС-ЛОПЕС, Хавьер ОРТИС-ЭРНАНДЕС, Эрик БОНЖУР, Жан-Пьер МИКАЭЛЛИ, Ясмин ЭРНАНДЕС
"... is maturity models. These models have already begun to be implemented in project management. Project ..."
 
Том 34, № 6 (2022) Математическое моделирование процесса течения газа в проточной части турбомолекулярного вакуумного насоса с использованием модели взаимодействия газа с поверхностью Черчиньяни-Лампис Аннотация  PDF (Rus)  похожие документы
Ульяна Саидовна ГОРДЕЕВА, Феликс Маратович ШАРИПОВ
"... the Cercignani-Lampis (CL) model was simulated. CL model was used as new boundary conditions when calculating ..."
 
Том 27, № 1 (2015) Обзор методов извлечения моделей из HDL-описаний Аннотация  PDF (Rus)  похожие документы
С. А. Смолов
"... In this paper a survey of existing methods of model extraction from hardware system descriptions ..."
 
Том 29, № 5 (2017) Логика первого порядка для задания требований к безопасному программному коду Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
 
Том 31, № 1 (2019) Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна Лаврищева, Вадим Сергеевич Мутилин, Святослав Владимирович Козин, Андрей Геннадьевич Рыжов
"... of the approach of creating systems, Web systems is a component model (CM), which includes functional, system ..."
 
Том 26, № 2 (2014) Комбинированный метод верификации масштабных моделей данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, С. В. Морозов, Д. В. Ильин
"... The paper is addressed to the actual problem of verification of large-scale data models applied ..."
 
Том 35, № 3 (2023) Синтез моделей процессов по журналам событий мультиагентных систем с помощью отношений между событиями Аннотация  похожие документы
Анастасия Андреевна ШЕРСТЮГИНА, Роман Александрович НЕСТЕРОВ
"... The structure of a process model directly discovered from an event log of a multi-agent system ..."
 
Том 32, № 5 (2020) Модельный подход к обеспечению безопасности и надежности Web-сервисов Аннотация  PDF (Rus)  похожие документы
Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ
 
Том 34, № 1 (2022) Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем Аннотация  похожие документы
Дарья Сергеевна РОМАНОВА, Олег Владимирович НЕПОМНЯЩИЙ, Игорь Николаевич РЫЖЕНКО, Александр Иванович ЛЕГАЛОВ, Наталья Юрьевна СИРОТИНИНА
"... процесса сквозного проектирования цифровых интегральных схем. Представлен метод и язык параллельного ..."
 
1 - 39 из 712 результатов 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 > >> 

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

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