Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Area della Ricerca CNR di Pisa Via G. Moruzzi 1 56124 PISA - Italy