Department of Mathematics and Computer Science University of Salerno University of Salerno Computer Science, System and Production Department University of Rome "Tor Vergata" Microsoft Corporation