Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 32, № 1 (2020) Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы Аннотация  PDF (Rus)  похожие документы
Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков
"... мандатное управление доступом (mandatory access control, MAC). Данная статья представляет результаты ..."
 
Том 32, № 1 (2020) Модель мандатного контроля целостности в операционной системе KasperskyOS Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Буренков, Дмитрий Александрович Кулагин
"... Существующие модели мандатного контроля целостности в операционных системах накладывают ..."
 
Том 30, № 5 (2018) Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... В статье представлено описание модели управления доступом на языке темпоральной логики действий ..."
 
Том 31, № 3 (2019) Поиск конфликтов доступа к данным в HDL-описаниях Аннотация  похожие документы
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов
"... При проектировании модулей цифровой аппаратуры могут возникать конфликты доступа к данным. Одним ..."
 
Том 30, № 2 (2018) Обзор расширяемого протокола аутентификации и его методов Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
 
Том 32, № 4 (2020) Общие подходы к проектированию подсистемы доступа высокопроизводительных вычислительных систем Аннотация  PDF (Rus)  похожие документы
Сергей Юрьевич МОКШИН
"... рассматриваются основные подходы по проектированию подсистемы доступа такой высокопроизводительной вычислительной ..."
 
Том 31, № 2 (2019) Сглаживание аномалий производительности сетей Wi-Fi на уровне MAC путем адаптивного выделения каналов Аннотация  похожие документы
Абид Хуссейн, Мухаммад Сафьян, Сохаил Сарвар, Зия Уль Кайум, Муддессар Икбал, Назар Аббас Сакиб
"... предлагаем алгоритм предотвращения аномалий на уровне управления доступом к среде (MAC), который назначает ..."
 
Том 22 (2012) Подход к восстановлению потока управления запутанной программы Аннотация  PDF (Rus)  похожие документы
И. Н. Ледовских, М. Г. Бакулин
"... Запутывание потока управления является одним из наиболее распространенных способов защиты бинарного ..."
 
Том 30, № 5 (2018) Формализация метамодели системы управления требованиями Аннотация  PDF (Rus)  похожие документы
Д. С. Кильдишев, А. В. Хорошилов
"... В рамках данной статьи рассматривается метамодель, лежащая в основе системы управления требованиями ..."
 
Том 30, № 6 (2018) Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
 
Том 31, № 1 (2019) Управление требованиями к ответственным системам. Обзор решений Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Хорошилов, Наталья Кирилловна Горелиц, Денис Степанович Кильдишев
"... выделенного набора типовых задач формируется методика рассмотрения и оценки инструментов управления ..."
 
Том 30, № 3 (2018) Статический анализ зависимостей для семантической валидации данных Аннотация  похожие документы
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов
"... валидации и обеспечения возможности управления данными в соответствии с принципами ACID. ..."
 
Том 26, № 6 (2014) Масштабируемый метод оценки управления доверием на основе распределенных систем онлайн мониторинга Аннотация  PDF (Rus)  похожие документы
Х. Лопез, С. Мааг, Ж. Моралес
"... сетевого он-лайн мониторинга. Предложенная оценка предоставляет системам управления, основанным на «мягком ..."
 
Том 29, № 6 (2017) Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем Аннотация  похожие документы
А. И. Ряховский, А. А. Шмидт, В. И. Антонов
"... инструментарий для исследования концепции магнитогидродинамического управления потоком и его возможных применений ..."
 
Том 26, № 5 (2014) Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде Аннотация  PDF (Rus)  похожие документы
И. В. Бычков, Г. А. Опарин, А. Г. Феоктистов, В. Г. Богданова, А. А. Пашинин
"... , обеспечивающие эффективное управление комбинированными потоками заданий масштабируемых сервис-ориентированных ..."
 
Том 27, № 6 (2015) Сравнительный анализ методов оценки производительности многоуровневых облачных приложений Аннотация  PDF (Rus)  похожие документы
Г. Р. Гарай, А. Черных, А. Ю. Дроздов
"... : основанным на теории очередей и основанным на теории управления. В центре внимания находятся возможности этих ..."
 
Том 30, № 5 (2018) Онтологический репозиторий для CFD-расчетов Аннотация  PDF (Rus)  похожие документы
В. А. Зенкин
 
Том 31, № 3 (2019) Автономная верификация IOMMU с поддержкой виртуализации Аннотация  похожие документы
Антон Алексеевич Петрыкин, Ирина Аркадьевна Стотланд, Алексей Николаевич Мешков
"... В данной статье представлен подход к автономной верификации блока управления памятью ввода / вывода ..."
 
