|
Построение и верификация ПЛК-программ по LTL-спецификации
Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин
|
5 |
|
|
О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом
В. А. Башкин, И. А. Ломазова
|
23 |
|
|
Автоматизация формирования табличных приложений
С. В. Зыкин
|
41 |
|
|
Алгоритм $(n,t)$-пороговой доверенной цифровой подписи с Арбитром
Е. А. Толюпа
|
55 |
|
|
К теореме Делоне о классификации схождений параллелоэдров в гранях коразмерности 3
А. Н. Магазинов
|
71 |
|
|
Алгоритм замещения агентов dataflow-сети на платформе Smart-M3
А. М. Васильев, И. В. Парамонов, Н. С. Лагутина, Э. И. Мамедов
|
81 |
|
|
Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах
В. И. Петров, М. С. Комар, Е. А. Кучерявый
|
91 |
|
|
Исследование ортогональности сигналов с вращением вектора поляризации
Ю. Е. Боровков, А. Н. Кренев, В. Н. Муравьев, А. П. Омельчук
|
104 |
|
|
Программно-конфигурируемые сети как этап эволюции сетевых технологий
А. А. Красотин, И. В. Алексеев
|
110 |
|
|
Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний
В. Н. Бойков, В. Е. Захаров, М. С. Каряева, В. А. Соколов
|
125 |
|
|
Проектирование и разработка имитационной модели мультиклиентского кластера баз данных
Е. А. Бойцов
|
136 |
