A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents.
Abdur RakibRokan Uddin FaruquiPublished in: ICCASA (2012)
Keyphrases
- resource bounded
- context aware
- meta level
- information gathering
- autonomous agents
- contextual information
- context awareness
- ubiquitous computing
- mobile devices
- context aware systems
- ambient intelligence
- mobile users
- rational agents
- ubiquitous learning
- smart home
- mobile computing
- context aware computing
- multiagent systems
- expert systems
- current context
- context aware services
- object level
- smart environments
- model checking
- cooperative
- mobile applications
- mobile phone
- multi agent systems