Dealing with I/O Devices in the Context of Pervasive System Verification.
Mark A. HillebrandThomas In der RiedenWolfgang J. PaulPublished in: ICCD (2005)
Keyphrases
- context aware
- pervasive environments
- context awareness
- contextual information
- mobile devices
- input output
- ubiquitous systems
- smart spaces
- neural network
- genetic algorithm
- pervasive computing
- context aware computing
- database
- computing environments
- ubiquitous computing
- mobile applications
- ubiquitous computing environments
- model checking
- high speed