Partizionamento resiliente di servizi informatici pervasivi

Mentre il pervasive computing sta diventando pi realistico dal punto di vista dell'hardware, gli strumenti software corrispondenti non sono maturati allo stesso ritmo. Questo mette un grande peso sui programmatori che devono permettere alle applicazioni di diffondere le loro funzionalit attraverso i dispositivi disponibili nell'ambiente circostante. La visione della tesi quella di esplorare tecniche di partizionamento delle applicazioni per lo sviluppo di applicazioni di pervasive computing. Usando queste tecniche, le applicazioni software possono essere decomposte in parti che possono essere distribuite tra pi dispositivi. Proponiamo un modello di attore resiliente per aggiungere strutturalmente la propriet di partizionamento alle applicazioni pervasive. Questo modello assicura che un'applicazione possa essere partizionata dinamicamente per essere eseguita su qualsiasi dispositivo disponibile nell'ambiente circostante in fase di esecuzione. Inoltre, l'applicazione partizionata risultante resiliente ai fallimenti della rete. Questo libro sar utile per i ricercatori interessati al pervasive computing, cos come per i progettisti di linguaggi di programmazione per linguaggi appositamente progettati per la costruzione di applicazioni software che funzionano in reti mobili ad hoc.