Instituto de Computação   Dissertações de Mestrado   1.   Migração de Sistemas Legados para Ambiente de Suporte a Projetos e Operação. Autor: Carlos Alberto Previdelli , Orientador: GEOVANE CAYRES MAGALHAES . Data da defesa: 21/12/2001.   2.   Estudo Comparativo de Algoritmos para Checkpointing, Autor: Gustavo Maciel Dias Vieira , Orientador: LUIZ EDUARDO BUZATO . Data da defesa: 18/12/2001.   3.   Tratamento de Exceções no Desenvolvimento de Sistemas Confiáveis em Componentes. Autor: Gisele Rodrigues de Mesquita Ferreira , Orientador: CECILIA MARY FISCHER RUBIRA . Data da defesa: 17/12/2001.   4.   Programação Reflexiva Sobre o Protocolo de Meta-Objetos Guaraná. Autor: Rodrigo Dias Arruda Senra , Orientador: LUIZ EDUARDO BUZATO . Data da defesa: 17/12/2001.   5.   Raciocínio Baseado em Modelo Aplicado ao Diagnóstico de Falha e Performance em Redes Locais. Autor: Sandro Tozzo Fontanini , Orientador: JACQUES WAINER . Data da defesa: 17/12/2001.   6.   Automatização da Administração de Sistema Unix. Autor: Carlos Alberto da Silva , Orientador: PAULO LICIO DE GEUS . Data da defesa: 10/12/2001.   7.   Integrando Testes de Domínios aos TestesBaseados em Máquinas Finitas de Estado Estendidas. Autor: Flávio Rogério Uber , Orientador: ELIANE MARTINS . Data da defesa: 19/11/2001.   8.   Alocação de Recursos em Redes Programáveis. Autor: Antonio Pires de Castro Junior , Orientador: NELSON LUIS SALDANHA DA FONSECA . Data da defesa: 09/11/2001.   9.   Policiamento de Tráfego IP em Redes ATM. Autor: Sergio Araujo Yunes , Orientador: NELSON LUIS SALDANHA DA FONSECA . Data da defesa: 11/10/2001.   10.   Aplicação de Agentes Sociais no Contexto de um Sistema de Apoio à Decisao em Grupo. Autor: Danillo Palacio Braga , Orientador: JACQUES WAINER . Data da defesa: 24/09/2001.   11.   Estudo de Diálogos Orientados à Tarefa usando a Teoria de Multiagentes. Autor: Norton Trevisan Roman , Orientador: ARIADNE MARIA BRITO RIZZONI CARVALHO . Data da defesa: 19/09/2001.   12.   Partições Retangulares Ótimas: Algoritmos Lagrangeanos e Planos de Corte. Autor: Felipe Carneiro Calheiros , Orientador: CID CARVALHO DE SOUZA . Data da defesa: 17/09/2001.   13.   Avaliação de Mecanismos para Acesso a Bancos de Dados Hete- rogêneos através da WEB. Autor: Edmar Edilton da Silva , Orientador: CELIO CARDOSO GUIMARAES . Data da defesa: 14/09/2001.   14.   Desenvolvimento de um Modelo de Gerenciamento de Redes de Telecomunicações Utilizando a Plataforma Corba. Autor: Junior Toshiharu Saito , Orientador: EDMUNDO ROBERTO MAURO MADEIRA . Data da defesa: 14/09/2001.   15.   Automatização de Administração e Segurança em Redes Windows NT. Autor: Alessandro Augusto , Orientador: PAULO LICIO DE GEUS . Co-Orientador(es): CELIO CARDOSO GUIMARAES. Data da defesa: 13/09/2001.   16.   Um Sistema de Padrões para Injeção de Falhas por Software. Autor: Nelson Guilherme Mendes Leme , Orientador: ELIANE MARTINS . Data da defesa: 22/08/2001.   17.   Escalonamento de Instruções em Arquiteturas VLIW Particiona-das Explorando Bypassing de Operandos. Autor: Marcio de Oliveira Buss , Orientador: GUIDO COSTA SOUZA DE ARAUJO . Co-Orientador(es): PAULO CESAR CENTODUCATTE. Data da defesa: 01/08/2001.   18.   Desenvolvimento da Infra-Estrutura Embarcada do ProjetoAurora. Autor: Silvio Mano Maeta , Orientador: Samuel Siqueira Bueno . Co-Orientador(es): MARIA BEATRIZ FELGAR DE TOLEDO. Data da defesa: 27/07/2001.   19.   Desenvolvimento da Estação de Terra do Projeto Aurora. Autor: Luiz Gustavo Bizarro Mirisola , Orientador: Marcel Bergerman . Co-Orientador(es): RICARDO DE OLIVEIRA ANIDO. Data da defesa: 26/07/2001.   20.   Problema de Planejamento de Viagens no Transporte Coletivo. Autor: Maikol Magalhães Rodrigues , Orientador: CID CARVALHO DE SOUZA . Data da defesa: 25/07/2001.   21.   Uma Abordagem Participativa ao Design de Ambiente Computacional de Apoio a Discussão de Problemas no Contexto de Trabalho. Autor: André Marcos da Silva , Orientador: MARIA CECILIA CALANI BARANAUSKAS . Data da defesa: 20/07/2001.   22.   Dimensionamento de Sistemas de Vídeo Interativo. Autor: Hana Karina Salles Rubinsztejn , Orientador: NELSON LUIS SALDANHA DA FONSECA . Data da defesa: 12/07/2001.   23.   Projeto de Operadores de Processamento e Análise de Imagens Baseados na Transformada Imagem-Floresta. Autor: Bruno Santos da Cunha , Orientador: ALEXANDRE XAVIER FALCAO . Data da defesa: 06/07/2001.   24.   Um Modelo de Negociação Automatizada para Comércio Eletrônico. Autor: Jó Ueyama , Orientador: EDMUNDO ROBERTO MAURO MADEIRA . Data da defesa: 06/07/2001.   25.   Adaptação de Componentes de Software para o Desenvolvimento de Sistemas Confiáveis. Autor: Gerson Mizuta Weiss , Orientador: CECILIA MARY FISCHER RUBIRA . Data da defesa: 13/06/2001.   26.   HagáQuê- Editor de História em Quadrinhos. Autor: Sílvia Amélia Bim , Orientador: HELOISA VIEIRA DA ROCHA . Data da defesa: 11/06/2001.   27.   A Conjetura dos 3-Fluxos de Tutte e Emparelhamentos em Grafos Bipartidos. Autor: Cândida Nunes da Silva , Orientador: RICARDO DAHAB . Data da defesa: 01/06/2001.   28.   Componentes para o Desenvolvimento de Intranets. Autor: Guilherme Rodrigues de Matos Junior , Orientador: ROGERIO DRUMMOND BURNIER P DE M FILHO . Data da defesa: 10/05/2001.   29.   Análise das Falhas de Segurança dos Protocolos de Comunicação do Windows NT. Autor: Marcus Cunha Granado , Orientador: CELIO CARDOSO GUIMARAES . Data da defesa: 04/05/2001.   30.   Uma Implementação da Máquina Virtual Java Usando o Compartilhamento do Compilador "Just-in-Time". Autor: Rodrigo Augusto Barbato Ferreira , Orientador: GUIDO COSTA SOUZA DE ARAUJO . Data da defesa: 29/03/2001.   31.   Combinando Bancos de Dados e Raciocínio Baseado em Casos para Apoio à Decisão em Planejamento Ambiental. Autor: Daniel dos Santos Kaster , Orientador: CLAUDIA MARIA BAUZER MEDEIROS . Co-Orientador(es): HELOISA VIEIRA DA ROCHA. Data da defesa: 12/03/2001.   32.   Contribuições da Abordagem Semiótica ao Estudo de Interfacesde Sistemas de Informação Geográfica. Autor: Alysson Bolognesi Prado , Orientador: MARIA CECILIA CALANI BARANAUSKAS . Data da defesa: 09/03/2001.   33.   Desenvolvimento de um Bandwith Broker para a Arquitetura de Serviços Diferenciados. Autor: Leonardo Costa , Orientador: EDMUNDO ROBERTO MAURO MADEIRA . Data da defesa: 02/03/2001.   34.   Montagem de Fragmentos de DNA pelo Método "Ordered Shotgun Sequencing (OSS)". Autor: Lin Tzy Li , Orientador: JOAO MEIDANIS . Data da defesa: 23/02/2001.   35.   Uma Arquitetura de Controle para Robôs Cooperativos. Autor: Christian Manrich , Orientador: Marcel Bergerman . Data da defesa: 20/02/2001.   36.   Geração e Vetorização de Instruções de Multiplicação e Acumulação para Processadores DSP SIMD. Autor: Natalia Viana Fargasch , Orientador: GUIDO COSTA SOUZA DE ARAUJO . Data da defesa: 07/02/2001.