Buscar
Itens para a visualização no momento 1-10 of 12
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 ...
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 ...
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 ...
Recomendações para acessibilidade aos surdos de auxílio aos designers na criação e na implementação de ambientes web
(2013-09-11)
Resumo: A Internet proporciona inúmeras vantagens em relação à sua utilização como meio de comunicação e socialização, porem o conteúdo web nao e acessível a contento para todos os perfis de usuario [10]. O acesso participativo ...
Identificação de nós maliciosos em redes complexas baseada em visões locais
(2013)
Resumo: Muitos sistemas sociais, biológicos e de informação podem ser descritos através de modelos de redes complexas. Redes complexas podem ser separadas em quatro categorias: redes sociais, redes de informação, redes ...
Dystopol - políticas para armazenamento dinâmico de dados em redes de sensores sem fios
(2013)
Resumo: As Redes de Sensores Sem Fio (RSSF) são redes compostas por dezenas, centenas ou mesmo milhares de sensores e por uma ou mais estações base. Os sensores são dispersos por uma área a ser monitorada e comunicam-se ...
Suporte ao aprendizado apoiado por múltiplas representações externas através da ánalise e remediação de erros
(2013-11-12)
Resumo: Neste trabalho são apresentados vários aspectos que justificam a necessidade da utilização das múltiplas representações externas como parte fundamental no processo de remediação realizado por ferramentas de diagnóstico ...