izvor podataka: crosbi
✓
Timed Collaborative Systems with Real Time (CROSBI ID 601367)
Prilog sa skupa u zborniku | sažetak izlaganja sa skupa | međunarodna recenzija
Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre
Timed Collaborative Systems with Real Time // Logic and Applications 2013, Book of Abstracts. 2013. str. 9-11
Podaci o odgovornosti
Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre
engleski
Timed Collaborative Systems with Real Time
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.
Collaborative systems ; Computational complexity ; Real time systems
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
9-11.
2013.
objavljeno
Podaci o matičnoj publikaciji
Podaci o skupu
Logic and Applications 2013
predavanje
16.09.2013-20.09.2013
Dubrovnik, Hrvatska