While pervasive computing is becoming more realistic from the hardware point of view, the matching software tools have not matured at the same rate. This puts a great burden on the programmers who have to enable applications to spread their functionality across devices available in the surroundings. The vision of thesis is to explore application partitioning techniques for development of pervasive computing applications. Using these techniques, software applications can be decomposed into parts that can be distributed amongst multiple devices. We propose a resilient actor model to...