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

AlunoTítulo da dissertaçãoOrientadorData da defesa
Eduardo Santos CordeiroOtimizações na Compilação de Adendos de Contorno em Programas Orientados por AspectosRoberto da Silva Bigonha06/02/2007
Renato VimieiroUm Estudo de Algoritmos para Extração de Regras Utilizando Análise Formal de ConceitoNewton José Vieira16/02/2007
João Paulo Domingos SilvaAlgoritmos de Classificação Baseados em Análise Formal de ConceitosNewton José Vieira23/02/2007
Daniel Ludovico GuidoniDifusão de Dados Baseada em Atraso e Energia para Redes de Sensores Sem FioAntonio Alfredo Ferreira Loureiro28/02/2007
Francisco Henrique de Freitas VianaAlgoritmo para o Problema de Roteamento Dinâmico de Veículos com Janelas de Tempo e Tempos de Viagem VariáveisGeraldo Robson Mateus05/03/2007
Wagner Moro AioffiMétodos Integrados para Organização de Redes de Sensores sem Fio com Sorvedouro Móvel e Controle de DensidadeGeraldo Robson Mateus09/03/2007
Italo Giovani Abdanur StefaniMétodo de Refinamento MachinaRoberto da Silva Bigonha13/03/2007
Alysson Félix RodriguesUm Guia para Criação de Modelos de Desenho de Software no Praxis Synergia.Wilson de Pádua Paula Filho21/03/2007
Allan Jones Costa e SilvaEstratégias para Busca do Texto Completo de Artigos Catalogados em uma Biblioteca DigitalAlberto Henrique Frade Laender26/03/2007
Christian Jorge Delgado PolarUm Protocolo para Contratação de Agentes em Grupos de Larga EscalaLuiz Chaimowicz26/03/2007
Paulo José Lage AlvarengaUm Estudo sobre Referências Bibliográficas na Área de Ciência da ComputaçãoBerthier Ribeiro de Araújo Neto29/03/2007
Monique Vaz VieiraBusca Eficiente em Redes SociaisBerthier Ribeiro de Araújo Neto30/03/2007
Tays Cristina do Amaral Pales SoaresCompilação de Semântica Denotacional ModularRoberto da Silva Bigonha13/04/2007
Thiago Radicchi RoqueVerificação de Equivalência de Circuitos com Aceleração por Largura e Aprendizado de Cláusulas de ConflitoClaudionor José Nunes Coelho Júnior27/04/2007
Humberto Mossri de AlmeidaUma Abordagem de Componentes Combinados para a Geração de Funções de Ordenação Usando Programação GenéticaMarcos André Gonçalves15/06/2007
Wagner Salazar PiresUma Linguagem de Especificação Formal Orientada por AspectosRoberto da Silva Bigonha29/06/2007
Bárbara Lagoeiro MoreiraUma Ferramenta Baseada no Modelo 5S para Avaliação de Qualidade em Bibliotecas DigitaisMarcos André Gonçalves29/06/2007
Fernando Duarte Oliveira CastroCaracterísticas do Tráfego e Padrões de Comunicação de um Serviço de BlogsVirgílio Augusto Fernandes Almeida12/07/2007
Luciana Pereira de AssisAlgoritmos para o Problema de Roteamento de Veículos com Coleta e Entrega SimultâneasGeraldo Robson Mateus13/07/2007
Fernanda Sumika Hojo de SouzaAlgoritmos para o Problema de Atribuição de Papéis em Redes de Sensores Sem FioGeraldo Robson Mateus13/07/2007
Cristiano de Paula CostaDisseminação de Conteúdo Poluído em Sistemas Par-a-Par de Compartilhamento de ArquivosJussara Marques de Almeida Gonçalves16/07/2007
Leonardo Teixeira PassosGerador LALR com suporte a resolução de conflitosMariza Andrade da Silva Bigonha04/09/2007
André Bigonha ToledoProteus: Um Arcabouço para a Distribuição de Objetos no Ambiente da Computação PervasivaRoberto da Silva Bigonha04/09/2007
Flávio Augusto Rocha BertholdoTécnicas de Limiarização para Melhorar a Qualidade Visual de Documentos HistóricosArnaldo de Albuquerque Araújo21/09/2007
Juliana França Santos AquinoAlgoritmo de Codificação Diferenciada para Redes de Sensores Sem FioAntonio Alfredo Ferreira Loureiro09/10/2007
Ítalo Fernando Scotá CunhaGerenciamento de Capacidade de Infra-Estruturas Multi-Camadas com Restrições de Energia e Ataques de SegurançaJussara Marques de Almeida Gonçalves19/11/2007
Daniel Oliveira NascimentoGerenciamento de Ambientes Computacionais Via WebSérgio Vale Aguiar Campos29/11/2007
Bruno Pontes Soares RochaMiddleware de Segurança Adaptativo para Computação MóvelAntonio Alfredo Ferreira Loureiro17/12/2007
Cristiano Gato de RezendePublicar/Assinar em Redes Móveis Ad HocAntonio Alfredo Ferreira Loureiro18/12/2007
Rodrigo Geraldo RibeiroProgramação Genérica Usando o Sistema CTCarlos Camarão de Figueiredo18/12/2007
Rodrygo Luis Teodoro SantosWhizKEY: Um Ambiente para Instalação de Bibliotecas DigitaisMarcos André Gonçalves19/12/2007

Acesso rápido

Skip to content