Block-based atomicity to simplify the verification of distributed applications.
Eslam Al MaghayrehPublished in: CCECE (2011)
Keyphrases
- model checking
- electronic commerce
- motion compensation
- fractal image compression
- formal analysis
- motion estimation
- mobile devices
- multidatabase systems
- shape coding
- database
- acid properties
- nested transactions
- signature verification
- face verification
- discrete cosine transform
- website
- learning algorithm
- data mining
- real time