Shojanoori, Reza and Juric, Radmila and Lohi, Mahi (2010) Towards balanced distribution of computations through automated reasoning. In: Bolotov, Alexander, (ed.) Proceedings of the Automated Reasoning Workshop 2010: Bridging the Gap between Theory and Practice, ARW 2010. University of Westminster, London.
Full text not available from this repository.
Official URL: http://www2.wmin.ac.uk/bolotoa/ARW/ARW-2010-main.p...
Abstract
The penetration of a wide variety of networking devices, wireless networks, personal digital assistants, sensors, actuators, and numerous other mobile embedded devices into the field of computing, together with their increased deployment by users, have all led to 'ubiquitous computing' (Weiser, 1993) as a reality. We have moved towards an 'unnoticeable' computing environment, which serves people in their everyday life, necessitates ‘smart’ or ‘intelligent’ spaces.
| Item Type: | Book Section |
|---|---|
| Research Community: | University of Westminster > Electronics and Computer Science, School of |
| ID Code: | 7779 |
| Deposited On: | 18 Mar 2010 10:39 |
| Last Modified: | 13 May 2010 09:34 |
Repository Staff Only: item control page
