Rigorous Design of Lazy Replication System Using Event-B.

Raghuraj Suryavanshi Divakar Yadav

Published in: IC3 (2012)

Keyphrases

design space
case study
building blocks
engineering design
fault tolerant
software architecture
conceptual model
design tools
design decisions
distributed databases
user experience
event detection
machine learning
case based reasoning
evolutionary algorithm
multi agent
website
artificial intelligence