Formal Modeling and Analysis of Atomic Commitment Protocols.

Dmitri Chkliaev Jozef Hooman Peter van der Stok

Published in: ICPADS (2000)

Keyphrases

data analysis
artificial intelligence
quantitative analysis
real time
formal analysis
image processing
decision trees
database systems
search algorithm
image analysis
statistical modeling