Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 3 (2016) Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений Аннотация  похожие документы
П. П. Олейник, С. М. Салибекян
"... The article describes two approaches for control access rights based on role approach (RBAC ..."
 
Том 30, № 5 (2018) Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... /delete a subject, read, write, append (blind write), create/delete an object, grant/remove access rights ..."
 
Том 29, № 6 (2017) Декомпиляция объектных файлов *.dcuil Аннотация  PDF (Rus)  похожие документы
А. А. Михайлов, А. Е. Хмельнов
 
Том 35, № 2 (2023) Пути организации параллельного доступа к структурированным данным Аннотация  PDF (Rus)  похожие документы
Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН, Дмитрий Владимирович ИВАНКОВ, Евгений Александрович БЕКЕТОВ
"... access designed to solve problems of physical and mathematical modeling of various processes and objects ..."
 
Том 21 (2011) Обзор моделей данных объектно-ориентированных СУБД Аннотация  PDF (Rus)  похожие документы
А. М. Эльдарханов
"... Object-oriented DBMS theory is one of the most prospective areas of modern database theory, along ..."
 
Том 27, № 3 (2015) Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений Аннотация  PDF (Rus)  похожие документы
Павел Петрович Олейник
"... The paper presents a unified model for testing tools for object-oriented application development ..."
 
Том 29, № 3 (2017) Объектно-ориентированный каркас для программной реализации приложений теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... present an innovative object-oriented Scheduling Application Framework (SAF) designed to simplify ..."
 
Том 27, № 3 (2015) Подход к верификации модуля прямого доступа к памяти Аннотация  PDF (Rus)  похожие документы
В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов
"... A method of direct memory access subsystem verification used for “Elbrus” series microprocessors ..."
 
