Towards a formal model to reason about context-aware exception handling.
Lincoln S. RochaRossana M. C. AndradePublished in: WEH@ICSE (2012)
Keyphrases
- formal model
- context aware
- exception handling
- object oriented
- contextual information
- context awareness
- mobile devices
- domain independent
- conflict resolution
- ubiquitous computing
- ambient intelligence
- object oriented programming
- workflow management
- context aware systems
- workflow management systems
- mobile computing
- ubiquitous learning
- agent systems
- mobile users
- context aware ubiquitous learning
- smart home
- ubiquitous computing environments
- domain specific
- current context
- mobile applications
- software engineering
- database
- information security
- intelligent agents
- data collection
- programming language
- context aware services
- databases