Vivek Nigam, Timed Collaborative Systems
TCS Oberseminar 12.08.2011 11 Uhr c.t.
Vivek Nigam, Timed Collaborative Systems
Time is often a key component used in specifying the rules and the requirements of a collaboration. In this talk, we report on our initial steps in extending with explicit time our previous work on models for collaborative systems with confidentiality. In particular, we discuss preliminary conditions for PSPACE-completeness of previous compliance problems extended with explicit time. Finally, we identify and discuss in detail a possible application of our model, namely for clinical investigations.
Artikelaktionen
abgelegt unter:
Oberseminar