Dissertações defendidas - Mestrado em Ciência da Computação - 2007

Undefined
Aluno Título da dissertação Orientador Data da defesa
Eduardo Santos Cordeiro Otimizações na Compilação de Adendos de Contorno em Programas Orientados por Aspectos Roberto da Silva Bigonha 06/02/2007
Renato Vimieiro Um Estudo de Algoritmos para Extração de Regras Utilizando Análise Formal de Conceito Newton José Vieira 16/02/2007
João Paulo Domingos Silva Algoritmos de Classificação Baseados em Análise Formal de Conceitos Newton José Vieira 23/02/2007
Daniel Ludovico Guidoni Difusão de Dados Baseada em Atraso e Energia para Redes de Sensores Sem Fio Antonio Alfredo Ferreira Loureiro 28/02/2007
Francisco Henrique de Freitas Viana Algoritmo para o Problema de Roteamento Dinâmico de Veículos com Janelas de Tempo e Tempos de Viagem Variáveis Geraldo Robson Mateus 05/03/2007
Wagner Moro Aioffi Métodos Integrados para Organização de Redes de Sensores sem Fio com Sorvedouro Móvel e Controle de Densidade Geraldo Robson Mateus 09/03/2007
Italo Giovani Abdanur Stefani Método de Refinamento Machina Roberto da Silva Bigonha 13/03/2007
Alysson Félix Rodrigues Um Guia para Criação de Modelos de Desenho de Software no Praxis Synergia. Wilson de Pádua Paula Filho 21/03/2007
Allan Jones Costa e Silva Estratégias para Busca do Texto Completo de Artigos Catalogados em uma Biblioteca Digital Alberto Henrique Frade Laender 26/03/2007
Christian Jorge Delgado Polar Um Protocolo para Contratação de Agentes em Grupos de Larga Escala Luiz Chaimowicz 26/03/2007
Paulo José Lage Alvarenga Um Estudo sobre Referências Bibliográficas na Área de Ciência da Computação Berthier Ribeiro de Araújo Neto 29/03/2007
Monique Vaz Vieira Busca Eficiente em Redes Sociais Berthier Ribeiro de Araújo Neto 30/03/2007
Tays Cristina do Amaral Pales Soares Compilação de Semântica Denotacional Modular Roberto da Silva Bigonha 13/04/2007
Thiago Radicchi Roque Verificação de Equivalência de Circuitos com Aceleração por Largura e Aprendizado de Cláusulas de Conflito Claudionor José Nunes Coelho Júnior 27/04/2007
Humberto Mossri de Almeida Uma Abordagem de Componentes Combinados para a Geração de Funções de Ordenação Usando Programação Genética Marcos André Gonçalves 15/06/2007
Wagner Salazar Pires Uma Linguagem de Especificação Formal Orientada por Aspectos Roberto da Silva Bigonha 29/06/2007
Bárbara Lagoeiro Moreira Uma Ferramenta Baseada no Modelo 5S para Avaliação de Qualidade em Bibliotecas Digitais Marcos André Gonçalves 29/06/2007
Fernando Duarte Oliveira Castro Características do Tráfego e Padrões de Comunicação de um Serviço de Blogs Virgílio Augusto Fernandes Almeida 12/07/2007
Luciana Pereira de Assis Algoritmos para o Problema de Roteamento de Veículos com Coleta e Entrega Simultâneas Geraldo Robson Mateus 13/07/2007
Fernanda Sumika Hojo de Souza Algoritmos para o Problema de Atribuição de Papéis em Redes de Sensores Sem Fio Geraldo Robson Mateus 13/07/2007
Cristiano de Paula Costa Disseminação de Conteúdo Poluído em Sistemas Par-a-Par de Compartilhamento de Arquivos Jussara Marques de Almeida Gonçalves 16/07/2007
Leonardo Teixeira Passos Gerador LALR com suporte a resolução de conflitos Mariza Andrade da Silva Bigonha 04/09/2007
André Bigonha Toledo Proteus: Um Arcabouço para a Distribuição de Objetos no Ambiente da Computação Pervasiva Roberto da Silva Bigonha 04/09/2007
Flávio Augusto Rocha Bertholdo Técnicas de Limiarização para Melhorar a Qualidade Visual de Documentos Históricos Arnaldo de Albuquerque Araújo 21/09/2007
Juliana França Santos Aquino Algoritmo de Codificação Diferenciada para Redes de Sensores Sem Fio Antonio Alfredo Ferreira Loureiro 09/10/2007
Ítalo Fernando Scotá Cunha Gerenciamento de Capacidade de Infra-Estruturas Multi-Camadas com Restrições de Energia e Ataques de Segurança Jussara Marques de Almeida Gonçalves 19/11/2007
Daniel Oliveira Nascimento Gerenciamento de Ambientes Computacionais Via Web Sérgio Vale Aguiar Campos 29/11/2007
Bruno Pontes Soares Rocha Middleware de Segurança Adaptativo para Computação Móvel Antonio Alfredo Ferreira Loureiro 17/12/2007
Cristiano Gato de Rezende Publicar/Assinar em Redes Móveis Ad Hoc Antonio Alfredo Ferreira Loureiro 18/12/2007
Rodrigo Geraldo Ribeiro Programação Genérica Usando o Sistema CT Carlos Camarão de Figueiredo 18/12/2007
Rodrygo Luis Teodoro Santos WhizKEY: Um Ambiente para Instalação de Bibliotecas Digitais Marcos André Gonçalves 19/12/2007