Browsing 40001016034P5 Programa de Pós-Graduação em Informática by Title
Now showing items 510-529 of 574
-
Tecnologias digitais para uso nas Escolas Públicas de Educação Básica : tv multimídia
(2016)Resumo: Esta dissertação apresenta um panorama do uso de tecnologias digitais pelas escolas públicas de Educação Básica, municipais e estaduais. O levantamento, realizado em 2012, permitiu confirmar que, no Brasil, o ... -
Teste baseado em defeitos para Web Services
(2009-07-08) -
Teste de aplicações baseado em análise de instâncias de dados alternativas.
(2011-07-04)Resumo: No desenvolvimento de software frequentemente é necessário validar a especificação dos dados do sistema, geralmente descrita por esquemas. O esquema de dados define a estrutura lógicae os relacionamentos entre os ... -
Teste de intrusão para aplicações web : um método com planejamento em inteligência artificial
(2020)Resumo: Ataques a aplicacoes Web ocorrem com a exploracao de falhas denominadas vulnerabilidades com o objetivo de obtencao de acesso a aplicacao. As vulnerabilidades podem ser detectadas com uma tecnica de teste de ... -
Teste de linha de produto de software baseado em mutação do diagrama de características
(2013-09-19)Resumo: Uma linha de produto de software (LPS) pode ser definida como um conjunto de sistemas que compartilham um conjunto comum de características e que satisfazem os requisitos específicos de um determinado domínio. O ... -
Teste de mutação para ontologias OWL
(2014)Resumo: Ontologias representam especi_ca_c~oes formais sobre conceitos de um dom__nio e as rela_c~oes entre eles. Elas desempenham um papel fundamental para descrever sem^anticas de dados e atuam como uma espinha dorsal ... -
Teste de ontologias OWL : uma contribuição utilizando o teste de mutação
(2019)Resumo: Ontologias sao compostas por restricoes e axiomas que possibilitam descrever formalmente os conceitos, relacionamentos e propriedades de um dominio. A descricao de um conceito pode ter diferentes significados e ... -
Teste de software baseado em perturbação de dados dirigida por padrões /
(2007)Orientadora : Silvia Regina Vergilio -
Técnicas de caminhos disjuntos para roteamento em systems-on-chip.
(2013)Resumo: Systems-on-chip (SoCs) são sistemas compostos contidos em um único substrato de silício. Os SoCs foram introduzidos nas metodologias de projeto para atender `a crescente demanda de aplicações complexas que requerem ... -
Técnicas probabilísticas aplicadas em algoritmos de aproximação
(2016)Resumo: Pesquisadores e cientistas têm percebido cada vez mais que a aleatoriedade é um componente essencial na modelagem e análise da natureza. Na ciência da computação não é diferente: o uso da aleatoriedade e de métodos ... -
The design and implementation of query execution in modern processing-in-memory hardware
(2019)Resumo: Os sistemas modernos de processamento de consultas foram projetados com base em modelos de arquitetura centrados na computação. No entanto, o rápido crescimento de "big data" intensificou o problema de movimentação ... -
Tolerância a falhas em sistemas MPI com grupos dinâmicos de processos recomendados e registro de mensagens distribuído baseado em paxos
(2017)Resumo: Os sistemas HPC (High-Performance Computing) são geralmente empregados para executar aplicações de longa duração, incluindo, por exemplo, simulações científicas e industriais complexas. Construir sistemas HPC ... -
Topologia dos sistemas autônomos : evoluçăo e prediçăo /
(2008)Orientadora: Cristina Duarte Murta -
Towabe
(2010-10-27) -
Transformação de modelos de diagrama de sequência uml contemplando restrições de tempo e energia para rede de petri temporal
(2013-07-15)Resumo: Linguagem Unificada de Modelagem (UML) é amplamente adotada para o desenvolvimento de aplicações. Entretanto, ela não foi projetada com estrutura formal que permite sua aplicação direta na verificação de sistemas ... -
Transformação de modelos independente de metamodelos usando reflexão
(2014)Resumo: A integração de técnicas de programação por restrições em plataformas de engenharia dirigida por modelos (MDE) tem como objetivo principal usar resolvedores de programação por restrições para execução de operações ... -
A transformada esparsa de Fourier e sua aplicação na extraçao de características de imagens
(2018)Resumo: Separar uma função complexa em uma série de funções mais simples simplificou o estudo de muitas área na ciência e na engenharia. Este processo ficou conhecido como transformada de Fourier, ou transformada discreta ...