Dissertações 1997 - 2008

Defendidas em 2008

  1. Avaliação de Reusabilidade de Código de Aplicações Web Baseadas em Frameworks Orientados a Ações e a Componentes: Estudo de caso sobre os Frameworks Apache Struts e JavaServer Faces. André Medeiros Dantas, 08/01/2008. [PDF]
  2. Uma Análise Comparativa de Sistemas de Combinação de Classificadores com Distribuição Vertical dos Dados. Laura Emmanuella Alves Santana, 01/02/2008. [PDF]
  3. Avaliando o Modelo de Rede Neural RePART em Comitês com Diferentes Níveis de Diversidades. Araken de Medeiros Santos, 01/02/2008. [PDF]
  4. Um Ambiente Multi-Middleware para Desenvolvimento de Aplicações Distribuídas. André Gustavo Duarte de Almeida, 12/02/2008. [PDF]
  5. The Interval Constructor on MTL - Algebra and Axiomatic Extensions. Hélida Salles Santos, 15/02/2008. [PDF]
  6. CES – Um Mecanismo Genérico de Composição de Eventos para Sistemas Sensíveis ao Contexto. Frederico Araújo da Silva Lopes, 15/02/2008. [PDF]
  7. Proposta e Implementação de uma Arquitetura Reconfigurável Híbrida para Aplicações Baseadas em Fluxo de Dados. Mônica Magalhães Pereira, 21/02/2008. [PDF]
  8. Estudo da Viabilidade do Desenvolvimento de Sistemas Integrados Baseados em Redes em Chip sem Processadores: Sistema Inopsys. Silvio Roberto Fernandes de Araújo, 11/04/2008. [PDF]
  9. MARISA-MDD - Uma Abordagem para Transformações entre Modelos Orientados a Aspectos: dos Requisitos ao Projeto Detalhado. Ana Luísa Ferreira de Medeiros, 09/06/2008. [PDF]
  10. Construção de Mosaicos Georreferenciados Usando Imagens Aéreas de Pequeno Formato. Natal Henrique Cordeiro, 04/08/2008.
  11. Utilizando Mapas de Conectividade Fuzzy no Desenvolvimento de Algoritmos Reparadores de Imagens Binárias 3D. Íria Caline Saraiva Cosme, 04/08/2008. [PDF]
  12. Uma Arquitetura de Referência para o Desenvolvimento de Sistemas Interativos Multiplataformas. Fabiola Mariz da Fonseca, 08/08/2008. [PDF]
  13. WebFlowAH: Um Ambiente para Especificação e Execução ad-hoc de Processos de Negocio Baseados em Serviços Web. José Reginaldo de Sousa Mendes Júnior, 29/08/2008. [PDF]
  14. Dilema Acurácia/Diversidade: Um Estudo Empírico no Contexto de Multiclassificadores. Diogo Fagundes de Oliveira, 01/09/2008. [PDF]
  15. Lógicas BDI Fuzzy. Anderson Paiva Cruz, 26/09/2008. [PDF]
  16. Uma Abordagem baseada em Aspectos e Composição Dinâmica para a Construção de Aplicações Adaptativas Cientes ao Contexto. Isanio Lopes Araújo Santos, 10/11/2008. [PDF]
  17. Algoritmos de Agrupamento Aplicados a Dados de Expressão Gênica de Câncer: Um Estudo Comparativo. Daniel Sabino Amorim de Araújo, 11/11/2008. [PDF]

