Semantic analysis and verification of context-driven adaptive applications in intelligent environments

@article{Preuveneers2016SemanticAA,
  title={Semantic analysis and verification of context-driven adaptive applications in intelligent environments},
  author={Davy Preuveneers and Wouter Joosen},
  journal={Journal of Reliable Intelligent Environments},
  year={2016},
  volume={2},
  pages={53-73}
}
With the advent of the Internet of Things (IoT) and Cyber-Physical Systems (CPS), assistive applications and smart environments can tap into a growing amount of context information to learn about their users, their surroundings and typical behavior. This information is useful to adapt intelligently, autonomously and non-intrusively to a myriad of circumstances. However, trustworthiness and reliable adaptation to changes in line with user expectations—especially to situations that the developers… CONTINUE READING

Similar Papers

References

Publications referenced by this paper.
SHOWING 1-10 OF 49 REFERENCES

HermiT: An OWL 2 Reasoner

  • Journal of Automated Reasoning
  • 2014
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Design for Failure: Intelligent Systems Learning from Their Mistakes

  • Intelligent Environments
  • 2014
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Integrated impact analysis for managing software changes

  • 2012 34th International Conference on Software Engineering (ICSE)
  • 2012