WestminsterResearch

Towards balanced distribution of computations through automated reasoning

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://sites.westminster.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