Defendidas em 2007

  1. Bridge: Uma Ferramenta para Design de Interfaces de Usuário Baseada em Especificações IMML. Salerno Ferreira de Sousa e Silva, 25/01/2007. [PDF]
  2. Um Modelo de Interconexão de Componentes para Ambientes Multimídia Distribuídos. Carlos Eduardo da Silva, 05/02/2007. [PDF]
  3. Algoritmo Transgenético na Solução do Problema do Caixeiro Comprador. Ligia Bariani Bagi, 09/02/2007. [PDF]
  4. Uma Abordagem através de Algoritmos Transgenéticos para o Problema da Configuração do Traçado de uma Rede de Distribuição de Gás Natural. Cristine Cunha Schmidt, 13/02/2007. [PDF]
  5. Segmentacao Fuzzy de Imagens de Video Lucas de Melo Oliveira, 23/02/2007. [PDF]
  6. Geração de Interfaces de Usuário de Sistemas Web para Múltiplos Dispositivos com o Uso de Componentes de IU. Lirisnei Gomes de Sousa, 26/02/2007. [PDF]
  7. Analisando Desempenho e Diversidade em Ensembles com Classificadores Construtivos. Susanny Mirelli Silveira Silva, 01/03/2007.
  8. Prova Automática de Satisfatibilidade Módulo Teoria Aplicada ao Método B. Cláudia Fernanda Oliveira Kiermes Tavares, 27/07/2007. [PDF]
  9. Utilizando Pesos Estáticos e Dinâmicos em Sistemas Multi-Classificadores com Diferentes Níveis de Diversidade. Raul Benites Paradeda, 27/07/2007. [PDF]
  10. Sistema de Agentes Poligínicos para Esteganálise de Imagens Digitais Samuel de Oliveira Azevedo, 06/08/2007.
  11. JCML - Java Card Modeling Language: Definição e Implementação. Plácido Antônio de Souza Neto, 06/09/2007. [PDF]
  12. Renderizações não Fotorealísticas para Estilização de Imagens e Vídeos Usando Areia Colorida. Laurindo de Sousa Britto Neto, 21/09/2007. [PDF]
  13. Implementação Hardware/Software da Estimação de Movimento Segudo o Padrão H.264. Milano Gadelha Carvalho, 28/09/2007. [PDF]
  14. Deciding Difference Logic in a Nelson-Oppen Combination Framework. Diego Caminha Barbosa de Oliveira, 07/11/2007. [PDF]
  15. BSmart: Desenvolvimento Rigoroso de Aplicações JavaCard com Base no Método B. Bruno Emerson Gurgel Gomes, 19/11/2007. [PDF]
  16. JFloat: Uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento controlado. José Frank Viana da Silva, 30/11/2007. [PDF]

