HIPimm: verifying granular immutability guarantees.

Andreea Costea Asankhaya Sharma Cristina David

Published in: PEPM (2014)

Keyphrases

granular computing
model checking
database
computer vision
databases
fuzzy sets
real time
learning algorithm
information systems
multimedia
cooperative
pattern recognition
evolutionary algorithm
multiresolution
rough sets
theoretical guarantees