Automatic generation of logical specifications for context-aware systems.

Radoslaw Klimek

Published in: CoRR (2014)

Keyphrases

context aware systems
context aware
context awareness
context aware computing
context aware services
ubiquitous computing
mobile devices
contextual information
current context
information retrieval
website
high level
probabilistic model