Advances in Quantitative Verification for Ubiquitous Computing.
Marta Z. KwiatkowskaPublished in: ICTAC (2013)
Keyphrases
- ubiquitous computing
- context aware
- context awareness
- ambient intelligence
- everyday life
- computing devices
- physical world
- physical environment
- artificial intelligence
- context aware computing
- mobile computing
- pervasive computing
- ubiquitous systems
- human activities
- ubiquitous computing environments
- everyday objects
- mobile communications
- smart spaces
- smart objects
- ubiquitous computing technology
- communication technologies
- context aware systems
- sensor web
- physical objects
- computing paradigm
- information technology
- knowledge base