Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing.
Maha BoussabbehMohamed TounsiAhmed Hadj KacemMohamed MosbahPublished in: PDP (2016)
Keyphrases
- distributed computing
- distributed systems
- distributed environment
- geographically distributed
- cloud computing
- grid computing
- fault tolerance
- peer to peer
- mobile agents
- distributed computing systems
- mobile communications
- computing devices
- distributed data mining
- virtual organization
- theorem prover
- computing platform
- virtual machine
- resource sharing
- database
- resource discovery
- computing environments
- load balancing
- first order logic
- multi agent
- data parallelism
- databases