Том 26, № 2 (2014) Снижение неоднозначности в оценке состояния объекта при управлении по прецедентам Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... управления сложными объектами на основе прецедентов. В ситуации, когда трудно или невозможно получить точную ..."
 
Том 32, № 1 (2020) В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Кузнецов
"... Многие специалисты в области управления данными считают, что появление доступной для практического ..."
 
Том 28, № 2 (2016) Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли Аннотация  похожие документы
И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц
"... в частности. Приведено обоснование важности и актуальности использования дисциплины управления ..."
 
Том 28, № 4 (2016) Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению Аннотация  PDF (Rus)  похожие документы
В. Н. Юдин, Л. Е. Карпов
"... В рамках прецедентного подхода к управлению сложными объектами, не поддающимися формализации в виде ..."
 
Том 29, № 5 (2017) Проектирование моделей вариабельности для программных, операционных систем и их семейств Аннотация  похожие документы
Е. М. Лаврищева, В. С. Мутилин, А. Г. Рыжов
"... вариабельности существующих, новых ПС и их семейств. Определена новая концепция управления вариабельностью с ..."
 
Том 26, № 1 (2014) Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, А. С. Аничкин, С. В. Морозов, О. А. Тарлапан, В. А. Золотов
"... Эффективное управление проектами предполагает использование развитых методов календарно-сетевого ..."
 
Том 27, № 3 (2015) Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. С. Проценко, А. Д. Татарников
"... управления памятью микропроцессора. В основе метода лежат формальные спецификации инструкций доступа к памяти ..."
 
Том 32, № 3 (2020) Анализ загруженности трафика на главных улицах электронного города c применением индекса перегрузки и искусственной нейронной сети (на примере города Хамедан) Аннотация  PDF (Rus)  похожие документы
Мехди ШИРМОХАММАДИ, Мансур ЭСМАИЛПУР
"... трафика главной дорожной сети города Хамедан на основе данных о скорости, собранных системой управления ..."
 
Том 32, № 2 (2020) Применение технологии машинного обучения для анализа вероятности выигрыша тендера на выполнение проекта Аннотация  похожие документы
Никита Борисович КУЛЬТИН, Данила Никитич КУЛЬТИН, Роман Владимирович БАУЭР
 
Том 32, № 2 (2020) Анализ российского программного обеспечения для поддержки жизненного цикла разработки бортовых систем в условиях политики импортозамещения Аннотация  похожие документы
Наталья Кирилловна ГОРЕЛИЦ, Александра Сергеевна ГУКОВА, Дмитрий Владимирович КРАСНОЩЕКОВ
 
Том 28, № 6 (2016) Моделирование семейств программных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Лаврищева, А. К. Петренко
 
Том 30, № 1 (2018) Принципы построения системы обеспечения жизненного цикла ответственных систем Аннотация  похожие документы
Б. А. Позин
 
Том 24 (2013) Роль предыстории при оценке сложного объекта в управлении по прецедентам Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... Построение системы управления для нестационарных объектов - это дальнейшее развитие подхода к ..."
 
Том 19 (2010) Многопараметрическое управление на основе прецедентов Аннотация  PDF (Rus)  похожие документы
Л. Е. Карпов, В. Н. Юдин
"... Ведущаяся разработка связана с решением задачи многопараметрического управления объектом со сложным ..."
 
Том 18 (2010) Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам Аннотация  PDF (Rus)  похожие документы
Е. В. Корныхин
"... , более точно модулей управления памяти. В статье описывается метод построения тестов (тестовой программы ..."
 
Том 32, № 3 (2020) Использование компьютерных методов и систем в изучении права, интеллектуальном анализе и моделировании правовой деятельности: систематический обзор Аннотация  PDF (Rus)  похожие документы
Егор Викторович ТРОФИМОВ, Олег Геннадьевич МЕЦКЕР
 
Том 31, № 3 (2019) Репутационные системы в электронной коммерции: Сравнительный анализ и перспективы моделирования присущей им нечеткости Аннотация  похожие документы
Михаил Михайлович Носовский, Константин Юрьевич Дегтярев
 
Том 30, № 4 (2018) Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Аннотация  похожие документы
Н. К. Горелиц, А. С. Гукова, Е. В. Песков
"... -178С, КТ-254, Р-4754, Р 4761 и др. В статье рассматривается процесс управления конфигурацией при ..."
 
1 - 36 из 36 результатов

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

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