Sciweavers

194 search results - page 1 / 39
» A Model for Temporal Interval Authorizations
Sort
View
HICSS
2006
IEEE
126views Biometrics» more  HICSS 2006»
13 years 10 months ago
A Model for Temporal Interval Authorizations
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with subjects and...
Francis B. Afinidad, Timothy E. Levin, Cynthia E. ...
MMMACNS
2005
Springer
13 years 10 months ago
Foundation for a Time Interval Access Control Model
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with both subjects...
Francis B. Afinidad, Timothy E. Levin, Cynthia E. ...
IJSEKE
2002
95views more  IJSEKE 2002»
13 years 4 months ago
A Multimedia Model Based on Structured Media and Sub-Elements for Complex Multimedia Authoring and Presentation
through the specification of temporal, spatial and spatio-temporal relations. Moreover, we propose an abstract animation model that can be combined with the intra-media temporal st...
Tran-Thuong Tien, Cécile Roisin
AIR
2006
124views more  AIR 2006»
13 years 4 months ago
Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states
Abstract Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence...
Rodolfo Sabás Gómez, Juan Carlos Aug...
SIGPLAN
2002
13 years 4 months ago
On-the-fly model checking from interval logic specifications
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
Miguel J. Hornos, Manuel I. Capel