Dooley, James and Henson, Martin and Callaghan, Vic and Hagras, Hani and Al-Ghazzawi, Daniyal and Malibari, Areej and Al-Haddad, Mohammed and Al-Ghamdi, Abdullah Al-Malaise (2011) A Formal Model for Space Based Ubiquitous Computing. In: 2011 7th International Conference on Intelligent Environments (IE), 2011-07-25 - 2011-07-28.
Dooley, James and Henson, Martin and Callaghan, Vic and Hagras, Hani and Al-Ghazzawi, Daniyal and Malibari, Areej and Al-Haddad, Mohammed and Al-Ghamdi, Abdullah Al-Malaise (2011) A Formal Model for Space Based Ubiquitous Computing. In: 2011 7th International Conference on Intelligent Environments (IE), 2011-07-25 - 2011-07-28.
Dooley, James and Henson, Martin and Callaghan, Vic and Hagras, Hani and Al-Ghazzawi, Daniyal and Malibari, Areej and Al-Haddad, Mohammed and Al-Ghamdi, Abdullah Al-Malaise (2011) A Formal Model for Space Based Ubiquitous Computing. In: 2011 7th International Conference on Intelligent Environments (IE), 2011-07-25 - 2011-07-28.
Abstract
Ubiquitous Computing asserts that technology will soon be pervasive in our lives. But how will that technology be organized and made available to us as we roam through the many spaces of our daily lives? How will we see and use that which we have a right to, and more importantly, how will a lack of access rights be enforced? These are questions that have been raised following previous research projects. They become more significant as the concept of intelligent environments scales-up beyond the boundaries of four walls. In this paper we propose a formal model that will form a roadmap for some of our upcoming research. This paper is a hypothetical work that explores some questions and poses some answers - Influenced by experimentation and with a view to further investigation. © 2011 IEEE.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Published proceedings: Proceedings - 2011 7th International Conference on Intelligent Environments, IE 2011 |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Faculty of Science and Health Faculty of Science and Health > Computer Science and Electronic Engineering, School of |
| SWORD Depositor: | Unnamed user with email elements@essex.ac.uk |
| Depositing User: | Unnamed user with email elements@essex.ac.uk |
| Date Deposited: | 10 Jan 2013 11:51 |
| Last Modified: | 23 Sep 2022 18:42 |
| URI: | http://repository.essex.ac.uk/id/eprint/5045 |