A Formal Model for Space Based Ubiquitous Computing.
James DooleyMartin HensonVic CallaghanHani HagrasDaniyal M. Al-GhazzawiAreej MalibariMohammed Al-HaddadAbdullah Al-Malaise Al-GhamdiPublished in: Intelligent Environments (2011)
Keyphrases
- formal model
- ubiquitous computing
- context aware
- physical objects
- ambient intelligence
- everyday life
- context awareness
- computing devices
- physical environment
- physical world
- formal models
- pervasive computing
- ubiquitous computing environments
- mobile computing
- human activities
- communication technologies
- security properties
- ubiquitous systems
- smart spaces
- artificial intelligence
- ubiquitous computing technology
- context aware computing
- everyday objects
- mobile communications
- rfid technology
- intrusion detection