5423 search results - page 116 / 1085 » Denial-of-service in automation systems |
179
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
159
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
152
click to vote
CSL
2004
Springer
15 years 6 months ago
2004
Springer
9 A two-level mixture linear dynamic system model, with frame-level switching parameters in the obser10 vation equation and with segment-level switching parameters in the target-d...
148
click to vote
KR
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...
292
click to vote
CSREASAM
2006
15 years 7 months ago
2006
- INFIR (Interactive Fingerprint Recognition) is an interactive fingerprint recognition and visualization tool. The tool is designed to cope with the problems related to automated ...