publicações Abstração de provas para explicação na web Documento AdeQuaS - Ferramenta Fuzzy para Avaliação da Qualidade de Software Documento Agregação e predição de dados no processamento de consultas em redes de sensores sem fio Documento Aplicação de metapadrões e padrões em desenvolvimento de software para sistemas de informação Documento Combinação de metaheurísticas e programação linear inteira : uma metodologia híbrida aplicada ao problema de carregamento de contêiner Documento Detecção de colisão utilizando grids e octrees esféricas para ambientes gráficos interativos Documento FRAMEWORK FUNCTEST: APLICANDO PADRÕES DE SOFTWARE NA AUTOMAÇÃO DE TESTES FUNCIONAIS Documento GEOSIMULAÇÃO TUTORADA: UM ESTUDO DE CASO NA SEGURANÇA PÚBLICA Documento Interoperabilidade entre padrões de objetos distribuídos através de bridges e protocolos baseados em XML Documento MFP: Uma Política Eficiente para Liberação de Memória usando o Operador Físico Hash-Merge Join Documento Microtexto : uma ferramenta de zoom contínuo de auxílio a leitura eletrônica Documento OTIMIZAÇÃO DO PROCESSO DE FABRICAÇÃO DO BISCOITO TIPO CRACKER Documento UPi - A Software Development Process Aiming at Usability, Productivity and Integration Documento Um Modelo para Avaliação da Qualidade da Gerência de Projetos de Software Documento Um Processo para Detecção de Cenários Implícitos em Sistemas Concorrentes Documento Uma Arquitetura para Ambientes Virtuais Colaborativos com Dispositivos de Force Feedback Documento Uma Metodologia de Aprendizagem a Distância de Recomendações Ergonômicas Contextualizadas em Casos de Uso. Documento Uma arquitetura multi-agentes para auxílio a gestão do conhecimento através da descoberta de conhecimento em base de dados Documento Xplains : uma abordagem para geração de explicações de fluxos de serviços web semânticos Documento