Запис Детальніше

Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration

eKMAIR

Переглянути архів Інформація
 
 
Поле Співвідношення
 
Title Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration
 
Creator Glybovets, Mykola
Hlomozda, Dmytro
 
Subject coordination
Petri net
computational complexity
program agent
 
Description The problem of verifying the coordination mechanism in a system of software support of network collaboration is considered. This problem is demonstrated to be similar to the agent verification problem. It is proved that the problem of verifying the coordination mechanism is co-complete.
 
Date 2010-04-23T13:17:09Z
2010-04-23T13:17:09Z
2008
 
Type Article
 
Identifier Glibovets N. Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration / N. N. Glibovets, D. K.Hlomozda // Cybernetics and Systems Analysis. - 2008. - Vol. 44, Nr. 4. - S. 477-481.
http://ekmair.ukma.edu.ua/handle/123456789/654
 
Language en
 
Relation Cybernetics and Systems Analysis. - 2008. - Vol. 44, Nr. 4.
 
Publisher Springer New York