Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi

Progressing Collaborative Systems (CROSBI ID 206193)

Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre Progressing Collaborative Systems // Advances in Computer Science : an International Journal, 3 (2014), 3; 78-86

Podaci o odgovornosti

Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre

engleski

Progressing Collaborative Systems

This paper builds on existing multiset rewriting models for collaborative systems. We formalize Progressing Collaborative Systems by restricting repetitions of actions. Namely, we consider processes where instances of actions are used only a bounded number of times. Administrative processes usually involve such progressing behavior, i.e. whenever a transaction is performed, it does not need to be repeated. We investigate the complexity of the reachability problem and the planning problem for Progressing Collaborative Systems that may create fresh values. We show that these problems are NP- complete when actions are balanced and the size of facts is bounded.

Computational Complexity ; NP-completeness ; Collaborative Systems ; Progressing ; Fresh Values

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o izdanju

3 (3)

2014.

78-86

objavljeno

2322-5157

Povezanost rada

Matematika, Računarstvo

Poveznice