Theses in the APICe space
Available
- Reingegnerizzazione di un sistema di supervisione ed il controllo dei reparti produttivi: Progetto del sottosistema di fault tolerance con particolare attenzione alle perdite di connettività . (Enrico Denti, 01/02/2013)
- Reingegnerizzazione di un sistema di supervisione ed il controllo dei reparti produttivi: Progetto e sviluppo del sottosistema di personalizzazione. (Enrico Denti, 01/02/2013)
- Class loading in Android: applicazione a tuProlog (Enrico Denti, 24/01/2013)
- Riprogettazione dell'editor dell'interprete tuProlog (Enrico Denti, 01/10/2012)
- Traduzione semi-automatica di applicazioni: approcci a confronto (Enrico Denti, 01/09/2012)
- Estensione dell'interfaccia grafica in tuProlog per Android (Enrico Denti, 01/09/2012)
- Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog (Enrico Denti, 01/09/2012)
- Pervasive Traffic Analysis through Alchemist (Mirko Viroli, 03/07/2012)
- From images to rich pervasive environments (Mirko Viroli, 03/07/2012)
- Approximate Stochastic Model Checking in Alchemist (Mirko Viroli, 01/07/2012)
- Alchemist based biochemical simulator with multiple mobile compartments (Mirko Viroli, 01/07/2012)
- Modellazione e Simulazione della Cascata di Segnalazione Intracellulare MAPK sul simulatore stocastico ALCHEMIST (Sara Montagna, 30/11/2011)
- Il modello ad attori nei linguaggi di programmazione moderni - da framework in Java a Google DART (Alessandro Ricci, 01/11/2011)
- Progetto di una libreria CLP per tuProlog (Enrico Denti, 17/05/2011)
- Interfacce di input e reporting per la simulazione di ecosistemi di servizi pervasivi (Mirko Viroli, 12/05/2011)
- Un linguaggio di alto livello per la descrizione di ecosistemi di servizi pervasivi (Mirko Viroli, 12/05/2011)
- "Agenti Volanti" - Sperimentazione di Tecnologie ad Agenti - JaCa in particolare - per la Programmazione di Sistemi UAV basati su AR-Drone (09/05/2011)
- Sistemi basati su Mobile Augmented Reality (Alessandro Ricci, 31/03/2011)
- Sviluppo dello strumento Graph&SODA per il supporto della metodologia SODA (Ambra Molesini, 25/03/2011)
- Dalla programmazione logica contestuale alla programmazione del Web: implementazione in tuProlog (Andrea Omicini, 01/11/2010)
- Sicurezza in TuCSoN: Progettazione e Implementazione (Andrea Omicini, 15/01/2010)
- Mobile Computing - piattaforma Android (Alessandro Ricci, 01/01/2010)
- Progettazione e sviluppo applicazioni embedded distribuite - NoTA + tecnologie ad agenti (01/01/2010)
- Coordinazione Fuzzy Tramite ReSpecT (Andrea Omicini, 16/06/2009)
- Agent-Oriented Computing - Programmazione orientata agli agenti (Alessandro Ricci, 01/01/2009)
- Infrastrutture di Virtualizzazione (Alessandro Ricci, 01/01/2009)
- "A Robot in Every Home": Programmazione di Robot domestici con linguaggi e tecnologie ad agenti (Alessandro Ricci, 01/01/2009)
- Simulazione e Verifica di Sistemi Biochimici in PRISM (17/12/2008)
- Analisi alto-livello di sistemi in PRISM (17/12/2008)
- Eco-coordination: sviluppo di modelli ecologici di coordinazione (17/12/2008)
- Pattern di computazione su piattaforma biochimica (Mirko Viroli, 17/12/2008)
- Simulazione markoviana di sotto-processi di embriogenesi (Mirko Viroli, 17/12/2008)
- Kit&SODA: A Toolkit for SODA (Ambra Molesini, 13/04/2008)