Efficient Verification of a Multicast Protocol for Mobile Computing.
Giuseppe AnastasiAlberto BartoliNicoletta De FrancescoAntonella SantonePublished in: Comput. J. (2001)
Keyphrases
- mobile computing
- data dissemination
- wireless networks
- mobile devices
- context aware
- mobile environments
- lightweight
- mobile users
- wireless communication
- data management
- ubiquitous computing
- computing paradigm
- transaction model
- cost effective
- low bandwidth
- application layer
- distributed systems
- mobile agents
- computing environments
- data retrieval
- databases
- data collection
- artificial intelligence