Login / Signup
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