Proceedings Rio de Janeiro, RJ, Brazil November 22 - 25, 2000 (IEEE Computer Soc., 2000)