Towards balanced distribution of computations through automated reasoning

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.