Defendidas em 2006

  1. Comitês de Agrupamentos Aplicados a Dados de Expressão Gênica. Shirlly Christiany Macedo Silva, 20/01/2006. [PDF]
  2. Projeto e Implementação de uma Plataforma MP-SoC Usando SystemC. Rodrigo Soares de Lima Sá Rego, 06/02/2006. [PDF]
  3. Computação Evolucionária Aplicada a Problemas de Otimização Combinatória. Ilka Maria Soares Campos, 13/02/2006.
  4. Uma Abordagem por Nuvem de Partículas para Problemas de Otimização Combinatória. Givanaldo Rocha de Souza, 16/02/2006. [PDF]
  5. Um Estudo Algoritmico para Otimização do Plano de Tratamento da Radioterapia Conformal Bidimensional. Frederiko Stênio Luis Neves de Araújo, 16/02/2006.
  6. Bricks: Um Modelo Composicional com Suporte à Composição Baseada em Negociação de Propriedades de Interfaces. Frederico Borelli de Souza, 17/02/2006.[PDF]
  7. Visual IMML - Um Perfil UML para a Modelagem de Interfaces de Usuário. Thaís Lima Machado, 17/02/2006. [PDF]
  8. Algoritmo Memético com Vocabulary Building: Uma Aplicação ao Problema do Caixeiro Viajante Assimétrico. Jéssica Neiva de Figueiredo Leite, 20/02/2006. [PDF]
  9. Otimização em Braquiterapia de Alta Taxa de Dose com Algoritmo Transgenético. Ricardo Marx Costa Soares de Jesus, 20/02/2006. [PDF]
  10. Utilizando Programação Orientada a Aspectos no Projeto de Sistemas Hardware Desenvolvidos com SystemC. Sérgio Queiroz de Medeiros, 03/03/2006. [PDF]
  11. AGraphs:Definição, Implementação e Ferramentas. Demóstenes Santos de Sena, 28/04/2006. [PDF]
  12. Extração de Regras de Agrupamentos de Dados de Expressão Gênica. Welbson Siqueira Costa, 30/06/2006. [PDF]
  13. GeOntoQuery - Um Mecanismo de Busca em Banco de dados Geográficos Baseado em Ontologias. Renata Fernandes Viégas, 13/07/2006. [PDF]
  14. A aplicação de Ontologias para Métodos de negociação de um Sistema Multi-Agente para Reconhecimento de Padrões. Valéria Maria Siqueira Bezerra, 14/07/2006. [PDF]
  15. Uma Análise Experimental de Abordagens Heurísticas Aplicadas ao Problema do Caixeiro Viajante. Álvaro Nunes Prestes, 27/07/2006. [PDF]
  16. Modelagem de Arquiteturas Reconfiguráveis com Espaços de Chu. Camila de Araújo, 28/07/2006. [PDF]
  17. Uma Ontologia para a descrição da semântica da IMML. Heremita Brasileiro Lira, 28/07/2006. [PDF]
  18. X-ARM: Um Modelo de representação de Artefatos de Software. Michael Schuenck dos Santos, 04/08/2006. [PDF]
  19. Analisando o Desempenho do Class Age: um Sistema Multi-Agentes para a Classificação de Padrões. Márjory Cristiany Da Costa Abreu, 26/10/2006. [PDF]
  20. Um Estudo Algorítmico de Problemas Logísticos na Indústria de Petróleo e Gás Natural. Herbert de Melo Duarte, 16/11/2006. [PDF]
  21. Um Middleware Reflexivo e Orientado a Aspectos: Arquitetura e Implementações. Nélio Alessandro Azevedo Cacho, 15/12/2006. [PDF]

Defendidas em 2005

  1. Extensões Intervalares do Método de Segmentação de Imagens Digitais por K-Means: Estudos Comparativos e de Caso. Adriana Takahashi, 25/02/2005. [PDF]
  2. TVOICE: Um Sistema de Manipulação de Linguagens para Auxiliar Portadores de Necessidades Especiais Através da Web. Ítalo Herbert Santos e Gomes, 24/03/2005. [PDF]
  3. Metaheurísticas Paralelas para o Problema da Alocação de Sondas de Produção Terrestre: Desenvolvimento e Aplicação. Joseane Alves Pinheiro, 28/03/2005.
  4. Projeto e Implementação de um Processador com Conjunto de Instrução Reconfigurável Utilizando VHDL. Leonardo Augusto Casillo, 10/05/2005. [PDF]
  5. Avaliação de Desempenho de Protocolos de Roteamento para Redes Móveis Ad Hoc sob Condições de Tráfego de Aplicações de VideoFone. Glaucia Melissa Medeiros Campos, 02/06/2005. [PDF]
  6. Modelagem e Implementação de um Banco de Dados Geográficos para Apoio à Tomada de Decisão caso Maracajaú. Mateus Fernandes da Cunha, 11/08/2005. [PDF]
  7. Contribuições na Otimização Discreta por Nuvem de Partílas: Aplicação ao Problema do Caixeiro Viajante. Marilyn Cristine Serafin de Oliveira, 11/08/2005.
  8. Carcará: um Sistema Multi-Agentes para Busca na Web com Personalização Dinâmica de Usuários. Manuel Ferreira Gomes Júnior, 11/08/2005.
  9. O Problema do Bin-packing Tridimensional em Contêneires: Usando Interação com o Usuário. Carlos Heitor Pereira Liberalino, 15/08/2005.
  10. Sistema de Reescrita de Termos para Intervalos: Em Direção a um Modelo Formal para a Computação Intervalar. Adriano Xavier Carvalho, 15/08/2005.
  11. X-Conf: uma Infraestrutura de Gerenciamento e Configuração para Serviços de Distribuição de Vídeo Digital. Fernando Luiz de Almeida, 25/11/2005.

