Particionamento Resiliente de Servios de Computao Pervasiva

Enquanto a computao generalizada se est a tornar mais realista do ponto de vista do hardware, as ferramentas de software correspondentes no amadureceram ao mesmo ritmo. Isto coloca um grande fardo sobre os programadores que tm de permitir que as aplicaes espalhem a sua funcionalidade pelos dispositivos disponveis no ambiente. A viso da tese a de explorar tcnicas de partio de aplicaes para o desenvolvimento de aplicaes computacionais invasivas. Utilizando estas tcnicas, as aplicaes de software podem ser decompostas em partes que podem ser distribudas entre mltiplos dispositivos. Propomos um modelo de actor resiliente para adicionar estruturalmente a propriedade de partio a aplicaes invasivas. Este modelo assegura que uma aplicao pode ser dividida dinamicamente para ser executada em qualquer dispositivo disponvel no ambiente em tempo de execuo. Alm disso, a aplicao particionada resultante resiliente a falhas na rede. Este livro ser til para investigadores interessados em computao omnipresente, bem como designers de linguagens de programao para linguagens especialmente concebidas para a construo de aplicaes de software que funcionam em redes mveis ad hoc.