Static compliance checking beyond separation of duty constraints.

Yang Bo Chunhe Xia Yang Luo Qing Tang

Published in: Int. J. Embed. Syst. (2018)

Keyphrases

constraint checking
consistency checking
database
dynamic constraints
search engine
constrained optimization
linear constraints
computer vision
website
image segmentation
integrity constraints
constraint networks
dynamic analysis
constraint solving