Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL.
Shehla RiazHamra AfzaalMuhammad ImranNazir Ahmad ZafarMehmet Sabih AksoyPublished in: EUSPN/ICTH (2015)
Keyphrases
- sensor networks
- mobile wireless
- network connectivity
- mobile sensor networks
- wireless sensor networks
- sensor nodes
- sensor data
- data collection
- mobile nodes
- environmental monitoring
- energy consumption
- resource constrained
- energy efficient
- communication bandwidth
- underwater acoustic
- mobile devices
- mobile computing
- data aggregation
- data streams
- sensor readings
- base station
- mobile phone
- mobile networks
- communication cost
- mobile users
- information dissemination
- sensor web
- context aware
- energy efficiency
- data dissemination
- mobile sensor
- visual sensor networks
- key establishment
- ambient intelligence
- quality of service
- mobile applications
- mobile environments