Distributed verification with LoLA.

Karsten Schmidt

Published in: Promise (2002)

Keyphrases

distributed systems
distributed environment
databases
fault tolerant
computing environments
formal verification
communication overhead
face verification
distributed data
cooperative
real time
lightweight
multi agent
multiscale
distributed architecture
distributed learning
distributed network
scalable distributed