Buscar
Itens para a visualização no momento 1-10 of 28
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 ...
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 ...
A tuning approach based on evolutionary algorithm and data sampling for boosting performance of mapreduce programs
(2013)
Resumo: O software de processamento de dados Apache Hadoop está introduzido em um ambiente complexo composto de enormes cluster de máquinas, grandes conjuntos de dados e vários programas de processamento. Administrar tal ...
Análise do uso de formalização de conhecimento heurístico no ensino de jogos através do estímulo à alternância entre competição e colaboração
(2013-11-27)
Resumo: Neste trabalho de doutoramento, verifica-se a hipótese de que o estímulo à formalização de conhecimento heurístico de jogo por aprendizes contribui para que estes compreendam melhor, os conceitos trabalhados no ...
Hyperdht-dht de um salto baseada em hipercubo virtual distribuido
(2013-08-02)
Resumo: Um problema chave das redes P2P é a localização de um peer, ou nodo, que armazena um determinado recurso ou conteúdo. Os primeiros sistemas P2P desenvolvidos utilizavam métodos de localização por inundação ou ...
Modelagem do processo de aquisição de conhecimento apoiado por ambientes inteligentes
(2013)
Resumo: A presente tese concentra-se em descrever como o conhecimento de alto-nível sobre aspectos de experiência humana pode ser modelado, representado e, então, interpretado a fim de suportar interações de ensino e ...
Avaliação de sistema baseado em MapReduce para carregamento de modelos
(2013)
Resumo: O sucesso do desenvolvimento de software baseado em modelos levou ao estudo e aplicação destas técnicas em situações bastante diversas, como migração de sistemas legados, que antes não eram previstas. Isto exigiu ...
Um modelo de execução de fluxos de trabalho científico utilizando técnicas de planejamento automático
(2013-06-24)
Resumo: Experimentos científicos produzem grande quantidade de informações que necessitam de processamento para uma posterior análise. Um cientista, que não é da área da computação, nem sempre possui as habilidades para ...
Reconhecimento de espécies florestais através de imagens macroscópicas
(2013-03-21)
Resumo: A identificação de espécies e uma necessidade primordial para as atividades de comércio e preservacao de florestas. Entretanto, devido a escassez de dados e bases de imagens florestais, os estudos computacionais ...
A Virtual-Machines-MIB
(2013-02-19)
Resumo: Este trabalho apresenta a Virtual-Machines-MIB, uma MIB para a gerˆencia de m´aquinas virtuais baseada no Simple Network Management Protocol (SNMP). A Virtual-Machines- MIB define uma interface padronizada para a ...