, Departamento de Informática, PUC-RIO, Brazil