Department of Computer Science | Federal University of Amazonas Av. Gal. Rodrigo Otavio Jordao Ramos, 3000 ¤ CEP: 69077-000 Manaus, AM, Brazil ¤ Phone: +55 92 3305 2808 ¤ Fax: +55 92 3305 2809 Mail Address: