Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks.
András A. BenczúrUwe GlässerTamás LukovszkiPublished in: Abstract State Machines (2003)
Keyphrases
- loosely coupled
- distributed systems
- fully distributed
- computing environments
- configuration management
- cooperative
- service providers
- web services
- distributed environment
- peer to peer
- multi agent
- distributed multimedia
- management system
- service composition
- mission critical
- grid services
- distributed data
- mobile environments
- metadata
- information dissemination
- geographically distributed
- communication overhead
- end users
- lightweight
- formal specification
- distributed computing
- fault tolerant
- load balancing
- mobile agents