Search
Now showing items 1-3 of 3
Гарантоспособность и гарантноспособные системы: элементы методологии
(ХАІ, 2006)
Проведен анализ комплекса проблем, связанных с развитием теории и практики гарантоспособных компьютерных систем (КС). Уточнены основные понятия и структура свойства гарантоспособности. Сформулированы базовые парадигмы и ...
Гарантоздатність комп'ютерних систем: межа універсальності у контексті інформаційно-технічних станів
(ХАІ, 2007)
Проаналізовано структуру та таксономічні особливості гарантоздатності як комплексної властивості
комп’ютерних систем (КС) для різних застосувань. Уточнено модель станів гарантоздатних КС як сукупності технічних та ...
Парадигмы и принципы гарантоспособных вычислений: состояние и перспективы развития
(ХАІ, 2009)
Анализируются таксономические, методологические и технологические аспекты гарантоспособных
вычислений.