Том 27, № 1 (2015) Объектные модели ODMG и SQL десять лет спустя: нет противоречий Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... 3.0 (ODMG object model) and the SQL:2003 (SQL data model) and convincingly (as it seemed to me ..."
 
Том 33, № 5 (2021) Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой Аннотация  PDF (Rus)  похожие документы
Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ
"... of standards STEP (ISO 10303) has been developed and employed. The STEP defines an object-oriented language ..."
 
Том 28, № 2 (2016) Дизайн средств обобщённого программирования в объектно-ориентированных языках: ключевые решения Аннотация  похожие документы
Ю. В. Белякова
"... It is generally considered that object-oriented (OO) languages provide weaker support for generic ..."
 
Том 35, № 2 (2023) Объектно-ориентированный подход к поддержке сценариев в системах оптического моделирования Аннотация  PDF (Rus)  похожие документы
Михаил Сергеевич КОПЫЛОВ, Николай Борисович ДЕРЯБИН, Евгений Юрьевич ДЕНИСОВ
"... redundant additional code. The result is a user-friendly object-oriented API that describes all aspects ..."
 
Том 29, № 5 (2017) Объектно-ориентированная среда для разработки приложений планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
"... an object-oriented paradigm the framework includes a wide variety of ready-to-use components that provide ..."
 
Том 28, № 2 (2016) Моделирование конвейера распознавания людей в системах контроля доступа Аннотация  похожие документы
Ф. Гёссен, Т. Маргариа, Т. Гёке
 
Том 29, № 5 (2017) Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан
"... based on an object-oriented framework. The used framework is a system of classes and interfaces intended ..."
 
Том 30, № 2 (2018) Обзор расширяемого протокола аутентификации и его методов Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... (verifier) to make sure that this statement is legitimate. Authentication is widely used in access control ..."
 
Том 35, № 5 (2023) Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux Аннотация  PDF (Rus)  похожие документы
Петр Николаевич ДЕВЯНИН
"... The access control mechanism is the basis for ensuring the security of system software (OS or DBMS ..."
 
Том 19 (2010) Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка
"... Object-oriented constraint-based programming (OOCP) combines two orthogonal, but complementary ..."
 
Том 26, № 3 (2014) Современные модели и методы теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... of typical solvers from shared mathematical libraries is exceedingly limited. A usage of object-oriented ..."
 
Том 31, № 5 (2019) Разработка языка: OOP or not OOP or better OOP Аннотация  PDF (Rus)  похожие документы
Алексей Евгеньевич Недоря
"... that OOP in Go and Rust is fundamentally different from OOP in C++ and Java. Languages with object ..."
 
Том 34, № 2 (2022) Подход автоматического управления объектным хранилищем с помощью Operator SDK и Custom Resource Definition Аннотация  похожие документы
Кирилл Максимович СТОНОЖЕНКО, Игорь Валерьевич НИКИФОРОВ, Сергей Михайлович УСТИНОВ
"... in the Kubernetes environment, particularly object storage systems. A review of existing management tools capable ..."
 
Том 31, № 5 (2019) DOOR: Подход к реструктуризации распределенных объектно-ориентированных систем на основе нейронных сетей Аннотация  PDF (Rus)  похожие документы
Ахмед Хан
"... To develop common software systems, engineers and designers are currently using an object-oriented ..."
 
Том 32, № 4 (2020) Общие подходы к проектированию подсистемы доступа высокопроизводительных вычислительных систем Аннотация  PDF (Rus)  похожие документы
Сергей Юрьевич МОКШИН
"... рассматриваются основные подходы по проектированию подсистемы доступа такой высокопроизводительной вычислительной ..."
 
Том 35, № 4 (2023) Анализ системы контроля доступа в гетерогенных системах больших данных Аннотация  PDF (Rus)  похожие документы
Мария Анатольевна ПОЛТАВЦЕВА, Максим Олегович КАЛИНИН
"... led to the fact that tools within the same system have different data granularity and access control ..."
 
Том 32, № 1 (2020) Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы Аннотация  PDF (Rus)  похожие документы
Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков
"... Designing a trusted access control mechanism of an operating system (OS) is a complex task ..."
 
Том 30, № 1 (2018) Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша Аннотация  PDF (Rus)  похожие документы
Е. И. Гусев
"... This article is based on a thesis “Techniques of organizations shared access to distributed memory ..."
 
Том 27, № 4 (2015) Библиотека ограничений для спецификации индустриальных моделей данных Аннотация  PDF (Rus)  похожие документы
С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан
"... The paper is addressed to an analysis of object-oriented data models specified at EXPRESS language ..."
 
Том 27, № 3 (2015) Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных Аннотация  PDF (Rus)  похожие документы
А. Н. Коварцев, В. С. Смирнов, С. В. Смирнов
"... This paper investigates a formal approach which supports a critically significant step in object ..."
 
Том 30, № 4 (2018) Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений Аннотация  похожие документы
И. А. Адамович, Анд. В. Климов
 
Том 27, № 3 (2015) Эффективное взаимодействие с СУБД DIM Аннотация  PDF (Rus)  похожие документы
Д. В. Антонов, В. С. Рублев
"... of access to data is provided. Some object DIM DBMS features based on the use of the classes of object ..."
 
Том 31, № 2 (2019) Сглаживание аномалий производительности сетей Wi-Fi на уровне MAC путем адаптивного выделения каналов Аннотация  похожие документы
Абид Хуссейн, Мухаммад Сафьян, Сохаил Сарвар, Зия Уль Кайум, Муддессар Икбал, Назар Аббас Сакиб
"... transmission rates (fast nodes). The primary source of this anomaly is the channel access mechanism of WLANs ..."
 
Том 26, № 2 (2014) Комбинированный метод верификации масштабных моделей данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, С. В. Морозов, Д. В. Ильин
"... in various industrial areas and specified using popular general-purpose object-oriented languages ..."
 
Том 36, № 3 (2024) О разработке проекта национального стандарта ГОСТ Р «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке» Аннотация  PDF (Rus)  похожие документы
Петр Николаевич ДЕВЯНИН
"... Formal models of access control must be described in accordance with the requirements of FSTEC ..."
 
Том 37, № 3 (2025) Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом. Аннотация  PDF (Rus)  похожие документы
Александр Константинович ПЕТРЕНКО, Петр Николаевич ДЕВЯНИН, Денис Валентинович ЕФРЕМОВ, Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ
"... it is easier for test engineers to master, and, on the other hand, uses formal access control models ..."
 
Том 31, № 3 (2019) Поиск конфликтов доступа к данным в HDL-описаниях Аннотация  похожие документы
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов
"... Data access conflicts may arise in hardware designs. One of the ways of detecting such conflicts ..."
 
Том 34, № 3 (2022) Унифицированная система типов для современного языка программирования общего назначения Аннотация  похожие документы
Алексей Валерьевич КАНАТОВ, Евгений Александрович ЗУЕВ
"... , object-oriented, functional, and concurrent programming paradigms relying on static type checking ..."
 
Том 33, № 5 (2021) Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем Аннотация  PDF (Rus)  похожие документы
Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ
"... specifications defining requirements to formal models of access control policies and their formal verification ..."
 
Том 29, № 6 (2017) Эталонные тесты безопасности нулевых ссылок при инициализации объекта Аннотация  похожие документы
А. В. Когтенков
"... Null pointer dereferencing remains one of the major issues in modern object-oriented languages ..."
 
Том 30, № 6 (2018) Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
 
1 - 39 из 199 результатов 1 2 3 4 5 6 > >> 

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

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