publicações Abordagem Híbrida para a Avaliação da Usabilidade de Dispositivos Móveis. Documento Análise de desempenho de soluções para armazenamento estável de dados. Documento Automação de um Método de Teste Funcional para a Verificação de Componentes Documento COMPOR - desenvolvimento de software para sistemas multiagentes. Documento DEFINIÇÃO E VALIDAÇÃO DE REFATORAMENTOS DE SOFTWARE EM LARGA ESCALA. Documento ESPECIFICAÇÃO DE COMPONENTES PARA A MODELAGEM DE REDES LOCAIS DE COMPUTADORES SEM FIO PADRÃO IEEE 802.11. Documento ESTRATÉGIA DE IMPLANTAÇÃO DE PROJETOS DE EDUCAÇÃO A DISTÂNCIA ATRAVÉS DA INTERNET. Documento FORMALIZAÇÃO A ANÁLISE DE PADRÕES DE PROJETO PARA AGENTES MÓVEIS. Documento Geolocalizador: um sistema de referência espaço-temporal indireta na web. Documento Identificação de litofácies de poços de petróleo utilizando um método baseado em redes neurais artificiais. Documento Infra-estrutura de Software Baseada em Componentes para a Construção de Aplicações para Comunidades Virtuais Móveis Documento Localização e reconhecimento de placas de sinalização utilizando um mecanismo de atenção visual e redes neurais artificiais. Documento MediWeb: Um Integrador Semântico de Dados na Web Baseado em Mediadores Documento PROPOSTA DE SUPORTE COMPUTACIONAL AO MÉTODO MCI. Documento Reresentação e Indexação de Casos em Sistemas de Raciocínio Baseado em Casos para o domínio da Neurologia Documento Sistemas help desk: metodologias, aplicações e estudo de caso. Documento Teoria e aplicação de support vector machines à aprendizagem e reconhecimento de objetos baseado na aparência. Documento UM MIDDLEWARE EXTENSÍVEL PARA DISPONIBILIZAÇÃO DE SERVIÇOS EM AMBIENTES PERVASIVOS. Documento UM MODELO PARA O TRATAMENTO DE CONFIANÇA SOBRE TRANSAÇÕES DE E-BUSINESS. Documento Um Molde para Produção de Software Comercial. Um estudo de caso em Software unix de Prateleira Documento Um modelo genérico de agente racional baseado em raciocínio assíncrono interativo. Documento Um método de teste funcional para verificação de componentes. Documento Um sistema de apoio à tomada de decisão no acompanhamento do aprendizado em educação a distância. Documento Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas. Documento Uma ferramenta para projeto e simulação de circuitos quânticos. Documento Uma interface para consultas a sistemas de suporte à decisão baseada em linguagem natural, casamento de padrões e metadados. Documento Verificação de Modelos em Redes de Petri Orientadas a Objetos Documento WebQuest: Uma Ferramenta Configurável para a Sondagem da Satisfação do Usuário via Web Documento