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.