Сортировать по:
| Выпуск | Название | |
| Том 26, № 6 (2014) | Масштабируемый метод оценки управления доверием на основе распределенных систем онлайн мониторинга | Аннотация PDF (Rus) похожие документы |
| Х. Лопез, С. Мааг, Ж. Моралес | ||
| "... . We focus on providing trust verdicts by evaluating the behaviors of different agents, using ..." | ||
| Том 31, № 3 (2019) | Репутационные системы в электронной коммерции: Сравнительный анализ и перспективы моделирования присущей им нечеткости | Аннотация похожие документы |
| Михаил Михайлович Носовский, Константин Юрьевич Дегтярев | ||
| "... reputation systems for trust management across users of the network. Most of existing reputation systems ..." | ||
| Том 37, № 3 (2025) | Моделирование сценариев деструктивного воздействия на целостность моделей машинного обучения | Аннотация PDF (Rus) похожие документы |
| Артем Бакытжанович МЕНИСОВ, Александр Григорьевич ЛОМАКО | ||
| Том 28, № 4 (2016) | Масштабируемые учебно-экспериментальные среды для современных предприятий | Аннотация похожие документы |
| А. Р. Топчян | ||
| Том 31, № 3 (2019) | Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi | Аннотация похожие документы |
| Дмитрий Вадимович Мельничук | ||
| Том 26, № 3 (2014) | Обзор масштабируемых систем межмодульных оптимизаций | Аннотация PDF (Rus) похожие документы |
| К. Ю. Долгорукова | ||
| "... these problems with regard to hardware capabilities and user demands are called scalable cross-module ..." | ||
| Том 27, № 1 (2015) | Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян | ||
| Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
| Том 26, № 4 (2014) | Разработка масштабируемой программной инфраструктуры для хранения и обработки данных в задачах вычислительной биологии | Аннотация PDF (Rus) похожие документы |
| О. Д. Борисенко, А. В. Лагута, Д. Ю. Турдаков, С. Д. Кузнецов | ||
| "... This article is an overview of scalable infrastructure for storage and processing of genome data ..." | ||
| Том 27, № 3 (2015) | О реализации формального метода верификации масштабируемых систем с когерентной памятью | Аннотация PDF (Rus) похожие документы |
| Владимир Буренков | ||
| "... This article analyzes existing methods of verification of cache coherence protocols of scalable ..." | ||
| Том 35, № 1 (2023) | Блокчейн и задача выполнимости формул в теориях для тендерных систем | Аннотация похожие документы |
| Рене ДАВИЛА, Росио АЛЬДЕКО-ПЕРЕС, Эверардо БАРСЕНАС | ||
| "... are developed using centralized unverified systems, which reduce transparency, fairness and trust on the process ..." | ||
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| "... in trust in the new programming code. The given paper is devoted to developing formal logical language ..." | ||
| Том 36, № 5 (2024) | Так ли безопасна интерпретируемость ИИ: взаимосвязь интерпретируемости и защищенности моделей машинного обучения | Аннотация PDF (Rus) похожие документы |
| Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Серафим Константинович БОЯРСКИЙ, Илья Андреевич МАКАРОВ | ||
| "... attention is being paid to issues of trust and security across all types of data. In this work, we focus ..." | ||
| Том 36, № 3 (2024) | О разработке проекта национального стандарта ГОСТ Р «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке» | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| "... of Russia regulatory documents, in order to ensure trust in certified information security tools when ..." | ||
| Том 36, № 5 (2024) | Дилемма защитника: совместимы ли методы защиты от разных атак на модели машинного обучения? | Аннотация PDF (Rus) похожие документы |
| Георгий Владимирович САЗОНОВ, Кирилл Сергеевич ЛУКЬЯНОВ, Игорь Николаевич МЕЛЕШИН | ||
| "... to issues of trust and security in AI systems against various types of threats (evasion attacks, poisoning ..." | ||
| Том 26, № 1 (2014) | Texterra: инфраструктура для анализа текстов | Аннотация PDF (Rus) похожие документы |
| Денис Турдаков, Никита Астраханцев, Ярослав Недумов, Андрей Сысоев, Иван Андрианов, Владимир Майоров, Денис Федоренко, Антон Коршунов, Сергей Кузнецов | ||
| "... . Texterra delivers a scalable solution for text processing based on novel methods that exploit knowledge ..." | ||
| Том 28, № 6 (2016) | Параллельное вычисление модулярности для направленных взвешенных графов с пересекающимися сообществами | Аннотация похожие документы |
| Михаил Дробышевский, Антон Коршунов, Денис Турдаков | ||
| "... into account computational complexity, we suggest two parallelized extensions which are scalable to large ..." | ||
| Том 34, № 6 (2022) | Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа | Аннотация PDF (Rus) похожие документы |
| Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... The paper is devoted to the scalable approach for the detection of uses of disposed resources in C ..." | ||
| Том 37, № 3 (2025) | Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом. | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Петр Николаевич ДЕВЯНИН, Денис Валентинович ЕФРЕМОВ, Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ | ||
| "... protection mechanisms (PM) or include such mechanisms in their design. To ensure a high level of trust ..." | ||
| Том 37, № 2 (2025) | Проектирование и развитие механизма мандатного контроля целостности в операционной системе Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Алексей Александрович СТАРОСТИН, Денис Сергеевич ПАНОВ, Семен Владимирович УСАЧЕВ | ||
| "... (OS) certified for the highest protection classes and trust levels, which, along with other mechanisms ..." | ||
| Том 26, № 5 (2014) | Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде | Аннотация PDF (Rus) похожие документы |
| И. В. Бычков, Г. А. Опарин, А. Г. Феоктистов, В. Г. Богданова, А. А. Пашинин | ||
| "... of scalable service-oriented software systems and load balancing for computing resources of runtime ..." | ||
| Том 27, № 5 (2015) | Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... depth for dynamic data structures. The method is scalable, as far as it demonstrates reasonable ..." | ||
| Том 34, № 6 (2022) | Моделирование взаимосвязи между заболеваниями с помощью взаимодействующих потоковых X-машин | Аннотация похожие документы |
| Дилшан ДЖАЯТИЛАКЕ, Хоа ФУНГ, Эммануэль ОГУНШИЛЕ, Мехмет АЙДИН | ||
| "... forms that can be more scalable and can capture complex time-dependent processes. In this paper, we ..." | ||
| Том 27, № 5 (2015) | Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов | ||
| "... as the main example. The approach is based on a scalable path-sensitive analysis, which involves symbolic ..." | ||
| Том 20 (2011) | Транзакционные параллельные СУБД: новая волна | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов | ||
| "... A possibility to build unlimitedly scalable cluster-based systems has lead to strong activation ..." | ||
| Том 35, № 3 (2023) | Подходы к развертыванию в распределенной обработке сложных событий | Аннотация похожие документы |
| Арсений Андреевич ЗОРИН, Ирина Евгеньевна ЧЕРНЕЦКАЯ | ||
| "... handlers are scalable, fault-tolerant, and can handle large volumes of data. ..." | ||
| Том 35, № 3 (2023) | Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE | Аннотация похожие документы |
| Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ | ||
| "... -to-be-modelled” values. We take the approach known as symcrete execution and implement its robust and scalable ..." | ||
| Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) похожие документы |
| А. В. Хорошилов, И. В. Щепетков | ||
| "... В статье рассматривается семейство требований доверия к безопасности ADV_SPM «Моделирование ..." | ||
| Том 28, № 1 (2016) | Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения | Аннотация PDF (Rus) похожие документы |
| А. В. Дергачёв, А. В. Сидорин | ||
| "... . The implementation is scalable enough to allow analysis of large-scale software projects in reasonable time, finding ..." | ||
| Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
| "... required. For future development we choose the most scalable technics, sampling analysis based on code ..." | ||
| Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация похожие документы |
| И. С. Шугуров, А. А. Мицюк | ||
| "... for simple implementation of efficient and scalable distributed calculations. In this paper, a MapReduce ..." | ||
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков, А. С. Камкин | ||
| "... This paper introduces a method for scalable verification of cache coherence protocols described ..." | ||
| Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков | ||
| "... This paper introduces a technique for scalable functional verification of cache coherence protocols ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... application time (test length). Many algorithms have been suggested for test generation; however, no scalable ..." | ||
| Том 29, № 4 (2017) | Программа для мониторинга общественных настроений в России на основе сообщений из Twitter | Аннотация похожие документы |
| С. И. Сметанин | ||
| "... , the data is stored in Google Cloud Datastore, that is, the highly-scalable NoSQL document database, which ..." | ||
| Том 23 (2012) | Web-приложения и данные: проблемы абстракции и масштабируемости | Аннотация PDF (Rus) похожие документы |
| Андрей Посконин | ||
| "... abstraction and also reveals basic considerations for design of a multi-store persistence layer for scalable ..." | ||
| Том 28, № 5 (2016) | Ускорение оптимизации программ во время связывания | Аннотация PDF (Rus) похожие документы |
| К. Ю. Долгорукова, С. В. Аришин | ||
| "... other methods on SPEC CPU2000 benchmark and implementation of the algorithm in scalable LLVM-based LTO ..." | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... сертифицированные средства защиты информации, достижение доверия к нему согласно требованиями нормативных документов ..." | ||
| Том 36, № 3 (2024) | SLAP – простая линейная атака на персептрон | Аннотация PDF (Rus) похожие документы |
| Андрей Игоревич ПЕРМИНОВ | ||
| "... , открывая путь для разработки более надежных и заслуживающих доверия систем искусственного интеллекта в ..." | ||
| 1 - 39 из 44 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
