Ph.D. in Ingegneria Informatica E Dei Sistemi , 16th cycle (2001-2003) Ph.D. obtained in 2004 Tutors: Giuseppe Menga