Compositional runtime enforcement revisited.

Srinivas Pinisetty Ankit Pradhan Partha S. Roop Stavros Tripakis

Published in: Formal Methods Syst. Des. (2021)

Keyphrases

access control
similarity measure
multiresolution
database
real world
knowledge base
digital libraries
neural network
data mining
machine learning
metadata
multiscale
query processing
digital rights