Buscar
Itens para a visualização no momento 1-6 of 6
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 ...
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 ...
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 ...
Otimização de sistemas intervalares não lineares acíclicos
(2014)
Resumo: Intervalos permitem uma representação aproximada de números reais, com a qual podemos modelar matematicamente problemas do mundo real de uma forma menos restritiva que a modelagem sobre restrições reais. Assim, ...
Diretrizes para o design de aplicações de jogos eletrônicos para educação infantil de surdos
(2014)
Resumo:A comunidade Surda é uma das minorias linguísticas no Brasil que vem se comunicando pelas redes sociais e que não dispõe de materiais didático-pedagógicos para o ensino de sua língua preferencial/patrimonial e ainda ...