4345 search results - page 35 / 869 » Temporal Constraint Networks |
SACMAT
2003
ACM
14 years 3 months ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBACā...
FORMATS
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
CLEIEJ
2006
13 years 10 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
ECSQARU
2005
Springer
14 years 3 months ago
2005
Springer
Information often comes from diļ¬erent sources and merging these sources usually leads to apparition of inconsistencies. Fusion is the operation which consists in restoring the co...
MM
2009
ACM
14 years 2 months ago
2009
ACM
Following the exponential growth of social media, there now exist huge repositories of videos online. Among the huge volumes of videos, there exist large numbers of near-duplicate...