Buscar
Itens para a visualização no momento 1-10 of 19
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 ...
Extensão no mapeamento de workflows cientificos abstratos para execução em ambientes de nuvens com serviços de infraestrutura
(2012)
Resumo: O desenvolvimento da computação científica e e-Science tem exigido cada vez mais recursos computacionais para pesquisas científicas. Com isso novas tecnologias e gerações de infraestrutura computacional, como grades ...
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 ...
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 ...
Programação matemática e imersões métricas para aproximações em problemas de corte
(2014)
Resumo: Os algoritmos de aproximação são capazes de gerar soluções próximas da ótima demandando tempo de execução polinomial. Vários dos algoritmos de aproximação existentes na literatura solucionam problemas com base em ...
Avaliação de algoritmos de escalonamento de disco com qualidade de serviço em ambientes virtualizados
(2014)
Resumo: Virtualização e uma técnica utilizada em diversas áreas de conhecimento, cada qual com seu objetivo específico. Porém todas possuem um ponto em comum: definem a virtualização como uma forma de abstrair um ambiente ...
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 ...
Avatar 3D para síntese automática de sinais da língua de sinais brasileira
(2013-04-23)
Resumo: A Libras, Língua de Sinais Brasileira, utilizada por pessoas com deficiência auditiva, tem impulsionado estudos nos mais diversos campos. Na área de tecnologia de informação não e diferente. Para pessoas com esta ...
Escalonamento de tarefas no fechamento de lacunas em plataformas de sequenciamento genético de nova geração
(2013)
Resumo: Este trabalho propõe um escalonador de tarefas para controlar a demanda de envio de lacunas de genoma para o processamento obtidas pelo processo, considerando os recursos computacionais disponíveis. O objetivo do ...