Defendidas em 2004

  1. Números Dinâmicos: Uma Abordagem Computacional Orientada a Objetos com Implementações na Linguagem Java Osmar Fernandes de Oliveira Júnior, 08/03/2004.
  2. Uma Ferramenta para Suporte Formal à Evolução e Reutilização para Linguagens de Especificação Algébrica com Semântica Inicial Anderson Santana de Oliveira, 08/04/2004.
  3. Algoritmos Evolucionários para o Problema de Dimensionamento dos Dutos de uma Rede Urbana de Distribuição de Gás Natural Data: Melissa Pereira de Castro, 15/04/2004.
  4. Algoritmo Simulated Annealing Híbrido para o Problema de Roteamento de Veículos com Frota Heterogênea Carlos Magno Reinert da Rocha Lima, 15/04/2004.
  5. Um Estudo Algorítmico para o Problema do Dimensionamento de Dutos em uma Rede Urbana de Distribuição de Gás Natural Wagner Emanoel Costa, 16/04/2004.
  6. A Linguagem de Especificação Algébrica CASL e o Tipo de Dados Intervalos Katiane Ribeiro Lopes, 16/04/2004.
  7. Abordagem Evolucionária para Problemas da Cogeração e do Roteamento da Unidade Móvel do Pistoneio Francisco Dantas de Medeiros Neto, 16/04/2004.
  8. Malha de Interconexão para Sistemas Integrados em Chip Único José Iran Saraiva da Silva, 22/04/2004. [PDF]
  9. PUPSI - Proposta de Processo Unificado para Políticas de Segurança da Informação Ivano Miranda dos Anjos, 30/04/2004. [PDF]
  10. Um Sistema de Apoio a Decisão para Gerenciamento Dinâmico das Sondas de Produção Terrestres na Bacia Potiguar Rosiery da Silva Maia, 19/05/2004.
  11. N2N Framework: Uma Plataforma para Desenvolvimento de Sistemas Colaborativos Distribuídos Aquiles Medeiros Filgueira Burlamaqui, 16/07/2004. [PDF]
  12. Combinando Aspectos e Componentes: Uma Abordagem Interpretada Fabrício de Alexandria Fernandes, 30/08/2004. [PDF]
  13. Um Serviço de Certificação Digital para Plataformas de Middleware Caio Sérgio de Vasconcelos Batista, 21/09/2004. [PDF]
  14. Contribuições para Verificação Automática de Applets JavaCard Antônio Augusto Oliveira Viana da Silva, 13/10/2004. [PDF]
  15. Computação Intervalar em Redes Neurais Perceptron Raquel Esperanza Patino Escarcina, 26/11/2004

Defendidas em 2003

  1. Elaboração e Implementação de uma Estratégia Computacional para Otimização da Configuração do Serviço de Distribuição de Vídeo DynaVideo. Luiz Eduardo Cunha Leite, 07/03/2003.
  2. Uso de Replicação Móvel para Distribuição de Vídeo Digital em Redes de Computadores. Renata Sofia Pinho de Aquino Alves, 14/03/2003. [PDF]
  3. AXEL: Uma Ferramenta Gráfica Baseada em Código Aberto para Auxílio à Administração Integrada de Sistemas de Detecção de Instrusão e Firewalls. Carlos Henrique Grilo Diniz, 14/03/2003.
  4. Um Modelo de Objetos Baseados em CORBA para o Gerenciamento Distribuído de Redes de Computadores. Rommel Wladimir de Lima, 24/03/2003.
  5. Nkey: Um Protocolo para o Gerenciamento de Chaves de Grupo Assimétricas. Carlos Gustavo Araújo da Rocha, 25/03/2003.
  6. Um Método para Modificação de Processos Legados Utilizando SPEM e Processo Unificado. Zalkind Lincoln Dantas Rocha, 22/04/2003.
  7. Seleção Dinâmica de Componentes CORBA. José Neilton Dias de Morais, 28/04/2003.
  8. Especificação do Tipo Intervalar Parametrizado em CASL. Samara Pereira da Costa Melo, 22/08/2003. [PDF]
  9. Lógica Difusa no Controle de Parâmetro do Algoritmo Genético para o Problema do Caixeiro Viajante. Andréia Philipp Cavalheiro, 29/09/2003.
  10. LObSec: Uma Biblioteca para Construção de Objetos Distribuídos Seguros. Stéphany Moraes Martins, 15/12/2003.

