Towards balanced distribution of computations through automated reasoning

Shojanoori, Reza, Juric, Radmila and Lohi, Mahi (2010) Towards balanced distribution of computations through automated reasoning. In: 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:


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
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 18 Mar 2010 10:39
Last Modified: 13 May 2010 08:34

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)