Search
Now showing items 461-470 of 481
Формальная верификация динамически модифицируемых моделей рабочих потоков Windows Workflow Foundation
(ХАІ, 2009)
Рассматривается механизм верификации рабочих потоков приложений, построенных по спецификации Windows Workflow Foundation и способных изменять бизнес-логику на этапе выполнения.
Оценка диверсности программного обеспечения с использованием косвенных метрик
(ХАІ, 2009)
Проведен анализ прямых и косвенных метрик диверсности программного обеспечения. Сформулирована гипотеза об использовании косвенных метрик для оценки диверсности.
Формирование топологических отношений между геометрическими объектами цифровой лесной карты на основе анализа планарного графа
(ХАІ, 2009)
Рассмотрены элементы анализа правильного планарного графа, включающие формирование полигонов
на основе ребер графа, диагностику точечных и линейных шарниров. Вводится понятие простого
связного графа как элементарной ...
Method of realization of arithmetic operations on the basis of the use of modulyarnoy number system
(ХАІ, 2009)
In this article we consider two arithmetic operation realizations in modular arithmetics, based on the ring shift
principle. The method of binary position and remainder encoding has proved to be very efficient comparing ...
Моделирование гарантоспособных сервис-ориентированных архитектур при атаках с использованием уязвимостей
(ХАІ, 2009)
Предложена имитационная модель многоверсионной сервис-ориентированной архитектуры, функционирующей при воздействии внешних агрессивных факторов – сетевых атак. Рассмотрены принципы и
методика проведения эксперимента с ...
Архитектурирование гарантоспособных веб-инфраструктур: анализ базовых вариантов
(ХАІ, 2009)
Приведены ключевые понятия и определения изучаемой проблематики. Изложены основные требования к инфраструктурам при проектировании и реализации «успешных» проектов. Предложены и рассмотрены варианты архитектур гарантоспособной ...
Метод оптимального выбора средств снижения критичности отказов по результатам FME(C)A-анализа
(ХАІ, 2009)
В статье рассматривается метод обеспечение надежности и функциональной безопасности информационно-управляющих систем (ИУС) энергетики, и для каждого конкретного отказа формируется
номенклатура методов и средств, направленных ...
Гарантоздатні системи та багатоверсійні обчислення: аспекти еволюції
(ХАІ, 2009)
Запропоновано модифіковану таксономічну схему гарантоздатності з урахуванням факторів еволюції
комп’ютерних систем (зміни функціональних вимог, вимог до гарантоздатності та характеристик
середовища), а також операційного ...
Сравнительный анализ датчиков случайных чисел систем STATGRAPHICS и MATHCAD
(ХАІ, 2009)
Выполнено исследование датчиков случайных чисел систем STATGRAPHICS и MATHCAD. Показано,
что при любом количестве данных совпадение законов распределения и их параметров отмечено
только для равномерного распределения. ...
Модели и методы разработки интегрированных систем охраны со сложной структурой
(ХАІ, 2009)
Приведен аналитический обзор моделей и методов разработки интегрированных систем объектовой
безопасности со сложной геоинформационной структурой.