Defendidas em 2002

  1. Ordenação Inicial de BDDs para a Verificação de Sistemas de Transição Finita. Jorgiano Márcio Bruno Vidal, 04/02/2002. [PDF]
  2. SGUMP: Um sistema Computacional Georreferenciado de Apoio à Decisão para Otimização do Gerenciamento de Unidades Móveis de Pistoneio. Andréa Cynthia dos Santos, 05/02/2002.
  3. Teoria Fuzzy Intervalar: Uma Proposta de Integração da Matemática à Teoria Fuzzy. Maria Mônica Macêdo Torres Silveira, 18/02/2002.
  4. Integrando Padrões Através de Meta-Modelos. Lyrene Fernandes da Silva, 20/02/2002.
  5. Modelando Uma Arquitetura PRAM-CRCW com Espaços de Chu. Maria José Lima dos Santos, 21/02/2002.
  6. Teoria dos Conjuntos Dominantes e Aplicações em Algumas Classes de Grafos. Raimundo Nonato Camelo Parente, 21/02/2002
  7. PAPÍLIO: Proposta de Um Algoritmo de Criptografia Baseado no Algoritmo Viterbi e Codificação Convolucional. Karla Darlene Nepomuceno Ramos, 22/02/2002
  8. Arquitetura e Biblioteca para FERUS - Apoio Formal à Especificação e Re-Utilização de Componentes de Software. Samantha Escobar Peraça, 01/03/2002.
  9. Segurança Contra à Falsificação de Endereços IP na Resolução de Nomes no DNS. Vagner José do Sacramento Rodrigues, 01/03/2002.
  10. Design e Avaliação de Sistemas Multimídia para Web: Um Estudo de Caso. Antonio José Portella Almeida, 01/03/2002.
  11. Quiosque Informativo para os Programas de Saúde Pública. Guilherme Fábio de Melo, 03/06/2002
  12. Algoritmos Evolucionários na Solução do Problema de Programação de Sondas de Produção Terrestre. Márcia Borchardt, 28/06/2002. [PDF]
  13. Otimização do Gerenciamento das Intervenções em Poços de Petróleo por Sondas de Produção Terrestre: Uma Abordagem Metaheurística. Francisco Chagas de Lima Júnior, 16/09/2002.
  14. SNIFERA: Um Modelo de Sistema de Informações para Sistemas de Qualidade Baseados na Família de Normas ISO 9000/9001/9000-3. Sergio Ramiro Rivero Guardia, 17/12/2002.

Defendidas em 2001

  1. Algoritmo transgenético para o problema do passeio do pistoneio. Ana Carla Cabral Fernandes, 19/02/2001.
  2. Uma abordagem transgenética para o problema da coloração de grafo. Lívia Maria Martins da Silva, 19/02/2001.
  3. Meta-heurística busca tabu aplicada a solução do problema da unidade móvel do pistoneio. Neuza Maria Dantas, 19/02/2001.
  4. FMTA: Um Framework para Monitoramento de Tráfego em Aplicações Multimídia. Marcos César Madruga Alves Pinheiro, 01/03/2001.
  5. Especificação e Implementação do DynaVideo VoD Server. Pedro Júnior Amancio de Lima, 01/03/2001.
  6. POIROT - Um ambiente para avaliação de interfaces de usuário. Tatiana Aires Tavares, 13/03/2001.
  7. Uma aplicação do GRASP na otimização do emprego da unidade móvel de pistoneio. Carlos Avelino de Barros, 20/04/2001.
  8. Um framework para desenvolvimento de sistemas de apoio a atividades práticas. Ivanosca Andrade da Silva, 18/05/2001.
  9. Em direção à uma representação para equações algébricas: Uma lógica equacional local. José Medeiros dos Santos, 17/07/2001. [PDF]
  10. Análise de confiabilidade das sondas de produção terrestre - SPT's - na manutenção dos poços da bacia potiguar RN/CE. Juciara do Nascimento César, 10/12/2001

