Pagliarini, Roberto, University of Verona, Italy Computer Science Department Strada Le Grazie 15, 37134 Verona, Italy, Italy