Research Repository

A formal model for space based ubiquitous computing

Dooley, J and Henson, M and Callaghan, V and Hagras, H and Al-Ghazzawi, D and Malibari, A and Al-Haddad, M and Al-Ghamdi, AAM (2011) A formal model for space based ubiquitous computing. In: UNSPECIFIED, ? - ?.

Full text not available from this repository.


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 > Computer Science and Electronic Engineering, School of
Depositing User: Jim Jamieson
Date Deposited: 10 Jan 2013 11:51
Last Modified: 23 Jan 2019 00:17

Actions (login required)

View Item View Item