Instituto de Computação   Dissertações de Mestrado   1.   Escalonamento de Atividades de Desenvolvimento de Poços de Petróleo: GRASP e Outras Técnicas. Autor: Rômulo Albuquerque Pereira, Orientador: Arnaldo Vieira Moura. Co-Orientador: Cid Carvalho de Souza. Data da defesa: 16/12/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.   2.   Resolução de Anáfora Pronominal em Português Utilizando o Algoritmo Lappin e Leass. Autor: Thiago Thomes Coelho, Orientador: Ariadne Maria Brito Rizzoni Carvalho. Data da defesa: 16/12/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.   3.   Modelos de Tráfego para Fluxos Gerados pelo Protocolo UDP. Autor: Larissa Oliveira Ostrowsky, Orientador: Nelson Luís Saldanha da Fonseca. Data da defesa: 12/12/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.   4.   Protocolos de Justiça para Redes Ópticas em Anel. Autor: Marcelo Mitsutoshi Uesono, Orientador: Nelson Luís Saldanha da Fonseca. Data da defesa: 07/12/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.   5.   Alguns Problemas em Geometrias de Curvas. Autor: Fábio Dalla Costa Figueiredo, Orientador: Pedro Jussieu de Rezende. Data da defesa: 28/11/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.   6.   Um Método de Testes para Componentes Toleratnes a Falhas. Autor: Camila Ribeiro Rocha, Orientador: Eliane Martins. Data da defesa: 23/11/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.   7.   Uma Estratégia para Testes de Sistemas Reativos, Autor: Daniele Constant Guimarães, Orientador: Eliane Martins. Data da defesa: 19/10/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.   8.   Um Método para Modelagem de Exceções em Desenvolvimento Baseado em Componentes. Autor: Patrick Henrique da Silva Brito, Orientador: Cecilia Mary Fischer Rubira. Data da defesa: 14/10/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.   9.   Gerente de Distribuição do Ambiente Xchart em J2EE, Autor: Carlos Neves Júnior, Orientador: Hans Kurt Edmund Liesenberg. Data da defesa: 26/09/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.   10.   Yai - Apoio Tecnológico para uma Eduacação Solidária. Autor: Osmar Mantovani, Orientador: Hans Kurt Edmund Liesenberg. Data da defesa: 26/09/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.   11.   Estudo e Implementação de Otimização de Preload Usando o Processador XScale. Autor: Márcio Rodrigo de Oliveira, Orientador: Guido Costa Souza de Araújo. Data da defesa: 10/08/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.   12.   Visualização de Informação Aplicada a Resultados de Mecanismos de Busca. Autor: Cláudio Maximiliano Zaina, Orientador: Maria Cecilia Calani Baranauskas. Data da defesa: 22/07/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.   13.   Análise Sintática para Tratamento da Elipse em Orações Coordenadas. Autor: Ralph Moreira Maduro, Orientador: Ariadne Maria Brito Rizzoni Carvalho. Data da defesa: 29/06/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.   14.   Arquitetura de Software para Recuperação de Falhas Utilizando Checkpointing Quase-Síncrono. Autor: Ulisses Furquim Freire da Silva, Orientador: Islene Calciolari Garcia. Data da defesa: 05/05/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.   15.   Projeto e Implementação de um Descompressor PDC-Compacket em um Processador SPARC. Autor: Eduardo Afonso Billo, Orientador: Rodolfo Jardim de Azevedo. Data da defesa: 25/04/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.   16.   Geração Automática de Montadores em ArchC. Autor: Alexandro José Baldassin, Orientador: Paulo Cesar Centoducatte. Data da defesa: 20/04/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.   17.   PowerSC: Uma Extensão de SystemC para a Captura de Atividade de Transição. Autor: Felipe Vieira Klein, Orientador: Rodolfo Jardim de Azevedo. Co-Orientador: Guido Costa Souza de Araújo. Data da defesa: 15/04/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.   18.   Um Visualizador para uma Extensão de CGAL ao Plano Projetivo Orientado. Autor: Fabio Pakk Selmi-Dei, Orientador: Pedro Jussieu de Rezende. Data da defesa: 11/04/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.   19.   Publicação e Integração de Workflows Científicos na Web. Autor: Gilberto Zonta Pastorello Júnior, Orientador: Claudia Maria Bauzer Medeiros. Data da defesa: 06/04/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.   20.   Grafos PI. Autor: Sheila Morais de Almeida, Orientador: Célia Picinin de Mello. Co-Orientador: Anamaria Gomide. Data da defesa: 04/04/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.   21.   Distância de Transposição entre Genomas. Autor: Vinicius José Fortuna, Orientador: João Meidanis. Data da defesa: 28/03/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.   22.   Policy Viewer: Ferramenta para Visualização de Políticas de Segurança em Grafos. Autor: Diogo Ditzel Kropiwiec, Orientador: Paulo Lício de Geus. Data da defesa: 23/03/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.   23.   Sistema de Substituição: Uma Técnica Reativa para Auto- Reparo e Auto-Diagnóstico de planos. Autor: Claus de Castro Aranha, Orientador: Jacques Wainer. Data da defesa: 18/03/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.   24.   GeoMarketing: Modelos e Sistemas, com Aplicações em Telefonia. Autor: Paulo Sérgio Sampaio de Aragão, Orientador: Claudia Maria Bauzer Medeiros. Data da defesa: 07/03/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.   25.   Alocação de Banda Passante em Redes Auto-Ajustáveis. Autor: André Costa Drummond, Orientador: Nelson Luís Saldanha da Fonseca. Data da defesa: 28/02/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.   26.   Representações Internas e Geração de Códigos no Compilador Redirecionável Xingó. Autor: Cristiano Lino Felicio, Orientador: Paulo Cesar Centoducatte. Data da defesa: 28/02/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.   27.   Um Consenso Completamente Resolvido entre Árvore Filogené- ticas Completamente Resolvidas. Autor: José Augusto Amgarten Quitzau, Orientador: João Meidanis. Data da defesa: 24/02/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE TEORIA DA COMPUTACAO.   28.   WorkToDo Flex - Um Sistema de Gerenciamento de Workflows Flexíveis. Autor: Jackson da Cruz, Orientador: Maria Beatriz Felgar de Toledo. Data da defesa: 21/02/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE COMPUTACAO.   29.   Modelagem e Proposta de Sistema para Mediar Processos de Comunicação em Organizações Enxutas. Autor: Raquel Zarattini Chebabi, Orientador: Maria Cecilia Calani Baranauskas. Data da defesa: 20/01/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.   30.   Algoritmo de Vergência para o Controle da Atenção de Humanos Virtuais. Autor: Schubert Ribeiro de Carvalho, Orientador: Luíz Marcos Garcia Gonçalves. Data da defesa: 07/01/2005. Dissertação de mestrado ligada ao DEPARTAMENTO DE SISTEMAS DE INFORMACAO.