Login / Signup
Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example.
Kerstin Altmanninger
Wieland Schwinger
Gabriele Kotsis
Published in:
Int. J. Enterp. Inf. Syst. (2010)
Keyphrases
</>
conflict detection
detection method
specification language
automatic detection
object detection
operational semantics
formal specification
specification languages
conceptual model
false alarms
detection rate
formal semantics
false positives
multimedia
social networks
detection algorithm
logic programming