Ao digitar um novo e válido endereço da internet no browser em um equipamento devidamente configurado e conectado na internet, o serviço que traduz o nome do site para o respectivo endereço IP denomina-se: