Dissertações 1997 - 2008
Defendidas em 2008
- 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]
- 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]
- Avaliando o Modelo de Rede Neural RePART em Comitês com Diferentes Níveis de Diversidades. Araken de Medeiros Santos, 01/02/2008. [PDF]
- Um Ambiente Multi-Middleware para Desenvolvimento de Aplicações Distribuídas. André Gustavo Duarte de Almeida, 12/02/2008. [PDF]
- The Interval Constructor on MTL - Algebra and Axiomatic Extensions. Hélida Salles Santos, 15/02/2008. [PDF]
- 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]
- 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]
- 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]
- 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]
- Construção de Mosaicos Georreferenciados Usando Imagens Aéreas de Pequeno Formato. Natal Henrique Cordeiro, 04/08/2008.
- Utilizando Mapas de Conectividade Fuzzy no Desenvolvimento de Algoritmos Reparadores de Imagens Binárias 3D. Íria Caline Saraiva Cosme, 04/08/2008. [PDF]
- Uma Arquitetura de Referência para o Desenvolvimento de Sistemas Interativos Multiplataformas. Fabiola Mariz da Fonseca, 08/08/2008. [PDF]
- 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]
- Dilema Acurácia/Diversidade: Um Estudo Empírico no Contexto de Multiclassificadores. Diogo Fagundes de Oliveira, 01/09/2008. [PDF]
- Lógicas BDI Fuzzy. Anderson Paiva Cruz, 26/09/2008. [PDF]
- 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]
- 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
- 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]
- Um Modelo de Interconexão de Componentes para Ambientes Multimídia Distribuídos. Carlos Eduardo da Silva, 05/02/2007. [PDF]
- Algoritmo Transgenético na Solução do Problema do Caixeiro Comprador. Ligia Bariani Bagi, 09/02/2007. [PDF]
- 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]
- Segmentacao Fuzzy de Imagens de Video Lucas de Melo Oliveira, 23/02/2007. [PDF]
- 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]
- Analisando Desempenho e Diversidade em Ensembles com Classificadores Construtivos. Susanny Mirelli Silveira Silva, 01/03/2007.
- Prova Automática de Satisfatibilidade Módulo Teoria Aplicada ao Método B. Cláudia Fernanda Oliveira Kiermes Tavares, 27/07/2007. [PDF]
- Utilizando Pesos Estáticos e Dinâmicos em Sistemas Multi-Classificadores com Diferentes Níveis de Diversidade. Raul Benites Paradeda, 27/07/2007. [PDF]
- Sistema de Agentes Poligínicos para Esteganálise de Imagens Digitais Samuel de Oliveira Azevedo, 06/08/2007.
- JCML - Java Card Modeling Language: Definição e Implementação. Plácido Antônio de Souza Neto, 06/09/2007. [PDF]
- 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]
- Implementação Hardware/Software da Estimação de Movimento Segudo o Padrão H.264. Milano Gadelha Carvalho, 28/09/2007. [PDF]
- Deciding Difference Logic in a Nelson-Oppen Combination Framework. Diego Caminha Barbosa de Oliveira, 07/11/2007. [PDF]
- BSmart: Desenvolvimento Rigoroso de Aplicações JavaCard com Base no Método B. Bruno Emerson Gurgel Gomes, 19/11/2007. [PDF]
- 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
- Comitês de Agrupamentos Aplicados a Dados de Expressão Gênica. Shirlly Christiany Macedo Silva, 20/01/2006. [PDF]
- Projeto e Implementação de uma Plataforma MP-SoC Usando SystemC. Rodrigo Soares de Lima Sá Rego, 06/02/2006. [PDF]
- Computação Evolucionária Aplicada a Problemas de Otimização Combinatória. Ilka Maria Soares Campos, 13/02/2006.
- Uma Abordagem por Nuvem de Partículas para Problemas de Otimização Combinatória. Givanaldo Rocha de Souza, 16/02/2006. [PDF]
- 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.
- Bricks: Um Modelo Composicional com Suporte à Composição Baseada em Negociação de Propriedades de Interfaces. Frederico Borelli de Souza, 17/02/2006.[PDF]
- Visual IMML - Um Perfil UML para a Modelagem de Interfaces de Usuário. Thaís Lima Machado, 17/02/2006. [PDF]
- 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]
- Otimização em Braquiterapia de Alta Taxa de Dose com Algoritmo Transgenético. Ricardo Marx Costa Soares de Jesus, 20/02/2006. [PDF]
- Utilizando Programação Orientada a Aspectos no Projeto de Sistemas Hardware Desenvolvidos com SystemC. Sérgio Queiroz de Medeiros, 03/03/2006. [PDF]
- AGraphs:Definição, Implementação e Ferramentas. Demóstenes Santos de Sena, 28/04/2006. [PDF]
- Extração de Regras de Agrupamentos de Dados de Expressão Gênica. Welbson Siqueira Costa, 30/06/2006. [PDF]
- GeOntoQuery - Um Mecanismo de Busca em Banco de dados Geográficos Baseado em Ontologias. Renata Fernandes Viégas, 13/07/2006. [PDF]
- 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]
- Uma Análise Experimental de Abordagens Heurísticas Aplicadas ao Problema do Caixeiro Viajante. Álvaro Nunes Prestes, 27/07/2006. [PDF]
- Modelagem de Arquiteturas Reconfiguráveis com Espaços de Chu. Camila de Araújo, 28/07/2006. [PDF]
- Uma Ontologia para a descrição da semântica da IMML. Heremita Brasileiro Lira, 28/07/2006. [PDF]
- X-ARM: Um Modelo de representação de Artefatos de Software. Michael Schuenck dos Santos, 04/08/2006. [PDF]
- 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]
- 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]
- Um Middleware Reflexivo e Orientado a Aspectos: Arquitetura e Implementações. Nélio Alessandro Azevedo Cacho, 15/12/2006. [PDF]
Defendidas em 2005
- 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]
- 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]
- 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.
- Projeto e Implementação de um Processador com Conjunto de Instrução Reconfigurável Utilizando VHDL. Leonardo Augusto Casillo, 10/05/2005. [PDF]
- 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]
- 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]
- 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.
- 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.
- O Problema do Bin-packing Tridimensional em Contêneires: Usando Interação com o Usuário. Carlos Heitor Pereira Liberalino, 15/08/2005.
- 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.
- 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
- 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.
- 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.
- 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.
- 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.
- 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.
- A Linguagem de Especificação Algébrica CASL e o Tipo de Dados Intervalos Katiane Ribeiro Lopes, 16/04/2004.
- 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.
- Malha de Interconexão para Sistemas Integrados em Chip Único José Iran Saraiva da Silva, 22/04/2004. [PDF]
- PUPSI - Proposta de Processo Unificado para Políticas de Segurança da Informação Ivano Miranda dos Anjos, 30/04/2004. [PDF]
- 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.
- N2N Framework: Uma Plataforma para Desenvolvimento de Sistemas Colaborativos Distribuídos Aquiles Medeiros Filgueira Burlamaqui, 16/07/2004. [PDF]
- Combinando Aspectos e Componentes: Uma Abordagem Interpretada Fabrício de Alexandria Fernandes, 30/08/2004. [PDF]
- Um Serviço de Certificação Digital para Plataformas de Middleware Caio Sérgio de Vasconcelos Batista, 21/09/2004. [PDF]
- Contribuições para Verificação Automática de Applets JavaCard Antônio Augusto Oliveira Viana da Silva, 13/10/2004. [PDF]
- Computação Intervalar em Redes Neurais Perceptron Raquel Esperanza Patino Escarcina, 26/11/2004
Defendidas em 2003
- 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.
- 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]
- 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.
- Um Modelo de Objetos Baseados em CORBA para o Gerenciamento Distribuído de Redes de Computadores. Rommel Wladimir de Lima, 24/03/2003.
- Nkey: Um Protocolo para o Gerenciamento de Chaves de Grupo Assimétricas. Carlos Gustavo Araújo da Rocha, 25/03/2003.
- Um Método para Modificação de Processos Legados Utilizando SPEM e Processo Unificado. Zalkind Lincoln Dantas Rocha, 22/04/2003.
- Seleção Dinâmica de Componentes CORBA. José Neilton Dias de Morais, 28/04/2003.
- Especificação do Tipo Intervalar Parametrizado em CASL. Samara Pereira da Costa Melo, 22/08/2003. [PDF]
- 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.
- LObSec: Uma Biblioteca para Construção de Objetos Distribuídos Seguros. Stéphany Moraes Martins, 15/12/2003.
Defendidas em 2002
- Ordenação Inicial de BDDs para a Verificação de Sistemas de Transição Finita. Jorgiano Márcio Bruno Vidal, 04/02/2002. [PDF]
- 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.
- Teoria Fuzzy Intervalar: Uma Proposta de Integração da Matemática à Teoria Fuzzy. Maria Mônica Macêdo Torres Silveira, 18/02/2002.
- Integrando Padrões Através de Meta-Modelos. Lyrene Fernandes da Silva, 20/02/2002.
- Modelando Uma Arquitetura PRAM-CRCW com Espaços de Chu. Maria José Lima dos Santos, 21/02/2002.
- Teoria dos Conjuntos Dominantes e Aplicações em Algumas Classes de Grafos. Raimundo Nonato Camelo Parente, 21/02/2002
- PAPÍLIO: Proposta de Um Algoritmo de Criptografia Baseado no Algoritmo Viterbi e Codificação Convolucional. Karla Darlene Nepomuceno Ramos, 22/02/2002
- Arquitetura e Biblioteca para FERUS - Apoio Formal à Especificação e Re-Utilização de Componentes de Software. Samantha Escobar Peraça, 01/03/2002.
- Segurança Contra à Falsificação de Endereços IP na Resolução de Nomes no DNS. Vagner José do Sacramento Rodrigues, 01/03/2002.
- Design e Avaliação de Sistemas Multimídia para Web: Um Estudo de Caso. Antonio José Portella Almeida, 01/03/2002.
- Quiosque Informativo para os Programas de Saúde Pública. Guilherme Fábio de Melo, 03/06/2002
- Algoritmos Evolucionários na Solução do Problema de Programação de Sondas de Produção Terrestre. Márcia Borchardt, 28/06/2002. [PDF]
- 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.
- 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
- Algoritmo transgenético para o problema do passeio do pistoneio. Ana Carla Cabral Fernandes, 19/02/2001.
- Uma abordagem transgenética para o problema da coloração de grafo. Lívia Maria Martins da Silva, 19/02/2001.
- Meta-heurística busca tabu aplicada a solução do problema da unidade móvel do pistoneio. Neuza Maria Dantas, 19/02/2001.
- FMTA: Um Framework para Monitoramento de Tráfego em Aplicações Multimídia. Marcos César Madruga Alves Pinheiro, 01/03/2001.
- Especificação e Implementação do DynaVideo VoD Server. Pedro Júnior Amancio de Lima, 01/03/2001.
- POIROT - Um ambiente para avaliação de interfaces de usuário. Tatiana Aires Tavares, 13/03/2001.
- Uma aplicação do GRASP na otimização do emprego da unidade móvel de pistoneio. Carlos Avelino de Barros, 20/04/2001.
- Um framework para desenvolvimento de sistemas de apoio a atividades práticas. Ivanosca Andrade da Silva, 18/05/2001.
- Em direção à uma representação para equações algébricas: Uma lógica equacional local. José Medeiros dos Santos, 17/07/2001. [PDF]
- 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
- 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.
- JAVA-XSC: Uma Biblioteca JAVA para Computação Intervalares. José Enéas Montenegro Dutra, 14/02/2000.
- Acessibilidade na Internet para Deficientes Visuais. Andrea dos Santos Rodrigues, 17/02/2000.
- Concepção e Implementação de Uma Malha de Interconexão Crossbar. Nádja Rogéria Araújo Cândido, 21/02/2000.
- Uso da Internet como Recurso Estratégico na Gestão do Relacionamento com o Cliente. Selma Monteiro da Silva Veldman, 21/02/2000.
- Educação a Distância Via Web - Desenvolvimento de um Modelo Conceitual. Apuena Vieira Gomes, 22/02/2000.
- Concepção Multi-Agentes para Implementação do Raciocínio Aproximado. Marcos Antônio de Oliveira, 14/04/2000.
- Estudo Conceitual do Paradigma Baseado em Agentes como Solução Computacional de Problemas. Anne Christine Leite Siqueira, 03/08/2000.
- Concepção de um Modelo Conceitual Multi-Agentes de Aprendizado Indutivo. Fabíola Paiva de Souza, 04/08/2000.
- 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.
- Modelos para Qualidade de Software: Um Estudo Comparativo. Ytalo Rosendo do Amaral, 04/08/2000.
- 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.
- Contaminações Virais na Aceleração da Solução do Problema do Passeio do Pistoneio. Inalva Ferreira, 25/08/2000.
- Uma Proposta de Modelo Conceitual para Elicitação de Requisitos de Sistemas Dinâmicos. Paulo Cesar Moreira Gottgtroy, 13/11/2000.
- A linguagem de descrição de arquiteturas ZCLcsp. Bartira Paraguaçu Falcão Dantas, 11/12/2000.
- Ordenação de variáveis de BDDs utilizando algoritmos genéticos paralelos. Umberto Souza da Costa, 14/12/2000. [PDF]
- Equivalência e consistência entre funções intervalares. Márcia Maria de Castro Cruz, 15/12/2000.
Defendidas em 1999
- Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar. Aarão Lyra, 11/02/1999. [PS]
- Algoritmos genéticos na solução do problema do caixero viajante. Joaquim Elias Lucena de Freitas, 31/03/1999.
- 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]
- Metodologias para o desenvolvimento de sistemas dinâmicos: uma análise comparativa. Leonilda Maria Magalhães de Souza, 15/12/1999.
Defendidas em 1997
- Rendimento escolar corrigido como garantia de qualidade no acesso ao ensino superior. Iloneide Carlos de Oliveira Ramos, 18/11/1997. [PDF]
- Otimização do corte: ênfase na indústria de confecção. João Soriano Cruz, 23/12/1997
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa12-producao.info.ufrn.br.sigaa12-producao