5423 search results - page 156 / 1085 » Denial-of-service in automation systems |
131
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
The synthesis of reactive systems requires the solution of two-player games on graphs with -regular objectives. When the objective is specified by a linear temporal logic formula o...
167
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...
134
click to vote
LICS
1987
IEEE
15 years 10 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
174
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
We study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different e...
155
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we propose more flexible applicability conditions for the folding rule that increase the power of existing unfold/fold systems for normal logic programs. O...