Verification of a Distributed Computing.
Cui ZhangBrian R. BeckerDave PeticolasMark R. HeckmanKarl N. LevittRonald A. OlssonPublished in: HICSS (5) (1997)
Keyphrases
- distributed computing
- distributed environment
- grid computing
- cloud computing
- mobile agents
- distributed systems
- fault tolerance
- geographically distributed
- distributed computing systems
- virtual machine
- virtual organization
- peer to peer
- distributed computing environment
- computing devices
- computing platform
- mobile communications
- model checking
- resource discovery
- distributed data mining
- wireless networks
- fuzzy logic
- information systems
- data sets
- provide efficient solutions
- management system
- digital libraries
- database systems
- machine learning
- databases