Login / Signup
The semantics of alarm definitions: enabling systematic reasoning about alarms.
Stefan Wallin
Viktor Leijon
Johan Nordlander
Nicklas Bystedt
Published in:
Int. J. Netw. Manag. (2012)
Keyphrases
</>
precise definition
false positives
formal semantics
complete axiomatization
monitoring system
data sets
false alarms
spatial reasoning
fixed point semantics
logic programming
information systems
relational databases
data model
qualitative and quantitative
practical reasoning