Login / Signup
Verifying Search Results Over Web Collections
Michael T. Goodrich
Duy Nguyen
Olga Ohrimenko
Charalampos Papamanthou
Roberto Tamassia
Nikos Triandopoulos
Cristina Videira Lopes
Published in:
CoRR (2012)
Keyphrases
</>
model checking
artificial intelligence
fine grained
data model
open source
machine learning
relational databases
life cycle