Buscar
Itens para a visualização no momento 1-10 of 278
Reduzindo colisões em redes locais sem fio através do alargamento das janelas de contenção por encurtamento dos slots e da divisão de tempo
(2017)
Resumo: As Redes Locais Sem Fio (RLSF) são uma das principais formas de acesso à rede mundial de computadores na atualidade, presentes em praticamente todos os grandes centros urbanos. Contudo, a próxima geração de RLSF ...
Serviço WEB de interpretação do modelo fonológico computacional da libras para os símbolos gráficos do Signwriting
(2014)
Resumo: Possibilitar o acesso à informação, à comunicação e à inclusão da comunidade surda na sociedade são apenas algumas motivações para o registro escrito da Língua de Sinais Brasileira. O presente trabalho estudou ...
Análise experimental de algoritmos
(2015)
Resumo: Neste trabalho aplicamos os conceitos de análise experimental de algoritmos, de acordo com o livro "A Guide to Experimental Algorithmics", da autora Catherine C. McGeogh de forma a analisar experimentalmente o ...
Método para verificação de propriedades de redes de petri utilizando resolvedores SMT
(2013-09-13)
Resumo: Este trabalho apresenta um método para verificar as propriedades de alcançabilidade e de bloqueio em rede de Petri. Rede de Petri e um modelo formal utilizado para modelar sistemas. O metodo proposto consiste em ...
Reinforcement learning for macro-management in the microrts game
(2019)
Resumo: Nesta dissertacao, apresentamos uma proposta para a aplicacao de tecnicas de aprendizado por reforco em jogos de estrategia em tempo real para aprender estrategias de macro-gerenciamento. Esta proposta tem como ...
Proteção de dados de autenticação em um sistema operacional usando enclaves SGX
(2017)
Resumo: Quando se trata sobre segurança computacional alguns aspectos devem ser observados. Um principio importante e manter a base de computação confiável (TCB) a menor possível. Desta forma a superfície de ataque fica ...
Otimização de consultas SPARQL em bases RDF distribuídas
(2017)
Resumo; O modelo de dados RDF vem sendo usado em diversas aplicações devido a sua simplicidade e exibilidade na modelagem de dados quando comparado aos modelos de dados tradicionais. Dado o grande volume de dados RDF ...
Metodologia para implementação de estratégias colaborativas mediadas por ferramentas de interação síncronas
(2013-09-19)
Resumo: Neste trabalho é criada e proposta uma metodologia geral com um modelo de processos para a realização de sessões de aprendizagem, considerando um entorno colaborativo com interação síncrona mediada por ferramentas ...
Preservando o estilo arquitetural no projeto baseado em busca de produto software
(2015)
Resumo: A adoção de estilos arquiteturais contribui para melhorar uma Arquitetura de Linha de Produto de Software (ALP) ao prover uma organização específica para os elementos, melhorando sua flexibilidade, extensibilidade ...