Agradecer não é, de modo algum, uma tarefa trivial. São tantas pessoas a agradecer que sempre se corre o risco de, equivocadamente, não se fazer devida menção a alguém. Então, objetivamente, começarei por agradecer a todos que de alguma forma me ajudaram, direta ou indiretamente. Assim, ninguém estará completamente esquecido. De forma especial, inicialmente, agradeço ao CEFET-MG e ao Departamento de Computação por terem concedido liberação das minhas atividades docentes para que eu pudesse me dedicar integralmente ao doutoramento. Ao Programa de Pós-Graduação em Ciência da Computação e à CAPES/CNPq pelo apoio financeiro. Aos funcionários da Secretaria do PPGCC, sempre prestativos e competentes. Aos amigos do LLP pelo companheirismo e amizade. Sentirei falta das agradáveis divagações diárias sobre os mais variados assuntos durante o almoço no "bandeco". Aos meus familiares pelo apoio incondicional e por estarem sempre ao meu lado, especialmente aos meus irmãos Leandro e Patrícia, à minha filha Amanda, à minha namorada Letícia, à minha avó Terezinha e aos meus tios Ronaldo e Neide. À Professora Mariza, minha coorientadora, pelas incontáveis contribuições para realização desse trabalho. Finalmente, agradeço especialmente ao Professor Marco Túlio, pela paciência, comprometimento, disponibilidade e dedicação. Um profissional exemplar. Um amigo por quem tenho eterna gratidão.