Links und Funktionen
Sprachumschaltung

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


Inhaltsbereich

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
iCal

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:

Funktionsleiste