An architecture for context-aware reactive systems based on run-time semantic models.

Ester Giallonardo Francesco Poggi Davide Rossi Eugenio Zimeo

Published in: PeerJ Prepr. (2019)

Keyphrases

context aware
semantic models
reactive systems
contextual information
temporal logic

context awareness
model checking
ubiquitous computing
mobile devices
formal methods

information flow
semantic features
semantic annotation
control flow
petri net

context aware systems
current context
latent semantic analysis
real time systems
image retrieval