Defendidas em 2000

  1. Teoria dos grafos e sistemas de informações geográficas: uma alternativa de integração. Antônio de Pádua Miranda Henriques, 20/01/2000.
  2. JAVA-XSC: Uma Biblioteca JAVA para Computação Intervalares. José Enéas Montenegro Dutra, 14/02/2000.
  3. Acessibilidade na Internet para Deficientes Visuais. Andrea dos Santos Rodrigues, 17/02/2000.
  4. Concepção e Implementação de Uma Malha de Interconexão Crossbar. Nádja Rogéria Araújo Cândido, 21/02/2000.
  5. Uso da Internet como Recurso Estratégico na Gestão do Relacionamento com o Cliente. Selma Monteiro da Silva Veldman, 21/02/2000.
  6. Educação a Distância Via Web - Desenvolvimento de um Modelo Conceitual. Apuena Vieira Gomes, 22/02/2000.
  7. Concepção Multi-Agentes para Implementação do Raciocínio Aproximado. Marcos Antônio de Oliveira, 14/04/2000.
  8. Estudo Conceitual do Paradigma Baseado em Agentes como Solução Computacional de Problemas. Anne Christine Leite Siqueira, 03/08/2000.
  9. Concepção de um Modelo Conceitual Multi-Agentes de Aprendizado Indutivo. Fabíola Paiva de Souza, 04/08/2000.
  10. Uma estratégia meta-heurística híbrida genética de grupamento para a solução do problema do bin-packing. Marcelo Mariano da Silva, 04/08/2000.
  11. Modelos para Qualidade de Software: Um Estudo Comparativo. Ytalo Rosendo do Amaral, 04/08/2000.
  12. Uma aplicação de algoritmo genético na otimização do emprego da unidade móvel de pistoneio. Josemir Araújo Neves, 07/08/2000.
  13. Contaminações Virais na Aceleração da Solução do Problema do Passeio do Pistoneio. Inalva Ferreira, 25/08/2000.
  14. Uma Proposta de Modelo Conceitual para Elicitação de Requisitos de Sistemas Dinâmicos. Paulo Cesar Moreira Gottgtroy, 13/11/2000.
  15. A linguagem de descrição de arquiteturas ZCLcsp. Bartira Paraguaçu Falcão Dantas, 11/12/2000.
  16. Ordenação de variáveis de BDDs utilizando algoritmos genéticos paralelos. Umberto Souza da Costa, 14/12/2000. [PDF]
  17. Equivalência e consistência entre funções intervalares. Márcia Maria de Castro Cruz, 15/12/2000.

Defendidas em 1999

  1. Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar. Aarão Lyra, 11/02/1999. [PS]
  2. Algoritmos genéticos na solução do problema do caixero viajante. Joaquim Elias Lucena de Freitas, 31/03/1999.
  3. Especificação formal de mecanismos de sincronização em aplicações multimídias baseadas no PREMO. Cláudia Maria Fernandes Araújo Ribeiro, 26/07/1999. [PDF]
  4. Metodologias para o desenvolvimento de sistemas dinâmicos: uma análise comparativa. Leonilda Maria Magalhães de Souza, 15/12/1999.

Defendidas em 1997

  1. Rendimento escolar corrigido como garantia de qualidade no acesso ao ensino superior. Iloneide Carlos de Oliveira Ramos, 18/11/1997. [PDF]
  2. Otimização do corte: ênfase na indústria de confecção. João Soriano Cruz, 23/12/1997
SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2017 - UFRN - sigaa02-producao.info.ufrn.br.sigaa02-producao