Links und Funktionen

Sie sind hier: Startseite / Lehre / SS 2011 / Oberseminar / Vivek Nigam, Timed Collaborative Systems


Vivek Nigam, Timed Collaborative Systems

TCS Oberseminar 12.08.2011 11 Uhr c.t.
Wann 11:15 12:15 12.08.2011
von bis
Wo L109
Termin übernehmen vCal

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.  


abgelegt unter: