UnB - Departamento de Ciência da Computação