An architecture for context-aware reactive systems based on run-time semantic models.
Ester GiallonardoFrancesco PoggiDavide RossiEugenio ZimeoPublished 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