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
( 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
( 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: 009-0091328-0941, 120-1203164-3074
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/LAP2013
http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP2013abstracts.pdf
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