Behavioral modeling and formal verification of a resource discovery approach in Grid computing.
Alireza SouriNima Jafari NavimipourPublished in: Expert Syst. Appl. (2014)
Keyphrases
- resource discovery
- grid computing
- formal verification
- distributed computing
- load balancing
- peer to peer
- model checking
- resource management
- data grids
- service discovery
- resource sharing
- grid environment
- efficient retrieval
- computational grids
- digital libraries
- computing environments
- distributed systems
- resource allocation