PROCEEDINGS OF THE IEEE COMPUTER SOCIETY Revista uri icon