A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation.

Simin Cai Barbara Gallina Dag Nyström Cristina Seceleanu

Published in: RTNS (2016)

Keyphrases

data analysis
database
statistical analysis
quantitative analysis
computer vision
machine learning
image sequences
bayesian networks
natural language