Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 5 (2018) Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... объекта в объект, исключение вложенного объекта, утверждение объекта (документа), отправка объекта ..."
 
Том 21 (2011) Извлечение объектов и их атрибутов из таблиц текстовых документов Аннотация  PDF (Rus)  похожие документы
Никита Астраханцев
"... . В рамках задачи извлечения объектов из HTML-таблиц предлагаются методы, решающие следующие проблемы ..."
 
Том 32, № 4 (2020) Использование синтетических данных для тонкой настройки моделей сегментации документов Аннотация  PDF (Rus)  похожие документы
Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ, Илья Сергеевич КОЗЛОВ
"... В рамках задачи автоматического анализа документов мы решаем задачу сегментации изображений ..."
 
Том 34, № 6 (2022) Автоматическая разметка данных для сегментации изображений документов с использованием глубоких нейронных сетей Аннотация  PDF (Rus)  похожие документы
Андрей Анатольевич МИХАЙЛОВ
"... изображений документов с помощью глубоких нейронных сетей обнаружения объектов. В качестве исходных данных для ..."
 
Том 34, № 3 (2022) Унифицированная система типов для современного языка программирования общего назначения Аннотация  похожие документы
Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ
"... статической проверке типов с использование их автоматического вывода и возможностью гарантии целости типов при ..."
 
Том 29, № 6 (2017) Эталонные тесты безопасности нулевых ссылок при инициализации объекта Аннотация  похожие документы
А. В. Когтенков
"... нулевыми ссылками, оказывается недостаточным во время инициализации объекта, когда некоторые поля ..."
 
Том 30, № 2 (2018) Алгоритм удаления невидимых поверхностей на основе программных проверок видимости Аннотация  PDF (Rus)  похожие документы
В. И. Гонахчян
"... обрабатываемых объектов используются методы удаления невидимых поверхностей. В статье рассматривается семейство ..."
 
Том 36, № 3 (2024) Точный метод отслеживания объектов в реальном времени для устройств с ограниченными ресурсами Аннотация  похожие документы
Армен САРДАРЯН, Вардан СААКЯН, Ваагн МЕЛКОНЯН, Севак САРГСЯН
"... В данной статье рассматривается проблема отслеживания одиночных объектов на устройствах ..."
 
Том 35, № 1 (2023) Исследование встречаемости небезопасно сериализованных программных объектов в клиентском коде веб–приложений Аннотация  PDF (Rus)  похожие документы
Денис Дмитриевич МИРОНОВ, Даниил Алексеевич СИГАЛОВ, Максим Петрович МАЛЬКОВ
"... объектов на стороне сервера. В результате данной проверки были найдены ранее неизвестные публично ..."
 
Том 29, № 5 (2017) Логика первого порядка для задания требований к безопасному программному коду Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... В настоящее время вопросу защиты информации при проектировании и эксплуатации объектов критической ..."
 
Том 32, № 4 (2020) Модель производительности графического конвейера для однопроходной схемы рендеринга динамических трехмерных сцен Аннотация  PDF (Rus)  похожие документы
Вячеслав Игоревич ГОНАХЧЯН
"... методы и техники: отсечение объектов с использованием методов пространственной декомпозиции ..."
 
Том 26, № 5 (2014) Стохастическая модель процесса идентификации сервисов информационной системы Аннотация  PDF (Rus)  похожие документы
Г. Н. Циперман
"... исходных данных дать оценку ожидаемого количества объектов проекта и связей между ними. Модель основана ..."
 
Том 30, № 3 (2018) Статический анализ зависимостей для семантической валидации данных Аннотация  похожие документы
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов
"... объектов данных, подлежащих проверке, формируется двудольный граф зависимостей по данным. Для ..."
 
Том 37, № 4: часть 1. июль-август Реализация гибкой системы управления доступом в приложении Аннотация  PDF (Rus)  похожие документы
Тимур Игоревич ВАСИЛЬЕВ
"... в зависимости от статусов объектов, ролей пользователей и нужд бизнеса. В качестве примера рассмотрена ..."
 
Том 30, № 6 (2018) Минимальный базис модуля сизигий старших членов Аннотация  PDF (Rus)  похожие документы
А. В. Шокуров
"... Системы полиномиальных уравнений - один из наиболее универсальных математических объектов. Почти ..."
 
Том 30, № 3 (2018) Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR Аннотация  похожие документы
С. Л. Лесовой
"... в каждом разделе, объекты для взаимодействия между процессами внутри и за пределами раздела, а также ..."
 
Том 29, № 4 (2017) Автоматизированная генерация типовых контрактов для языка Ruby Аннотация  похожие документы
Н. Ю. Вьюгинов, В. С. Фондаратов
"... позволяет улучшить типобезопасность и производить более надёжные статические проверки того, определён ..."
 
Том 36, № 1 (2024) Систематический обзор литературы по визуальному распознаванию событий с людьми: выявление значимых событий и их применение Аннотация  похожие документы
Мария Луиза КОРДОБА-ТЛАКСКАЛЬТЕКО, Эдгард БЕНИТЕС-ГЕРРЕРО
"... объектом и человеком, изучая их практическое применение в образовательном контексте. Документ завершается ..."
 
Том 37, № 6: часть 2. ноябрь-декабрь Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом Аннотация  PDF (Rus)  похожие документы
Петр Николаевич ДЕВЯНИН, Сергей Сергеевич ЖИЛЯКОВ, Александр Игоревич СМИРНОВ
"... (объектов доступа, файлов, каталогов, сокетов и др.) и субъектов (процессов) эти механизмы имеют сложную ..."
 
1 - 19 из 19 результатов

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

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