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: 649593

Zbornik radova

Autori: Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre
Naslov: Timed Collaborative Systems with Real Time
Izvornik: Logic and Applications 2013, Book of Abstracts
Skup: Logic and Applications 2013
Mjesto i datum: Dubrovnik, Hrvatska, 16-20.09.2013
Ključne riječi: Collaborative systems; Computational complexity; Real time systems
Sažetak:
This paper proposes a rewriting framework that can be used to specify collaborative systems equipped with real time and where agents may create fresh values. It also considers the complexity of the planning problem for systems with real time.
Vrsta sudjelovanja: Predavanje
Vrsta prezentacije u zborniku: Sažetak
Vrsta recenzije: Međunarodna recenzija
Projekt / tema: 120-1203164-3074, 009-0091328-0941
Izvorni jezik: ENG
Kategorija: Znanstveni
Znanstvena područja:
Matematika,Filozofija
Puni text rada: 649593.Real_time_TLSTS_-_LAP_2013.pdf (tekst priložen 6. Stu. 2014. u 00:18 sati)
URL Internet adrese: http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP2013abstracts.pdf
http://imft.ftn.uns.ac.rs/math/cms/LAP2013
Upisao u CROSBI: Tajana Ban Kirigin (bank@math.uniri.hr), 24. Lis. 2013. u 23:46 sati



Verzija za printanje   za tiskati


upomoc
foot_4