Pregled bibliografske jedinice broj: 698723
Progressing Collaborative Systems
Progressing Collaborative Systems // Advances in Computer Science : an International Journal, 3 (2014), 3; 78-86 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 698723 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Progressing Collaborative Systems
Autori
Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre
Izvornik
Advances in Computer Science : an International Journal (2322-5157) 3
(2014), 3;
78-86
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
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.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
POVEZANOST RADA
Projekti:
MZOS-009-0091328-0941 - Logika i stvarnost (Trobok, Majda, MZOS ) ( CroRIS)
MZOS-120-1203164-3074 - Matematička logika i primjene (Šikić, Zvonimir, MZOS ) ( CroRIS)
Ustanove:
Filozofski fakultet, Rijeka,
Fakultet strojarstva i brodogradnje, Zagreb,
Sveučilište u Rijeci, Fakultet za matematiku
Profili:
Tajana Ban Kirigin
(autor)
Citiraj ovu publikaciju:
Uključenost u ostale bibliografske baze podataka::
- Google Scholar
- DOAJ, Directory of Open Access Journals
- Academic Journals Database
- AcademicKeys
- Science Gate
