Context-aware Reactive Systems based on Runtime Semantic Models (S).
Ester GiallonardoFrancesco PoggiDavide RossiEugenio ZimeoPublished in: SEKE (2019)
Keyphrases
- context aware
- semantic models
- reactive systems
- contextual information
- context awareness
- temporal logic
- model checking
- information flow
- ubiquitous computing
- mobile devices
- formal methods
- petri net
- control flow
- semantic features
- semantic annotation
- latent semantic analysis
- current context
- spatial relations
- information systems
- semantic information
- real time systems
- social networks
- language model
- co occurrence
- metadata
- context aware systems