Multi-level fault modeling for transaction-level specifications.

Giovanni Beltrame Cristiana Bolchini Antonio Miele

Published in: ACM Great Lakes Symposium on VLSI (2009)

Keyphrases

data sets
database
fault diagnosis
fault detection
transaction management
point of sale
database transactions
transaction data
modeling method
transaction processing
levels of abstraction
concurrency control
higher level
distributed systems
artificial intelligence
data mining
databases