DCC/UFRJ - Departamento de Ciência da Computação