Navegação Computação por Título
Resultados 934-953 de 1754
-
Manutenção da consistência do estado dos dados de gerenciamento em sistemas de gerenciamento autonômico baseados em infraestruturas peer-to-peer
(2010) [Dissertação]O Gerenciamento Autonômico de Redes é uma visão que utiliza princípios da Computação Autonômica para o Gerenciamento de Redes. Além disso, algum grau de descentralização é necessário para habilitar capacidades autonômicas ... -
Mapeamento da linguagem Nautilus para Java
(2004) [Dissertação]Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da ... -
Mapeamento e documentação de feições visuais diagnósticas para interpretação em sistema baseado em conhecimento no domínio da petrografia
(2007) [Dissertação]Nos domínios visuais, interpretações são iniciadas pela identificação de feições em imagens que irão, posteriormente, dar suporte aos processos mais abstratos de inferência. Para desenvolver sistemas de conhecimento neste ... -
Mapeamento estático de processos MPI com emparelhamento perfeito de custo máximo em cluster homogêneo de multi-cores
(2012) [Dissertação]Um importante fator que precisa ser considerado para alcançar alto desempenho em aplicações paralelas é a distribuição dos processos nos núcleos do sistema, denominada mapeamento de processos. Mesmo o mapeamento estático ... -
Map point optimization in keyframe-based SLAM using covisibbility graph and information fusion
(2018) [Dissertação]SLAM (do inglês Simultaneous Localization and Mapping) Monocular baseado em Keyframes é uma das principais abordagens de SLAM Visuais, usado para estimar o movimento da câmera juntamente com a reconstrução do mapa sobre ... -
Máquina de cláusulas : arquitetura e modelo de execução de cláusulas Prolog
(1990) [Dissertação]Este trabalho define um modelo de execução para cláusulas Prolog, a partir do modelo abstrato de Máquinas de Cláusulas, e o Projeto de uma arquitetura paralela que suporte o modelo proposto. São também introduzidos alguns ... -
A Máquina geométrica : modelo computacional para concorrência e não-determinismo usando como estrutura espaços coerentes
(2002) [Tese]O trabalho constitui-se numa investigação teórica da estrutura ordenada e intuitiva dos espaços coerentes, introduzidos por Girard [GIR 86], na definição do modelo de máquina geométrica para construção e interpretação de ... -
Maresia : an approach to deal with the single points of failure of the MapReduce model
(2013) [Dissertação]Durante os últimos anos, a quantidade de dados gerada pelas aplicações cresceu consideravelmente. No entanto, para tornarem-se relevantes estes dados precisam ser processados. Para atender este objetivo, novos modelos de ... -
MARO : um modelo de emoções usando ontologia
(2012) [Dissertação]Este trabalho apresenta um framework que permite a programação de agentes capazes de perceberem seus próprios estados emocionais. O framework foi desenvolvido em Java com base na plataforma multi-agente Jason, estendendo ... -
Materialização de visões XML
(2001) [Dissertação]A grande quantidade de dados eletrônicos disponível atualmente nem sempre pode ser representada com modelos tradicionais, principalmente devido à ausência de esquema no momento da criação destes dados. Neste sentido, modelos ... -
Mathematical models and a late acceptance fix-and-optimize approach for a nurse rostering problem
(2021) [Dissertação]The Nurse Rostering Problem (NRP) is a classic optimization problem that has been ex tensively studied due to its practical and theoretical importance. It consists of assigning a given set of nurses to work shifts distributed ... -
A matheuristic approach for solving the high school timetabling problem
(2015) [Tese]The school timetabling is a classic optimization problem that has been extensively studied due to its practical and theoretical importance. It consists in scheduling a set of class-teacher meetings in a prefixed period of ... -
MD-JPA : um perfil UML para modelagem do mapeamento objeto-relacional com JPA em uma abordagem dirigida por modelos
(2009) [Dissertação]A abordagem de desenvolvimento dirigido por modelos (DDM) propõe que modelos (e transformações entre modelos) assumam o papel principal no desenvolvimento de sistemas. Entretanto, não há uma notação consensual para modelagem ... -
MD-PROM : um mecanismo de deduplicação de metadados e rastreio da proveniência
(2008) [Dissertação]Bibliotecas digitais são repositórios de objetos digitais que oferecem serviços aos seus usuários como pesquisa e publicação desses objetos. Cada objeto digital é descrito por um conjunto de metadados que especifica a forma ... -
Um mecanismo abstrato de autoadaptação para sistemas de sensoriamento urbano
(2016) [Dissertação]Sensoriamento urbano e cidades inteligentes têm sido tópicos derivados da computação ubíqua em alta nos últimos anos, tanto para a academia como para a indústria, devido ao contínuo avanço tecnológico aliado à maior ... -
Um mecanismo construtivista para aprendizagem de antecipações em agentes artificiais situados
(2010) [Tese]Esta pesquisa caracteriza-se, primeiramente, pela condução de uma discussão teórica sobre o conceito de agente autônomo, baseada em elementos provenientes dos paradigmas da Inteligência Artificial Situada e da Inteligência ... -
Mecanismo de autenticação baseado na localização de estações sem fios padrão IEEE 802.11
(2010) [Tese]A vantagem das redes locais sem fios, as quais permitem que uma estação móvel possa deslocar-se livremente dentro da área de abrangência da rede, possui uma contrapartida em termos de segurança. A possibilidade dos sinais ... -
Um mecanismo de busca especulativa de múltiplos fluxos de instruções
(1997) [Dissertação]Este trabalho apresenta um novo modelo de busca especulativa de múltiplos fluxos de instruções em arquiteturas superescalares. A avaliação de desempenho de uma arquitetura superescalar com esta característica é também ... -
Mecanismo de interação entre agentes : construção e avaliação de trocas sociais
(2008) [Tese]Esta tese apresenta a formalização, construção e validação experimental de um mecanismo de interação entre agentes baseado em valores de troca. Através do mecanismo de interação, os agentes são capazes de estabelecer, ... -
Um Mecanismo de notificação e propagação de mudanças para um modelo de versões
(2000) [Dissertação]Um dos requisitos naturais na modelagem de diversas aplicações na área de banco de dados é a utilização de um mecanismo para controle de versões. Esse mecanismo fornece suporte a um processo evolutivo. Tal suporte permite ...