Department of Informatics and Statistics Technological Center Federal University of Santa Catarina Trindade Zip Code: 88040-900 – Florianópolis/SC – Brazil Phones: (+55-48) 3721-9498 (voice) / 3721-9566 (fax) Email: