Cover Image

Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы

Saved in:

Bibliographic Details
Published in:	Кибернетика и системный анализ
Date:	2008
Main Authors:	Глибовец, Н.Н., Гломозда, Д.К.
Format:	Article
Language:	Russian
Published:	Інститут кібернетики ім. В.М. Глушкова НАН України 2008
Subjects:	Кибернетика
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/44193
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы / Н.Н. Глибовец, Д.К. Гломозда // Кибернетика и системный анализ. — 2008. — № 4. — С. 15-19. — Бібліогр.: 4 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Вероятностная модель взаимодействия агента с сетевой средой
by: Скобелев, В.Г.
Published: (2015)

Сложность реоптимизации задачи вычисления хроматического числа графа с заданным множеством оптимальных решений
by: Михайлюк, В.А.
Published: (2016)

Классификация дисциплин программной инженерии
by: Лаврищева, Е.М.
Published: (2008)

Алгоритм формальной верификации шаблонов бизнес-процессов
by: Варосян, А.С.
Published: (2011)

Сложность семейств алгоритмов обучения и оценивание неслучайности извлечения эмпирических закономерностей
by: Донской, В.И.
Published: (2012)

Оптимизация работы системы центрального теплоснабжения как решение нелинейной сетевой транспортной задачи
by: Левчук, А.П., et al.
Published: (2008)

Некоторые нелинейные оптимизационные задачи сетевой структуры
by: Лаптин, Ю.П., et al.
Published: (2009)

Моделирование механизма финансового выравнивания на примере межбюджетных отношений в Украине
by: Гудыма, А.В.
Published: (2013)

Обзор генетических алгоритмов образования ниш для решения задач многоэкстремальной оптимизации
by: Глибовец, Н.Н., et al.
Published: (2013)

Информационная технология поддержки процессов совместной деятельности при тренировке и переподготовке кадров
by: Богино, В.И., et al.
Published: (2009)

Мера неопределенности задачи Беллмана–Джонсона с интервальными длительностями
by: Сотсков, Ю.Н., et al.
Published: (2012)

Метод итеративного построения терминологии в коллекциях научных текстов на украинском языке
by: Глибовец, А.Н., et al.
Published: (2014)

Задачи оптимизации на графах с интервальными параметрами
by: Перепелица, В.А., et al.
Published: (2009)

Анализ устойчивости задачи о ранце: один отрицательный результат
by: Михайлюк, В.А., et al.
Published: (2013)

Реоптимизация задачи о покрытии множествами
by: Михайлюк, В.А.
Published: (2010)

Моделирование совместной работы открытой цилиндрической оболочки и подкрепляющих элементов
by: Селезов, И.Т.
Published: (2011)

Реоптимизация задачи о максимальном k-покрытии: порог отношения аппроксимации
by: Михайлюк, В.А.
Published: (2012)

Задачи повышения производительности запросов в программной системе
by: Федоров, И.В.
Published: (2008)

Сложность аппроксимационных задач
by: Корнейчук, Н.П.
Published: (1996)

О решении динамической задачи оптимального разбиения множеств с размещением центров подмножеств
by: Киселева, Е.М., et al.
Published: (2014)

Информационная система поддержки принятия решений для контроля и коррекции физического здоровья
by: Кифоренко, С.И., et al.
Published: (2018)

Сетевой подход в историографии науки
by: Оноприенко, В.И.
Published: (2012)

Особенности проектирования медицинской информационной системы поддержки принятия решений, основанной на интеллектуальном анализе данных
by: Кнышов, Г.В., et al.
Published: (2014)

О пороге отношения аппроксимации для реоптимизации задачи о максимальном количестве выполненных уравнений в линейных системах над конечным полем
by: Михайлюк, В.А.
Published: (2012)

Анализ механизма государственной поддержки и ценообразования в угольной промышленности
by: Вивчаренко, А.В.
Published: (2013)

Формирование механизма государственной поддержки малого предпринимательства в туристической отрасли
by: Лущан, Т.В., et al.
Published: (2014)

Разработка среды для организации совместной работы участников очных и дистанционных образовательных мероприятий
by: Войченко, А.П.
Published: (2012)

Экосистемы программной инженерии
by: Крывый, С.Л., et al.
Published: (2020)

Сетевой подход к изучению структуры украинского парламента
by: Горбачик, А., et al.
Published: (2006)

Анализ типичных поведенческих паттернов в группах специалистов-зимовщиков с целью прогнозирования эффективности их будущей совместной работы
by: Привалова, Н.Н., et al.
Published: (2005)

Синтез и строение координационного соединения палладия (II) с β-амидом аспарагиновой кислоты
by: Чорненька, Н.В., et al.
Published: (2010)

К методике расчета устойчивости работы двухдвигательного механизма подачи очистных комбайнов
by: Стадник, Н.И., et al.
Published: (2010)

Об эффективности метода вероятностно нейтральных битов в статистическом криптоанализе синхронных поточных шифров
by: Алексейчук, А.Н., et al.
Published: (2016)

Алгебраически вырожденные приближения булевых функций
by: Алексейчук, А.Н., et al.
Published: (2014)

Оценка вклада немонотонных траекторий в отказ системы обслуживания на периоде занятости
by: Коваленко, И.Н., et al.
Published: (2011)

Усовершенствованный тест k-мерности для булевых функций
by: Алексейчук, А.Н., et al.
Published: (2013)

Проектирование реактивных алгоритмов путем решения уравнений над автоматами
by: Чеботарев, А.Н.
Published: (2012)

Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
by: Чеботарев, А.Н.
Published: (2013)

Улучшенная верхняя граница для относительного расстояния между булевой функцией и множеством k-мерных функций
by: Алексейчук, А.Н.
Published: (2015)

Согласование взаимодействующих автоматов
by: Чеботарев, А.Н.
Published: (2015)