crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 698723

Časopis

Autori: Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Naslov: Progressing Collaborative Systems
Izvornik: Advances in Computer Science : an International Journal (2322-5157) 3 (2014), 3; 78-86
Vrsta rada: članak
Ključne riječi: Computational Complexity; NP-completeness; Collaborative Systems; Progressing; Fresh Values
Sažetak:
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.
Projekt / tema: 009-0091328-0941, 120-1203164-3074
Izvorni jezik: ENG
Kategorija: Znanstveni
Znanstvena područja:
Matematika,Filozofija
Puni text rada: 698723.ACSIJ-2014-3-3-440.pdf (tekst priložen 21. Kol. 2014. u 19:14 sati)
URL Internet adrese: http://acsij.org/publications/acsij-2014-volume-3-issue-3/progressing-collaborative-systems
http://www.acsij.org/
URL cjelovitog teksta: http://acsij.org/publications/acsij-2014-volume-3-issue-3/progressing-collaborative-systems
Časopis izlazi u samo elektroničkom izdanju: DA
Google Scholar: Progressing Collaborative Systems
Upisao u CROSBI: Tajana Ban Kirigin (bank@math.uniri.hr), 28. Svi. 2014. u 21:44 sati



Verzija za printanje   za tiskati


upomoc
foot_4