Resilient Partitioning of Pervasive Computing Services

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 structurally add the partitioning property to pervasive applications. This model ensures that an application can be dynamically partitioned to run on any available device in the surroundings at runtime. Moreover, the resulting partitioned application is resilient to network failures. This book will be useful for researchers interested in pervasive computing, as well as programming language designers for languages specially designed for building software applications that run in mobile ad hoc networks.