Showing 101 - 120 results of 333 for search '"CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO"', query time: 6.74s Refine Results
  1. 101
    Beta: a B based testing approach
    by Matos, Ernesto Cid Brasil de
    Published 2016
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
  2. 102
    Contribui??es para o processo de verifica??o de satisfatibilidade m?dulo teoria em Event-B
    by Fragoso, Paulo Ewerton Gomes
    Published 2016
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
  3. 103
    Local livelock analysis of component-based models
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
  4. 104
    O problema do caixeiro viajante com passageiros e lota??o
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
  5. 105
    SMiLe: uma nota??o textual modular para modelos iStar
    by Penha, F?bio Fernandes
    Published 2017
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
  6. 106
    Uma abordagem para o desenvolvimento de jogos digitais educativos no ensino b?sico
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
  7. 107
    Big data analytics em cloud gaming: um estudo sobre o reconhecimento de padrões de jogadores
    by Barros, Victor Perazzolo
    Published 2017
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
    Others
  8. 108
    SISTEMA ESPECIALISTA PARA TELEDIAGNÓSTICO NO AMBIENTE DE WEB SERVICES WST Web Services Telediagnosis
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::TELEINFORMATICA...”
    Get full text
    Others
  9. 109
    ELICITAÇÃO DE REQUISITOS BASEADA EM OBJETIVOS PARA POLÍTICAS DE SEGURANÇA E PRIVACIDADE EM COMÉRCIO ELETRÔNICO
    by ROCHA, Simara Vieira da
    Published 2016
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
    Others
  10. 110
    Framework de Aplicações Móveis com Segurança em SOA
    by FONSÊCA, Johnneth de Sene
    Published 2016
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::ARQUITETURA DE...”
    Get full text
    Others
  11. 111
    Gera??o de casos de teste a partir de especifica??es B
    by Souza, Fernanda Monteiro de
    Published 2014
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
    Others
  12. 112
    Estendendo CRefine para o suporte de t?ticas de refinamento
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
    Others
  13. 113
    Uma arquitetura de refer?ncia para o desenvolvimento de sistemas interativos multiplataformas
    by Fonseca, Fabiola Mariz da
    Published 2014
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
    Others
  14. 114
    L?gica BDI fuzzy
    by Cruz, Anderson Paiva
    Published 2014
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
    Others
  15. 115
    A mechanism to evaluate context-free queries inspired in LR(1) parsers over graph databases
    by Santos, Fred de Castro
    Published 2018
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
  16. 116
    Navegação de um robô móvel baseado em um modelo de consciência artificial
    by Becker, Thiago
    Published 2016
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
  17. 117
    Simulação e realização de um computador com base num processador monolítico
    by Cesar, Christian Lenz
    Published 2018
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::ARQUITETURA DE...”
    Get full text
  18. 118
    Modelos e algoritmos para o problema de planejamento para produção de pecursos em jogos de estratégia de tempo real
    by Oliveira, Caio Freitas De
    Published 2018
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
  19. 119
    Algoritmo evolucionário de múltiplas populações híbridas aplicado ao problema da árvore geradora mínima com restrição de grau multiobjetiva
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
  20. 120
    Segmenta??o fuzzy de objetos tridimensionais com propriedades texturais
    by Silva Neto, Jos? Francisco da
    Published 2016
    Subjects: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
    Get full text
Search Tools: Get RSS Feed — Email this Search