1699 search results - page 50 / 340 » On the Expressive Power of QLTL |
122
Voted
SP
1997
IEEE
15 years 4 months ago
1997
IEEE
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
FMCO
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
78
Voted
TPHOL
1992
IEEE
15 years 4 months ago
1992
IEEE
The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic un...
98
Voted
ICALP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper studies the expressive power of finite-state automata recognizing sets of real numbers encoded positionally. It is known that the sets that are definable in th...
73
Voted
AAAI
2000
15 years 2 months ago
2000
We explore the expressive power of a recently developed qualitative region-based geometry and apply it to the problem of representing and reasoning about the motion of rigid bodie...