|
Глибовец, Н. Н. Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы [Text] !Otitkn.pft: FILE NOT FOUND! !oizd.pft: FILE NOT FOUND! !ospec.pft: FILE NOT FOUND! !oistaspk_H.pft: FILE NOT FOUND! Рубрикатор НБУВ: Тематичні рубрики:
Шифр журнала:
Анотація: Розглянуто задачу верифікації координаційного механізму системи програмної підтримки мережної співпраці. Показано спорідненість цієї задачі з задачею верифікації агентів. Доведено, що за обчислювальною складністю задача верифікації координаційного механізму є co-INPD-повною. !oprip481_H.pft: FILE NOT FOUND! Дод. точки доступу: Гломозда, Д. К.
Видання зберігається у :
|
|