Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications.
Doina BucurMarta Z. KwiatkowskaPublished in: AmI (2009)
Keyphrases
- context aware
- contextual information
- context awareness
- ubiquitous computing
- ambient intelligence
- mobile devices
- sensor networks
- ubiquitous learning
- mobile computing
- real time
- context aware systems
- sensor data
- current context
- data fusion
- multi sensor
- mobile applications
- mobile users
- mobile environments
- location aware
- context aware ubiquitous learning
- context aware services
- smart spaces
- pervasive computing
- source code
- ubiquitous computing environments
- smart environments
- smart home
- software systems
- ubiquitous environment
- distributed systems
- context aware mobile