1138 search results - page 55 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
147
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Trust management is a form of access control that uses delegation to achieve scalability beyond a single organization or federation. However, delegation can be difficult to contr...
124
click to vote
ADBIS
2001
Springer
15 years 9 months ago
2001
Springer
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
146
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
145
click to vote
AAAI
2010
15 years 6 months ago
2010
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
171
click to vote
RTSS
1995
IEEE
15 years 8 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...