Research Repository

Formal Model For Space Based Ubiquitous Computing

Dooley, James and Henson, Martin and Callaghan, Victor and Hagras, Hani and Al-Ghazzawi, Daniyal and Malibari, Areej and Al-Haddad, Mohammed and Al-Malaise Al-Ghamdi, Abdullah (2011) Formal Model For Space Based Ubiquitous Computing. In: Proceedings of the 2011 International Conference on Intelligent Environments.

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.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: Formal Model; Ubiquitous Computing
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: Users 161 not found.
Date Deposited: 11 Sep 2013 08:48
Last Modified: 08 Jan 2015 15:07

Actions (login required)

View Item View Item