Coexecutability for Efficient Verification of Data Model Updates.

Ivan Bocic Tevfik Bultan

Published in: ICSE (1) (2015)

Keyphrases

data model
query language
object oriented
databases
neural network
machine learning
artificial intelligence
computer vision
real time
data sets
information systems
e learning
decision trees
video sequences
cost effective
model checking