Graduate Program in Computer Science
Programa de Pós-Graduação
-
- Visão geral
-
- Publicações
-
- Pesquisas
-
- Contato
-
- Identidade
-
- Ver todos
-
Visão geral
Publicações
publicações
-
-Efficient Algorithms for Process and Communication of Multiview Videos: Contributions in Rate Control and Thread Management for 3D-Videos Documento
-
3DS-BVP : a path planner for arbitrary surfaces Documento
-
: Identificação e Tratamento de Expressões Multipalavras aplicado à Recuperação de Informação Documento
-
: Proposta de um Modelo Grafico e Navegacional Basico para Interfaces de Aplicacoes Educacionais baseado em Validacao Experimental. Documento
-
A BDI BASED APPROACH FOR THE ASSESSMENT OF DRIVER´S DECISION MAKING IN COMMUTER SCENARIOS Documento
-
A Benchmark Suite for Distributed Stream Processing Systems Documento
-
A Bottom-up Approach for Extracting Network Intents Documento
-
A Branch-and-Price Algorithm fot a Compressor Scheduling Problem Documento
-
A Clustering-Based Approach for Discovering Interesting Places in Trajectories Documento
-
A Computational-linguistic-based Approach to Support the Analysis of the Discursive Configuration of Violence on Social Media Documento
-
A Connectionist Approach for Incremental Function Approximation and On-line Tasks Documento
-
A Dynamic Scheduling Runtime and Tuning System for Heterogeneous Multi- and Many-Core Desktop Platforms Documento
-
A Flexible Approach for Optimal Rewards in Multi-Agent Reinforcement Learning Problems Documento
-
A Framework Supporting Collaboration on the Distributed Design of Integrated Systems Documento
-
A Framework for Developing and Benchmarking Sampling and Denoising Algorithms Documento
-
A Framework for Risk Assessment Based on Analysis of Historical Information of Workflow Execution in IT Systems Documento
-
A Generic Processing-in-memory Cycle Accurate Simulator under Hybrid Memory Cube Architecture Documento
-
A Implantacao de um Processo de Engenharia de Requisitos Baseado no Processo Unificado da Rational (RUP) Alcancando Nivel 3 de Maturidade da Integracao de Modelos de Capacidade e Maturidade (CMMI) Incluindo a Utilizacao de Praticas de Metodos Ageis. Documento
-
A Java Reconfigurable Architecture for Energy-delay Effectiveness and Software Compatibility in Embedded Systems Documento
-
A Model for Simulation of Color Vision Deficiency and a Color Contrast Enhancement Technique for Dichromats Documento
-
A Modular and Digitally Programmable Interface Based on Band-Pass Sigma-Delta Modulator for Mixed-Signal Systems-On- Chip Documento
-
A Multiversion File Server Documento
-
A Máquina Geométrica - um modelo computacional para concorrência e não-determinismo usando como estrutura os Espaços Coerentes. Documento
-
A One-Class NIDS for SDN-based SCADA Systems Documento
-
A Pattern Based Approach for Busines Process Modeling Documento
-
A Pattern ?based Approach for Business Process Modeling Documento
-
A Performance Evaluation Methodology to Find the Best Parallel Regions to Reduce Energy Consumption Documento
-
A Portable and Low-Cost Corneal Topographer Design Documento
-
A QoS-Aware Resource Sharing Architecture for Homogeneous and Heterogeneous Wireless Networks Documento
-
A Reuse-based Approach to Promote the Adoption of InfoVis Techniques for Network and Service Management Tasks Documento
-
A Runtime System for Data-Flow Task Programming on Multicore Architectures with Accelerators Documento
-
A Study of the use of Natural Language Processing for Conversational Agents Documento
-
A Study on Shop Scheduling Problems Documento
-
A Technique for Interactive Shape Deformation of Non-Structured Objects. Documento
-
A Transparent and Energy Aware Reconfigurable Multiprocessor Platform for Efficient ILP and TLP Exploitation Documento
-
A Transparent and Energy Aware Reconfigurable Multiprocessor Platform for Efficient ILP and TLP Documento
-
A Utilização de Raciocínio Baseado em Casos para a Análise de Crédito e Cobrança Documento
-
A Utilização de Raciocínio Baseado para a análise de Crédito e Cobrança Documento
-
A Verb Learning Model Driven by Syntactic Constructions Documento
-
A computational investigation of verbs during aging with and without Alzheimer’s disease Documento
-
A framework for event classification in Tweets based on hybrid semantic enrichment Documento
-
A generic and open framework for multiword expressions treatment : from acquisition to applications Documento
-
A levels-of-precision approach for physics-based soft tissues modeling Documento
-
A management by delegation smart object aware system for the internet of things Documento
-
A matheuristic approach for solving the high school timetabling problem Documento
-
A model-driven design-space exploration tool for the HIPAO 2 methodology Documento
-
A network centric architecture for military command and control systems Documento
-
A new cross-layer adaptive architecture to guarantee quality of service in WiMAX networks Documento
-
A quantum physics approach for simulating agate colors Documento
-
A reliability analysis approach to assist the design of aggressively scaled reconfigurable architectures Documento
-
A study of the k-way graph partitioning problem Documento
-
A study on visual analysis of georeferenced haplotype networks Documento
-
AAERO - Ambiente de Aprendizado para o Ensino de Redes de Computadores Orientado a Problemas. Documento
-
ADC : ambiente para experimentação e avaliação de protocolos de difusão confiável Documento
-
AFIDS - Arquitetura para a Injeção de Falhas em Sistemas Distribuídos Documento
-
AFRODITE - Ambiente de Simulação Baseado em Agentes com Emoções Documento
-
AGA-Sign : animador de gestos aplicado à língua de sinais Documento
-
ALMTF: Adaptive Layered Multicast TCP-Friendly Documento
-
ALMTF: Análise e Validação Experimental Documento
-
AMARGO - Ambiente Integrado para Montagem de Circuitos Integrados Documento
-
ANAC - Uma Ferramenta para a Automatização da Análise da Complexidade de Algoritmos Documento
-
ANALISADOR SEMANTICO PARA A LINGUAGEM LOBAN Documento
-
ANALISE OPERATORIA DE FERRAMENTAS COMPUTACIONAIS DE USO INDIVIDUAL E COOPERATIVO Documento
-
ANÁLISE INTERVALAR Documento
-
APSEE METRICS - UM Modelo para Mensuração em Processos de Software Documento
-
APSEE-Metrics: um Modelo para Mensuração em Processos de Software Área de Pesquisa: Engenharia de Software Documento
-
APSEE-Monitor: Um Mecanismo de Apoio a Visualização de Processos de Software Documento
-
APSEE-REUSE: Um Meta-Modelo para apoiar a reutilização de processos de software. Documento
-
APSEE-Reuse: Um Modelo para Auxiliar a Reutilização de Processos de Software Documento
-
APSEE-Tail : um modelo de apoio à adaptação de processos de software Documento
-
ARKHAM : an advanced refinement toolkit for handling service level agreements in software-defined networking Documento
-
ATLANTIC: A Framework for Anomaly Traffic Detection, Classification, and Mitigation in SDN Documento
-
ATPG para Teste de Circuitos Analógicos e Mistos Documento
-
Abordagem Baseada em Objetivos para Construção de Casos de Uso e Cenários Documento
-
Abordagem ER/T: Integração de Modelagem Estática e Dinâmica Usando Redes de Petry Documento
-
Abordagem Evolucionária com Idades para Construção de Conhecimento Aplicado à Robótica Móvel, Documento
-
Abordagem Relacional de Gramática de Grafos Documento
-
Abordagem baseada em ontologias para integração de formatos padrões em modelagem de reservatórios Documento
-
Abordagem baseada na anlise de redes sociais para estimativa da reputação de fontes de informação em saúde Documento
-
Abordagem de Teoria dos Jogos Evolucionários para Modelagem de Aplicações de Live Streaming em Redes Peer-to-Peer Documento
-
Abstrações para uma Linguagem de Programação Visando Aplicações Móveis em um Ambiente de Pervasive Computing Documento
-
Abstrações para uma Linguagem de Programação visando Aplicações no Ambiente da Pervasive Computing Documento
-
Access Miner : uma proposta para a extração de regras de associação aplicada à mineração do uso da web. Documento
-
Achieving Predictable, Guaranteed and Work-Conserving Performance in Datacenter Networks Documento
-
Acoplando Serviços de Redes Sociais e Suporte para Comunidades Online no Ambiente CODES Documento
-
AdaptHA : ambiente para autoria e ensino adaptativo Documento
-
Adaptação dinâmica do número de threads em aplicações paralelas OpenMP para otimizar EDP em sistemas embarcados Documento
-
Adaptação em um curso na web usando workflow Documento
-
Adaptive Filtering and Sampling in Runtime Software Monitoring Documento
-
Adaptive Tiling Algorithm Based on Highly Correlated Picture Regions for the HEVC Standard Documento
-
Adequação da Computação Intensiva em Dados para Ambientes Desktop Grid com uso de Mapreduce Documento
-
Advancing Network Monitoring and Operation with In-band Network Telemetry and Data Plane Programmability Documento
-
Agentes Improvisacionais como Agentes Deliberativos Documento
-
Agrupamento personalizado de pontos em web maps usando um modelo multidimensional - APPWM Documento
-
Algorithm and hardware based architectural design targeting the intra-frame prediction of the HEVC video coding standard Documento
-
Algorithms for Length Improvement of VLSI Circuits With Concern to Critical Paths Documento
-
Algorithms for Wire Length Improvement of VLSI Circuits With Concern to Critical Paths Documento
-
Algoritmo Adaptativo Genético para Acompanhamento de Alvos Móveis Documento
-
Algoritmos algébricos para enumeração e isolamento de zeros polinomiais complexos Documento
-
Algoritmos de Junção Espacial para SGBD Geográficos. Documento
-
Algoritmos de Remoção de Superfícies Ocultas: Análise, Avaliação e Critérios Documento
-
Algoritmos de posicionamento para circuitos VLSI Documento
-
Algoritmos e Desenvolvimento de Arquitetura para a Codificação Binária Adaptativa ao Contexto para o Decodificador H.264/AVC. Documento
-
Algoritmos para o módulo de controle de taxa de codificação de vídeos multivistas do padrão H.264/MVC. Documento
-
Algoritmos para o posicionamento de células em circuitos VLSI Documento
-
Alinhamento Léxico Utilizando Técnicas Hibridas e de Pós-Processamento Documento
-
Alinhamento léxico utilizando técnicas híbridas discriminativas e de pós-processamento Documento
-
Alocação Dinâmica de Tarefas Periódicas em NoCs Malha com Redução do Consumo de Energia Documento
-
Alocação Dinâmica de Tarefas Periódicas em Redes Malha com Redução do Consumo de Energiaem NoCs Malha com Redução do ConsumoAlocação Dinâmica de Tarefas Periódicas em NoCs Malha com Redução do Consumo de Energia Documento
-
Alocação de atividades em um sistema de gerência de workflow Documento
-
Alternativas de Visualização de Volumes Baseadas em Ray Casting. Documento
-
Ambiente Baseado em Componestes para Desenvolvimento de Sistemas Computacionais Microcontrolados Distribuídos Documento
-
Ambiente Informatizado para o Ensino de Métodos Numéricos Documento
-
Ambiente Visual para o Desenvolvimento de Aplicações Java Reflexivas. Documento
-
Ambiente baseado em Componentes para a Descrição de Sistemas Computacionais Microcontolados Distribuídos Documento
-
Ambiente de Apoio ao Projeto de Circuitos Integrados utilizando World Wide Web Documento
-
Ambiente de Aprendizado no Ensino de Redes de Computadores Orientado a Problemas Documento
-
Ambiente de Modelagem e Implementação de Sistemas Tempo Real usando o Paradigma de Orientação a Objetos Documento
-
Ambiente de alto desempenho com alta exatidão para a resolução de problemas Documento
-
Ambiente para o Desenvolvimento de Software Reflexivo Documento
-
Ambiente visual para programação distribuída em java Documento
-
Ambientes Computacionais para Cálculo Numérico Documento
-
Ambientes VRML para o Ensino-aprendizagem de Matemática: Modelo Conceitual e Estudo de Caso. Documento
-
An Animated Pedagogical Agent to Interact Affectivelly with the Student Documento
-
An Approach for Embedded Software Generation Based in Declarative Alloy Models Documento
-
An Extensible Platform Proposal for Micro Metering in Smart Appliances Documento
-
An Incremental Gaussian Mixture Network for Data Stream Classification in Non-Stationary Environments Documento
-
An aspect-oriented model-driven engineering approach for distributed embedded real-time systems Documento
-
An efficient GPU-based implementation of recursive linear filters and its application to realistic real-time re-synthesis for interactive virtual worlds Documento
-
An efficient heuristic for the multi-compartment vehicle routing problem Documento
-
Analisador de Tentativas de Invasão em Sistemas Operacionais UNIX. Documento
-
Analisando Flutuações de um Mercado Financeiro Artificial Baseado na Expectativa de Riqueza dos Agentes Documento
-
Analisando a Performance do Algoritmo D Documento
-
Analise Nao-Linear de Padroes Sonoros: Estudo de Caso para Sons Pulmonares Documento
-
Analise da adequacao de uma hierarquia de classes basicas para modelagem conceitual de sig, atraves de um estudo de caso. Documento
-
Analysis and Acceleration of High Quality Isosurface Contouring Documento
-
Analysis and Classification of Spatial Cognition using Non-Linear Analysis and Artificial Neural Networks (defesa: 18/12/2013) Documento
-
Analysis of Transistors Sizing and folding Effectivness to Mitigate Soft Errors. Documento
-
Analysis of Transistor Sizing and Folding Effectiveness to Mitigate Soft Errors. Documento
-
Animação Bidimensional para World Wide Web Baseada em Autômatos Finitos. Documento
-
Animação de humanos virtuais aplicada para língua brasileira de sinais Documento
-
Animação de humanos virtuais voltada para Língua Brasileira de Sinais Documento
-
Análise Automática da Complexidade de Programas Documento
-
Análise Automática de Código Orientado a Aspectos. Documento
-
Análise Comparativa de Desempenho de Redes IP e ATM com Tráfego Multimídia Interativo. Documento
-
Análise Computacional da Disseminação de Epidemias Considerando a Diluição e a Mobilidade dos Agentes Documento
-
Análise Estática em programação Concorrente Documento
-
Análise comparativa das formas e métodos de embutimento de linguagens para manipulação de banco de dados Documento
-
Análise da Complexidade Computacional de Problemas de Estatística Descritiva com entradas intervalares Documento
-
Análise da Complexidade Computacional de Problemas de Estatística Descritiva com entradas intervalares Documento
-
Análise da Geração de Grades Irregulares Triangularizadas em Modelos Numéricos de Terreno Documento
-
Análise da Máquina de Turing Persistente com múltiplas fitas de trabalho Documento
-
Análise de Atividades de Alunos de Sitemas de Ensino via Internet. Documento
-
Análise de Pontos por Função para Ambientes Orientados a Documentos Documento
-
Análise de Timing Funcional de Circuitos VLSI Contendo Portas Complexas. Documento
-
Análise de Timing de Circuitos Combinacionais: Abordagens Funcionais e Hierárquicas Documento
-
Análise de Timing de Circuitos Combinacionais: Uma abordagem Hierárquica e Incremental Documento
-
Análise de Técnicas de Tolerância a Falhas Baseadas em Software para a Proteção de Microprocessadores Documento
-
Análise de mecanismos para descoberta e recuperação de informações via redes de computadores Documento
-
Análise do Atraso Fim-a-Fim Observado por Diferentes Classes de Tráfego em Redes Ethernet Micro-Segmentadas Documento
-
Análise do Comportamento de Mecanismo de Pré-busca em Memórias Hierárquicas de Microprocessadores RISC Superscalares. Documento
-
Análise do Comportamento de Mecanismos de Pré-busca em Memória Hierárquicas de Microprocessadores RISC Superescalares Documento
-
Análise do comportamento não cooperativo em computação voluntária Documento
-
Análise e Estimativa de Desempenho de Redes Profibus. Documento
-
Análise e caracterização lógica de um sistema de informação para apoio ao acompanhamento clínico de pacientes Segundo o paradigma das linguagens de programação orientadas a objetos Documento
-
Análise e classificação de Séries Temporais Não Estacionárias utilizando Métodos Não Lineares Documento
-
Análise e classificação de séries temporais não estacionárias utilizando métodos não-lineares Documento
-
Análise formal da complexidade de algoritmos genéticos Documento
-
Aperfeiçoamento de Métricas de Similaridade entre Serviços Web Documento
-
Aplicabilidade do Workflow na Engenharia sob Encomenda. Documento
-
Aplicabilidade do modelo MClone na Síntese de Padrões Visuais do Reino Vegetal Documento
-
Aplicando Métodos de Solução de Problemas em Tarefas de Interpretação de Rochas Documento
-
Aplicando a Relevãncia da Opinião de Usuários em Sistema de Recomendação para Pesquisadores. Documento
-
Aplicando a relevância da opinião de usuários em sistema de recomendação para pesquisadores Documento
-
Aplicando algoritmos de mineração de regras de associação para recuperação de informações multilíngues. Documento
-
Aplicando o Conhecimento Sobre os Aspectos Estruturais da Organização no Processo de Modelagem de Workflow. Documento
-
Aplicação da Rede GTSOM para Navegação de Robôs Móveis utilizando aprendizado por reforço. Documento
-
Aplicação da Técnica de Rastreamento Bidirecional à Síntese de Objetos Transparentes Documento
-
Aplicação de Mashups no Gerenciamento de Redes Documento
-
Aplicação de Métricas de Software na Predição de Características Físicas de Software Embarcado Documento
-
Aplicação de Redes de Comportamentos em um Jogo de Computador Documento
-
Aplicação de Sistemas Especialistas no Posicionamento e Roteamento de Circuitos Integrados Documento
-
Aplicação de Sistemas Híbridos em Problemas de Otimização Documento
-
Aplicação de Técnicas de Distribuição de Carga em Sistemas de Gerenciamento de Redes Baseados em P2P Documento
-
Aplicação de XML para Estruturação de Ambientes de Controle Acadêmico Baseado em Ontologias. Documento
-
Aplicação de algoritmos de classificação para análise dos fatores que influenciam na predição do fator de impacto nas redes sociais Documento
-
Aplicação de algumas construções categoriais em animações computacionais baseadas em autômatos finitos Documento
-
Aplicações de Métricas de Software na Predição de Características Físicas de Software Embarcados Documento
-
Aplicações de Técnicas de Inteligência Artificial à Comunicação Alternativa e Aumentativa Documento
-
Aplicações de técnicas de processamento de linguagem natural no apoio ao projeto de banco de dados Documento
-
Aplicações do Paradigma Funcional no Ensino de Matemática Discreta Documento
-
Application-Aware Adaptive Provisioning in Virtualized Networks Documento
-
Application-Driven Temperature-Aware Solutions for Video Coding Documento
-
Aprendizado Relacional por um Modelo Neural Documento
-
Aprendizado de Máquinas em Sistemas Complexos Multi-Agentes: Estudo de Caso em um Ambiente sob Racionalidade Limitada Documento
-
Aprendizado em sistemas multiagente através de coordenação oportunista. Documento
-
Aprendizado por Reforço em Ambientes Não-Estacionários Documento
-
Aprendizado por Reforço Utilizando Tile Coding em Cenários Multiagentes Documento
-
Aprendizado por Reforço em Ambientes Não-Estacionários Documento
-
Aprendizado por Reforço utilizado Tile Coding em Cenários Multiagente Documento
-
Aprendizado por reforço multiagente : uma avaliação de diferentes mecanismos de recompensa para o problema de aprendizado de rotas Documento
-
Apresentação de Conteúdos XML Através de Exemplos Documento
-
Aproximação Eficiente de Visibilidade para Nuvem de Pontos utilizando a GPU Documento
-
Aquisição de Linguagem Documento
-
Architectural Channel Attacks in NoC-based MPSoCs and its Countermeasures Documento
-
Architectural exploration of digital systems design for FPGAs using C/C++/SystemC specification languages Documento
-
Area Routing in Digital Integrated Circuits Documento
-
Arquitetura Distribuída e Automatizada para Mitigação de Botnet Baseada em Análise Dinâmica de Malwares Documento
-
Arquitetura Programável Documento
-
Arquitetura de Hardware Dedicada para a Predição Intra-Quadro em Codificadores do Padrão H.264/AVC de Compressão de Vídeo Documento
-
Arquitetura de NoC programável baseada em múltiplos clusters de cores para suporte a padrões de comunicação coletiva Documento
-
Arquitetura de software para reuso de componentes Documento
-
Arquitetura de um agente identificador de fatores motivacionais e afetivos em um ambiente de ensino e aprendizagem Documento
-
Arquitetura de uma Ferramenta e Técnicas de Visualização para Medições sobre Tráfegos SNMP Documento
-
Arquitetura e Implementação Aberta de um Sintetizador Subtrativo e Aditivo para Plataforma de Baixo Custo Documento
-
Arquitetura para o algoritmo CAVLC de codificação de entropia segundo o padrão H.264/AVC Documento
-
Arquitetura para um Ambiente de Grade Computacional Direcionado às Aplicações Distribuídas, Móveis e Conscientes do Contexto da Computação Pervasiva. Documento
-
Arquitetura paralela para sistemas de produções OPS5 Documento
-
Arquiteturas de Alto Desempenho e Baixo Custo em Hardware para a Estimação de Movimento em Vídeos Digitais Documento
-
Arquiteturas de Hardware de Baixo Custo e Alto Desempenho para a Estimação de Movimento em Vídeos HDTV Documento
-
Arquiteturas de Hardware para o Codificador de Vídeo H.264 - Filtragem de Efeitos de Bloco e Codificação Aritmética Binária Adaptativa a Contexto Documento
-
Arquiteturas de Processadores Dedicados à Compressão de Imagens no Padrão JPEG2000 Documento
-
Arquiteturas de hardware dedicadas para codificadores de vídeo H.264 : filtragem de efeitos de bloco e codificação aritmética binária adaptativa a contexto Documento
-
Arquiteturas e Algoritmos para Analisadores de Interconexões Documento
-
Arquiteturas e Arquiteturas para o desenvolvimento de Sistemas Computacionais Documento
-
Arquiteturas multi-tarefas simultâneas : SEMPRE : arquitetura SMT com capacidade de execução e escalonamento de processos Documento
-
Arquiteturas para um Dispositivo de Demarcação Ethernet. Documento
-
Aspectos Estatísticos e Dinâmicos do Jogo do Ultimato Espacial e Não-Espacial. Documento
-
Aspectos culturais no modelo do usuário em sistemas adaptativos educacionais : fundamentos, proposta e experimentação Documento
-
Aspectos de Implementação de um Modelo para Gerência do Processo de Desenvolvimento de Software : Arquitetura e Protocolos para um Gerente de Designflow Documento
-
Aspectos estatísticos e dinâmicos do jogo do ultimato espacial e não espacial Documento
-
Assessing the Impact of Stemming Accuracy on Information Retrieval - A Multilingual Perspective Documento
-
Astrha - Um Ambiente Gráfico, Dinâmico e Interativo para Internet Baseado em Hiper-Animações e na Teoria dos Autômatos Documento
-
Atribuição de Perfis de Autoria Documento
-
Augmenting Analytics: Situated Data Visualization Towards Decision-Making Documento
-
Aumento da Testabilidade do Hardware com Auxílio de Técnicas de Teste de Software Documento
-
Aurora : seamless optimization of openMP applications Documento
-
Autenticação de Usuários Através da Utilização de Sistemas Biométricos. Documento
-
Automated Management of Remedial Behaviour Documento
-
Automated prescreening of melanocytic skin lesions using standard camera images. Documento
-
Automatic Algorithm Configuration for Flow Shop Scheduling Problems Documento
-
Automatic Task and Data Mapping in Shared Memory Architectures Documento
-
Automatic algorithm configuration : methods and applications Documento
-
Automatic synthesis of data-paths Documento
-
Automatizando o Processo de Estimativa de Revocação e Precisão de Funções de Similaridade Documento
-
Autômato não sequencial identificado como suporte para classes em nautilus Documento
-
AvSchedP : previsão de disponibilidade para escalonamento de tarefas em grades oportunistas Documento
-
AvalWeb : sistema interativo para gerência de questões e aplicação de avaliações na web Documento
-
Avaliando um Rotulador Estatístico de Categorias Morfo-Sintáticas Documento
-
Avaliação Crítica de uma Experiência de Uso de um Ambiente Virtual de Ensino Documento
-
Avaliação Crítica de uma Experiência de Uso de um Ambiente Virtual de Ensino Documento
-
Avaliação Experimental de uma Técnica de Padronização de Similaridade Documento
-
Avaliação Interativa de alunos em Cursos na Web Baseada em autômatos Finitos Documento
-
Avaliação Quantitativa de Refatorações Orientadas a Aspectos. Documento
-
Avaliação Subjetiva de Qualidade Aplicada à Codificação de Vídeo Escalável Documento
-
Avaliação da compressão de dados e da qualidade de imagem em modelos de animação gráfica para web : uma nova abordagem baseada em complexidade de Kolmogorov Documento
-
Avaliação da qualidade de conferências científicas através da visibilidade na Web Documento
-
Avaliação da qualidade de funções de similaridade no contexto de consultas por abrangência Documento
-
Avaliação da qualidade de imagens médicas geradas por Ray Casting Documento
-
Avaliação das Condições de Adaptatividade ao Usuário de Apresentações Hipermídia. Documento
-
Avaliação de Abordagens para Captura de Informações da Aplicação. Documento
-
Avaliação de Dependabilidade de Aplicações Distribuídas Baseadas em RMI através de Injeção de Falhas Documento
-
Avaliação de Desempenho de Partes de Controle em CIs Documento
-
Avaliação de Software no Ensino de Cálculo Documento
-
Avaliação de Técnicas de Interação Egocêntricas em Ambientes Virtuais. Documento
-
Avaliação de Usabilidade de Técnicas de Visualização de Informações Multidimensionais Documento
-
Avaliação de softwares educacionais no processo de ensino-aprendizagem computadorizado : estudo de caso Documento
-
Avaliação do Compartilhamento das Memórias Cache no Desempenho de Arquiteturas Multi-Core Documento
-
Avaliação do Desempenho e Consumo de Energia de Diferentes Interfaces de Programação Paralela em Sistemas Embarcaos e de Propósito Geral Documento
-
Avaliação dos Detectores de Defeitos e sua Influência nas Operações de Consenso. Documento
-
Avaliação dos Requisitos para Teste de um Sistema Operacional Embarcado. Documento
-
Avaliação e Recomendação de Colaborações em Redes Sociais Acadêmicas Documento
-
Avaliação experimental de uma técnica de padronização de escores de similaridade Documento
-
Avoiding Control Plane Partition in Software Defined Networks through Cellular Networks: assessing opportunities and limitations Documento
-
AwARE : an approach for adaptive recommendation of resources Documento
-
BANCOS DE DADOS COM INTERFACES INTELIGENTES Documento
-
Banco de dados Heterogêneos: Mapeamento dos Esquemas Conceituais em um Modelo Orientado a Objetos Documento
-
Bayes Jason. Documento
-
Bee clustering : um algoritmo para agrupamento de dados inspirado em inteligência de enxames Documento
-
Bifocal Tree: Um Modelo de Videoconferência para Computador Pessoal Orientado ao Perfil de Aplicação. Documento
-
Bifocal tree : uma técnica para visualização de estruturas hierárquicas Documento
-
Blade : um editor de esquemáticos hierárquico voltado à colaboração Documento
-
Branch & price for the virtual network embedding problem Documento
-
Broker-RecSys : an interactive recommender system for insurance brokerage Documento
-
Building Transistor-Level Networks Following the Lower Bound on the Number of Stacked Switches Documento
-
Busca de Tablaturas Textuais Musicais por Similaridade Melódica Documento
-
CALM - Constructivist Agent Learning Mechanism Documento
-
CAMM - Compositor Automático de Melodias Musicais Documento
-
CBIOS - Um Sistema concorrente para atendimento de operações de entrada e saída Documento
-
CFT-tool : ferramenta configurável para aplicação de técnicas de detecção de falhas em processadores por software Documento
-
CHANGEADVISOR : uma solução para alinhamentos de planos de mudanças em infraestruturas de TI a objetivos/restrições de negócios Documento
-
CHANGEADVISOR: Uma Solução para Alinhamento de Planos de Mudanças em Infraestruturas de TI a Objetivos/Restrições de Negócios Documento
-
CODES : an interactive novice-oriented web-based environment for cooperative musical prototyping Documento
-
COLONY - Sistema de Agentes Distribuídos para Gerenciamento Inteligente de Recursos de Rede Documento
-
COMFALA - Modelo Computacional do Processamento da Compreensão da Fala Documento
-
COMFALA - Modelo Computacional do Processo de Compreensao da Fala. Documento
-
CONTRAM - middleware voltado à interoperabilida entre sistemas de controladores de tráfego urbano e redes de controladores semafóricos sob os paradigmas de sistemas de transportes inteligentes Documento
-
CONTRIBUIÇÃO AO MODELAMENTO DE UMA ARQUITETURA PARA SISTEMAS DE CONTROLE INTEGRADOS A SIMULAÇÃO DE TRÁFEGO URBANO Documento
-
CONTROLADOR INTELIGENTE DE DISCOS FLEXIVEIS Documento
-
COTRAM-Middleware Voltado a Interoperabilidade entre Sistemas de Gerenciamento de Tráfego Urbano e Redes de Controladores Documento
-
CSCDR : um classificador baseado em seleção clonal com redução de células de memória Documento
-
CV2D - Operador de convolução para processamento de imagens em tempo real Documento
-
CVTx: Concepcao de um Controlador de Video para Videotexto. Documento
-
CaTLeT : ferramenta computacional de apoio ao ensino/aprendizado de teoria das categorias Documento
-
CaTReS - Ferramenta de Apoio à Pesquisa e Ensino em Teoria das Categorias Documento
-
Captura e Visualizacao de Video 3D em Tempo Real Documento
-
Capturando Aspectos da Auto-Eficácia do Aluno por um Agente Inteligente Documento
-
Caracterização de novas Interfaces de Telecom a partir de Interfaces e Dispositivos Gerenciáveis Documento
-
Caracterização e Conformação de Fluxos de Tráfego ATM no Ambiente de Usuário(Defesa de Tese direta) Documento
-
Caracterização energética da codificação de vídeo de alta eficiência (HEVC) em processador de propósito geral Documento
-
Casamento de Esquemas XML e Esquemas Relacionais Documento
-
Categoria de Grafos Parciais com Homomorfismos Totais: teoria e aplicações Documento
-
Categorização de Textos por Rede Neural - Estudo de Caso Documento
-
Cell assemblies para expansão de consultas Documento
-
Cells and I/O Pads Partitioning Targeting 3D VLSI Integrated Circuits Documento
-
ChangeLedge : change design and planning in networked systems based on reuse of knowledge and automation Documento
-
Characterization of Structures in Confocal Images Datasets Obtained from Bile Ducts Documento
-
Characterizing Dissemination of Illegal Copies of Content Through BitTorrent Networks Documento
-
ChatMath : Ferramenta de Comunicação Síncrona para Troca de Formalismos Matemáticos através da Web. Documento
-
ChicuxBot - Genetic Algorithm Configured Behavior Network Multi-Agent for Quake II Documento
-
Choices that make you change your mind: a Dynamic Epistemic Logic approach to the semantics of BDI agent programming languages Documento
-
Cipredi : contribuição inicial para um método de concepção de circuitos integrados pré-difundidos Documento
-
Circuit-level approaches to mitigate the process variability and soft errors in finFET logic cells Documento
-
Circuitos Aritméticos e Representação Numérica por Resíduos Documento
-
Circuitos assíncronos na plataforma FPGA Documento
-
Ciência da Computação para Crianças Documento
-
Ciência da Computação para Crianças. Documento
-
Classificação e Especificação de Restrições de Integridade em Bancos de Dados Temporais de Versões Documento
-
Classificação e Imagens Digitais por Textura usado Redes Neurais Documento
-
Clustering Multilingual Aspect Phrases for Sentiment Analysis Documento
-
Co-Simulação Distribuída de Sistemas Heterogêneos Documento
-
Co-aprendizado entre motoristas e controladores semafóricos em simulação microscópica de trânsito Documento
-
Co-simulação de Sistemas Eletrônicos Embarcados. Documento
-
Co-simulação de Sistemas Embarcados Documento
-
Codificador Sem Perdas e Aproximadamente Sem Perdas Adaptativo ao Contexto para Angiografias Digitais. Documento
-
Coherence in Distributed Packet Filters. Documento
-
Colaboração em Ambientes Inteligentes de Aprendizagem Mediada por um Agente Social Probabilístico. Documento
-
Collaborative 3D Interactions and Their Application on Virtual, Augmented and Mixed Reality Interfaces Documento
-
Color wideline detector and local width estimation Documento
-
ComFIRM - Injeção de Falhas de Comunicação através da Alteração de Recursos do Sistema Operacional. Documento
-
Combinando Métricas baseadas em Análise de Citação e Conteúdo para Detecção de Plágio em Artigos Científicos Documento
-
Combinando Técnicas de Data Warehousing e Mineração de Dados em Avaliações Imobiliárias Documento
-
Combining Collaborative and Content-based Filtering to Recommend Research Papers Documento
-
Compactação de Vídeo Escalável . Documento
-
Comparação Analítica dos Esquemas de Autenticação em Sistemas P2P de Live Streaming Documento
-
Comparação de Algoritmos para Otimização de Restrições Distribuídas em um Cenário de Controle Semafórico. Documento
-
Compartilhamento de Hiperdocumentos XML Através de Consultas Dentro de um Grupo de Usuários. Documento
-
Compartilhamento de Modelos de Alunos via Ontologia e Web Service Documento
-
Compartilhamento de Modelos de Alunos via Ontologia e Web services Documento
-
Compartilhamento de hiperdocumentos XML para consultas por um grupo de usuários Documento
-
Complexidade Média Algorítmica: Uma Metodologia para o seu Cálculo Documento
-
Componentes de percepção para o ambiente PROSOFT cooperativo Documento
-
CompraFacil: Um Sistema para o Comércio de Informações na Internet. Documento
-
Compressao de Imagens, usando fractais, para transmissao Documento
-
Computação com DNA para Resolução de Problemas de Otimização Documento
-
Computação com DNA para a resolução de problemas de otimização Documento
-
Conceitos e Tecnologias para Educação Musical Baseada na Web Documento
-
Concepção de uma Biblioteca de Classes para Sistemas de Manufatura Documento
-
Concepção e implementação de um agente semiótico como parte de um modelo social de aprendizagem a distância Documento
-
Condução de Experimentos de Injeção de Falhas em Banco de Dados Distribuídos Documento
-
Confiabilidade e Teste de Sistemas Documento
-
Configurable flows Documento
-
Configuração de Documentos Versionados. Documento
-
Conjunto de Classes para Aplicações Gráficas 2D em Sistemas Embarcados Baseados no Femtojava. Documento
-
Conjunto de Procedimentos de Engenharia Reversa para Projeto de Banco de Dados Espaciais. Documento
-
Conjunto de Procedimentos de Engenharia Reversa para Projeto de Bancos de Dados Espaciais Documento
-
Consistência de Ligações na World-Wide Web Documento
-
Construtos Ontológicos para Representação Simbólica de Conhecimento Visual Documento
-
Construção Colaborativa de Ontologias para Domínios Visuais Utilizando Fundamentação Ontológica Documento
-
Construção de Ambientes Virtuais Interativos Baseados em Imagens para Estudos Arquitetônicos e Urbanísticos Documento
-
Construção de Ilustrações com Linhas de Contorno Documento
-
Consultas a Bancos de Dados Temporais que suportam Versionamento de Esquemas Documento
-
Continuous reinforcement learning with incremental Gaussian mixture models Documento
-
Continuum: A context-aware Service-based Software Infrastructure for Ubiquitous Computing Documento
-
Controle de granularidade com threads em programas MPI dinâmicos Documento
-
Cooperative context-aware setup and performance of surveillance missions using static and mobile wireless sensor networks Documento
-
Coordenação de Sististemas Multiagente Atuando em Cenários Complexos: Uma Abordagem Baseada na Divisão de Trabalho dos Insetos Sociais Documento
-
Coordenação dinâmica de visualizações de dados multidimensionais Documento
-
Correção e Confiabilidade de Software Documento
-
Cost-Effective Dynamic Repair for FPGAs in Real-Time Systems Documento
-
Creative Agency Documento
-
Criando Roadmaps a partir de Estados de Configuração Uniformemente Distribuídos Documento
-
Criterios de Equilibracao Para Sistemas Tutores Inteligentes Documento
-
Critérios e Diretrizes de teste baseados em diagramas UML Documento
-
Critérios para Avaliação de Coordenação Mutliagente Documento
-
Critérios para avaliação de coordenação multiagente Documento
-
Cronus: Um Serviço Configurável de Disponibilização e Difusão do UTC para Computadores PC. Documento
-
Cross-Language Plagiarism Detection Documento
-
Críterios de Avaliação de Técnicas de Visualização de Informações Documento
-
DCE: The Dynamic Conditional Execution in a Multipath Control Independent Architecture Documento
-
DECK: Um Ambiente para Programação Paralela em Agregados de Multiprocessadores. Documento
-
DEPAnalyzer: um Modelo de Análise Estática de Dependências para Programas Orientados a Objetos. Documento
-
DIMI: um Disseminador de Informações para a Arquitetura ISAM Documento
-
DOMonitor - Um Ambiente de Monitoração de Aplicações Distribuídas Java Documento
-
DOMonitor - um Ambiente de Monitoração de Aplicações Distribuídas Java. Documento
-
DTA - Discriminador de Tráfego ATM Documento
-
Data Mining no Varejo: estudo de caso com a metodologia CRISP e ferramentas Weka e Intelligent Miner Documento
-
Data Warehouse: Fundamentos e Operação Documento
-
De Atualizações sobre Visões XML para Atualizações sobre Visões Relacionais: aplicando soluções antigas a um novo problema Documento
-
Decomposição de Consultas XML Documento
-
Dedicated and Reconfigurable Hardware Accelerators for High Efficiency Video Coding Standard Documento
-
Definicao de Classes para Comunicacao Unicast e Multicast. Documento
-
Definicao de uma estrutura de programacao hibrida para clps Documento
-
Definicao e Implementacao de um Sistema Operacional para a Arquitetura M3P Documento
-
Definição Formal de Tipos Abstratos de Dados Através de um Exemplo Documento
-
Definição Inicial de um Sistema de Provas Rotulado para Lógicas do Conhecimento Documento
-
Definição de um Gerenciador para o Modelo de Dados Temporal TF-ORM. Documento
-
Definição de uma linguagem de alto nível para microcomputadores e sugestões para sua implementação Documento
-
Definição e Construção de uma Base de Informações de Gerência para UPS. Documento
-
Definição e Especificação Formal do Jogo Diferencial "Lobos e Cordeiro" Documento
-
Definição e Implementação de um Modelo de Dados para a Representação de Sólidos Documento
-
Dense 3D Indoor Scene Reconstruction from Spherical Images Documento
-
Deploying and managing network services over programmable virtual networks Documento
-
Depuração de Programas Paralelos - Projeto de uma Interface Intuitiva Documento
-
Desambiguação de autores em Bibliotecas Digitais utilizando Redes Sociais e PG Documento
-
Descoberta de Cross-Language Links Ausentes na Wikipédia. Documento
-
Descoberta de equivalência semântica entre atributos em bancos de dados utilizando redes neurais Documento
-
Descoberta de perfis de uso de web services Documento
-
Descoberta e Análise de Associações entre Padrões de Atividade em Modelos de Processos de Negócios Documento
-
Descoberta e análise de co-ocorrências entre padrões de atividade de workflow : um estudo empírico Documento
-
Descobrindo eventos locais utilizando análise de séries temporais nos dados do Twitter Documento
-
Descrição da Estrutura Tridimensional da Frente de Molhamento na Região Não-Saturada do Solo Documento
-
Descrição e Geração de Ambientes para Simulações com Sistemas Multiagentes Documento
-
Descrição e Síntese de Concorrência em VHDL Documento
-
Desenvolvimento Arquitetural para Estimação de Movimento de Blocos de Tamanhos Variáveis Segundo o Padrão H.264/AVC de Compressão de Vídeo Digital Documento
-
Desenvolvimento algorítmico e arquitetural para a estimação de movimento na compressão de vídeo de alta definição Documento
-
Desenvolvimento de Arquiteturas de Alto Desempenho Dedicadas à Compressão de Vídeo Segundo o Padrão H.264/AVC Documento
-
Desenvolvimento de Esquemas de Banco de Dados XML para Realização Via Internet do Cadastro e Controle de Animais na Associação Brasileira de Criadores de Ovinos (A.R.C.O.) Documento
-
Desenvolvimento de Sistemas Inteligentes para Controle de Rôbos Móveis Documento
-
Desenvolvimento de Sistemas de Tempo-Real usando Orientação a Objetos : Estudo sobre o Mapeamento de Especificações para Linguagens de Programação Documento
-
Desenvolvimento de arquitetura para sistemas de reconhecimento automático de voz baseados em modelos ocultos de Markov Documento
-
Desenvolvimento de regras de pronúncia para a síntese de fala em língua portuguesa Documento
-
Desenvolvimento de um Esquema XML para Banco de Dados sobre Ovinos Documento
-
Desenvolvimento de uma Arquitetura Customizável para Processamento da Pilha TCP/IP em Hardware Documento
-
Desenvolvimento e Implantação de um Sistema de Simulação do Computador Cobra 700 usando computador B6700 como máquina hospedeira Documento
-
Desenvolvimento e análise de desempenho de um 'packet/session filter' Documento
-
Desenvolvimento e avaliação de redes-em-chip hierárquicas e reconfiguráveis para MPSoCs Documento
-
Design Space Exploration of SW and HW IP based on Object Oriented Methodology for Embedded System Applications Documento
-
Designing Fault Tolerant NoCs to Improve Reliability on SOCs Documento
-
Designing Single Event Upset Mitigation Techniques for Large SRAM-Based FPGA Components Documento
-
Detecção de Pele Humana Utilizando Modelos Estocásticos Multi-Escala de Textura Documento
-
Detecção e Contagem de Veículos em Vídeos de Tráfego Urbano Documento
-
Detecção e Qualificação de Lesões Melanocíticas Através de Evidências Locais e de Contexto Documento
-
Detecção e classificação de mudança de comportamento em multidões humanas Documento
-
Detecção e proteção de blocos básicos suscetíveis através da análise sistemática de single bit-flip Documento
-
Detecção, Gerenciamento e Consulta a Réplicas e a Versões de Documentos XML Documento
-
Diagnóstico de Falhas em SIstemas Distribuídos Documento
-
Diagnóstico on-line do Estilo Cognitivo de Aprendizagem do Aluno em um Ambiente Adaptativo Documento
-
Diagrama de Influências Múltiplo Secionado Documento
-
Diagrama de Influências Múltiplo Secionado. Documento
-
Diaçaí: um núcleo de multiprogramação para microcomputadores IBM/PC Documento
-
Digital Approach for The Design of Statiscal Analog Data Acquisition on SoCs Documento
-
Dimensionamento de Portas Lógicas Usando Programação Geométrica. Documento
-
Dinamismo de servidores de dados no sistema de arquivos dNFSp Documento
-
Diretrizes e Criterios de Cobertura de Teste a partir de Especificações UML Documento
-
Diretrizes para a Geração de Dados de Teste Associadas ao Modelo UML Documento
-
Disseminação de conteúdo educacional através de sua catalogação automática em repositório educacional Documento
-
Distribuição de Carga em Sistemas de Gerenciamento de Redes Baseados em P2P Documento
-
Distribuição de Dados para Implementações Paralelas do Método de Lattice Boltzmann. Documento
-
Diversificação multi-atributo para diminuir o efeito "bolha de filtro" em sistemas de recomendação de notícias. Documento
-
Documentos Estruturados e o Paradigma de Objetos Documento
-
Dois pesos, duas medidas : gerenciamento de identidades orientado a desafios adaptativos para contenção de Sybils. Documento
-
Domínios Intervalares da Matemática Computacional Documento
-
Doroty : um chatterbot para treinamento de profissionais atuantes no gerenciamento de redes de computadores Documento
-
Dynamic Detection of the Communication Pattern in Shared Memory Environments for Thread Mapping Documento
-
Dynamic Load balancing:A New Strategy for Weather Forecast Models Documento
-
Dynamic load-balancing : a new strategy for weather forecast models Documento
-
Dynamic tuning and reconfiguration of the I/O forwarding layer in HPC platforms Documento
-
Dêicticos e Anáforas Pronominais Documento
-
E-Avalia : um agente para avaliação de ensino-aprendizagem em educação a distância. Documento
-
E-DART - Um Ambiente de Especificação E-LOTOS Documento
-
EASy ? Sistema de Avaliações via Web baseado no Hyper-Automaton Documento
-
ESCOP : estratégia de suporte à solução cooperativa de problemas Documento
-
ESPECIFICACAO DE SISTEMAS: "UM SOFTWARE DE APOIO" Documento
-
ESTUDO COMPARATIVO DAS LINGUAGENS ESTELLE E LOTOS NA ESPECIFICACAO DE PROTOCOLOS Documento
-
ESTUDO, ANÁLISE E VALIDAÇÃO DE ZEROS DE POLINÔMIOS Documento
-
EditWeb : mecanismos de autoria assistida de páginas para ambientes de EAD via web visando usabilidade e acessibilidade Documento
-
Editor Distribuído de Manipulação Colaborativa de Documentos Diagramáticos Documento
-
Editor distribuído de manipulação colaborativa de documentos diagramáticos Documento
-
Editoração colaborativa e revisão aberta de textos científicos Documento
-
Efficient Computing on Low-Power Embedded Platforms Documento
-
Efficient High-Dimensional Filtering for Image and Video Processing Documento
-
Efficient High-Throughput and Power-Saving Hardware Architectural Design for the HEVC Entropy Encoder Documento
-
Efficient acquisition and synthesis in computerized handwriting Documento
-
Efficient modularity density heuristics in graph clustering and their applications Documento
-
Efficient smoke simulation on curvilinear grids Documento
-
Efficient, Online Embedding of Secure Virtual Networks Documento
-
Elaboração de um Guia de Recomendações para auxiliar o Projeto de Sites Institucionais por Não-Especialistas Documento
-
Elaboração de um Guia de Recomendações para Auxiliar o Projeto de Sites Institucionais por Não-Especialistas Documento
-
Elaboração e Avaliação de um Guia de Recomendação para Auxílio no Desenvolvimento de Interfaces com Usabilidade em Softwares Educacionais do Tipo Hipertexto/Hipermídia Informativo Documento
-
Elaboração e avaliação de um Guia de Recomendações para auxílio no desenvolvimento de interfaces com usabilidade em software educacional do tipo hipertexto/hipermídia informativo. Documento
-
Electromigration aware cell design Documento
-
Elemento autonômico para processos de monitoração adaptativa de redes Documento
-
Eletrotutor III - Uma Abordagem Multiagente para o Ensino à Distância. Documento
-
Em direção a Agentes Pedagógicos com dimensões afetivas Documento
-
Emulador e montador para o micro PCIR Documento
-
Enabling Loop-Closures and Revisits in Active SLAM Techniques by using Dynamic Boundary Conditions and Local Potential Distortions Documento
-
Engenharia da descoberta de conhecimento em bases de dados: estudo e aplicação na área de saúde Documento
-
Enhacing Spatial Association Rule Mining in Geographic Databases. Documento
-
Enhancing Spatial Association Rule Mining in Geographic Databases Documento
-
Enhancing affective communication in embodied conversational agents through personality-based hidden conversational goals Documento
-
Enriquecimento de informações em áudio numa rádio virtual Documento
-
Ensino a distância e formação profissional Documento
-
Equalização Automática para Transmissão de Dados em Alta Velocidade Documento
-
Escalonamento On-line Eficiente de Programas Fork-Join Recursivos do Tipo Divisão e Conquista em MPI Documento
-
Escalonamento Work-Stealing de programas Divisão-e-Conquista com MPI-2 Documento
-
Escalonamento de um Job Shop: Análise de um Algoritmo com Regras Heurísticas Documento
-
Escalonamento estático de programas MPI Documento
-
Escalonamento por Roubo de Tarefas em Sistemas Multi-CPU e Multi-GPU Documento
-
Espaço Pervasivo de Arquivos : Habilitando Acesso Adaptativo e Consciente da Aplicação a Arquivos em um Ambiente Pervasivo Documento
-
Especificação Formal de Uma Ferramenta de Especificações de Requisitos Documento
-
Especificação de Processos Industriais e seus Controladores Documento
-
Especificação de funções de transferência unidimensionais e multidimensionais para visualização volumétrica direta Documento
-
Especificação de sistemas na área de redes de computadores : uma abordagem orientada a objetos Documento
-
Especificação de um Sistema Operacional Multi-Usuário em Pascal Concorrente Documento
-
Especificação de um sistema de implementação de linguagens de programação Documento
-
Especificação de uma Metodologia de Avaliação para Ambiente de Gerenciamento de Cursos a Distância. Documento
-
Especificação de uma metodologia de avaliação para ambientes de gerenciamento de cursos a distância Documento
-
Especificação e Análise de Sistemas Através de Gramáticas de Grafos. Documento
-
Especificação formal de organizações de sistemas multiagentes Documento
-
Essential Notation for Object-Relational Mapping Documento
-
Estendendo Quadtrees para Suporte ao Armazenamento e Recuperação de Dados Espaço-Temporais. Documento
-
Estimativa da Pose da Cabeça em Imagens Monoculares Usando um Modelo no Espaço 3D Documento
-
Estimativa da produtividade no desenvolvimento de software Documento
-
Estimativa de Capacitâncias e Consumo de Potências em Circuitos Combinacionais CMOS no Nível Lógico Documento
-
Estimativa de capacitâncias e consumo de potência em circuitos combinacionais CMOS no nível lógico Documento
-
Estratégia de Tolerância a Falhas Baseada em Duplicação com Comparação para Sistemas de Controle Embutidos de Tempo Real Documento
-
Estratégia de migração de aplicações legadas visuais (tipo WIMP) para o ambiente Web. Documento
-
Estratégias de Tendenciosidade no GRASP. Documento
-
Estratégias de escalonamento OFDMA DL para redes móveis Documento
-
Estratégias para Desenvolvimento de Software Embarcado Baseadas em Modelos de Alto Nível Documento
-
Estrutura Reflexiva para Sistemas Operacionais Multiprocessados Documento
-
Estudo e proposta de metodologia para o desenvolvimento de sistemas de informática Documento
-
Estudo Experimental de Modelos DC Para MOSFET Com Escalamento de Tensão Documento
-
Estudo da Categoria Computável dos Espaços Coerentes Gerados por Conjuntos Básicos com Aplicação em Análise Real Documento
-
Estudo da Pericia em Petrografia Sedimentar e sua Importância para a Engenharia de Conhecimento. Documento
-
Estudo da Perícia em Petrografia Sedimentar para Suporte à Engenharia de Conhecimento Documento
-
Estudo da Utilização de uma Ferramenta para Construção de Programas de Português em Disciplinas Básicas de Programação Documento
-
Estudo da influência das redes locais sem-fio IEEE 802.11g na qualidade de voz estimada pelo modelo e Documento
-
Estudo da utilização de uma ferramenta para construção de programas em português em disciplinas básicas de ensino de programação Documento
-
Estudo de Caso de um System-on-Chip para a Validação de um Modelo de Sistemas Documento
-
Estudo de técnicas para obtenção de hardware criptográfico tolerante a falhas Documento
-
Estudo de uma Ferramenta de Autoria Multímidia para a Elaboração de Jogos Educativos Documento
-
Estudo do Algoritmo de Codificacao de Audio do Padrao MPEG-4 AAC (Codificador de Audio Avancado) e Comparacao entre Implementacoes de Modulos do Algoritmo Documento
-
Estudo dos Espaços Coerentes do Ponto de Vista da Teoria dos Topos Documento
-
Estudo e Análise de Desempenho da Antecipação de Tarefas em Sistemas de Workflow Documento
-
Estudo e Construção de um Sistema Gerenciador de Bancos de Dados Dedutivos Documento
-
Estudo e Desenvolvimento de Heurísticas e Arquiteturas de Hardware para Decisão Rápida do Modo de Codificação de Bloco para o Padrão H.264/AVC Documento
-
Estudo e Especificação de Serviços para Auxílio à Gerência de Redes em Ambiente Industrial Documento
-
Estudo e Experimentação de Animação Baseada em Comportamento Documento
-
Estudo e Implementação da Programação Genética para Síntese de Fala. Documento
-
Estudo e Validação de Métodos de Aproximação de Superfícies Documento
-
Estudo e avaliação de algoritmos para resolução de operações booleanas entre dois sólidos poliédricos Documento
-
Estudo e classificação de propostas e protocolos para provimento de mobilidade sobre IPv6 Documento
-
Estudo sobre Equivalência entre Especificações Algébricas Documento
-
Estudo sobre Raizes Reais e Polinômios Documento
-
Estudo sobre a extração de políticas de firewall e uma proposta de metodologia Documento
-
Estudo sobre o Impacto de Memória em MPSoCs baseados em NoC Documento
-
Estudo sobre resolucao de equacoes de coeficientes intervalares Documento
-
Evaluating I/O Scheduling Techniques at the Forwarding Layer and Coordinating Data Server Accesses Documento
-
Evaluating immersive approaches to multidimensional information visualization Documento
-
Evaluation of Code-based Information to Architectural Module Identification Documento
-
Evaluation of using MIGFET devices in digital integrated circuit design Documento
-
Evolução de Esquemas Conceituais em Workflow Documento
-
Evolução de esquemas de workflow representados em XML Documento
-
Exame de Potenciais Evocados Auditivos Utilizando Processador Digital de Sinais - DSPEA Documento
-
Execução Dostribuída de Programas Funcionais usando a Máquina Virtual Java. Documento
-
Execução distribuída de programas funcionais usando a máquina virtual java Documento
-
Experimentos Comparativos Combinando Aprendizado Supervisionado e Tradução Automática para Mineração de Emoções em Textos Multilíngues Documento
-
Exploiting Multilevel Parallelism in Atmospheric Models Documento
-
Exploiting Multiple Levels of Parallelism and Online Refinement of Unstructured Meshes in Atmospheric Model Application Documento
-
Explorando a diversidade em algoritmos genéticos distribuídos para o problema de predição de estrutura tridimensional de proteínas Documento
-
Exploração de Paralelismo no Roteamento Global de Circuitos VLSI Documento
-
Exploração de Reodernamento de ROBDDs no Mapeamento Tecnológico Documento
-
Exploração de paralelismo ou em uma linguagem em lógica com restrições Documento
-
Exploração de reordenamento de ROBDDs no mapeamento tecnológico de circuitos integrados Documento
-
Exploração do Espaco de Projeto em Sistemas Embarcados Baseados em Plataformas Através de Estimativas Extradas de Modelos UML Documento
-
Exploração do Espaço de Projeto em Sistemas Embarcados Baseados em Plataforma Através de Estimativas Extraídas de Modelos UML Documento
-
Exploração do paralelismo em arquiteturas para processamento de imagens e vídeo Documento
-
Exploring Hierarchy, Adaptability and 3D in NoCs for the Next Generation of MPSoCs Documento
-
Exploring ensemble learning techniques to optimize the reverse engineering of gene regulatory networks. Documento
-
Extending FreeRTOS to support dynamic and distributed task mapping in multiprocessor systems Documento
-
Extensão da Linguagem ALGOL B-6700 para Permitir a Definição de Monitores Documento
-
Extensão de um Modelo OO Formal com Aspectos Temporais. Documento
-
Extensão de uma Linguagem de Consulta para Documentos XML com Características de Tempo e de Versão. Documento
-
Extensão do Padrão ODMG para Suportar Tempo e Versões Documento
-
Extensão do Suporte para Simulação de Defeitos em Algoritmos Distribuídos Utilizando o Neko Documento
-
Extensão do Suporte para Simulação de Defeitos no Neko Documento
-
Extensão do UML Testing Profile para Injeção de Falhas Documento
-
Extensão do framework geoframe para modelagem de processos de análise geográfica Documento
-
Extracao de Elementos Parasitas em Circuitos CMOS Submicronicos Documento
-
Extração Semântica de Dados Semi-Estruturados Através de Exemplos e Ferramentas Visuais. Documento
-
Extração de Dados Semi-Estruturados com base em uma Ontologia. Documento
-
Extração de Informação sobre Bases de Dados Textuais Documento
-
Extração de metadados utilizando uma ontologia de domínio Documento
-
Extração e Representação Semântica de Fatos Temporais Documento
-
Extração e aplicação de indicadores no processo de recomendação de recursos urbanos utilizando dados estruturados e não-estruturados Documento
-
FABER: ferramenta de autoria para instrumentos de avaliação em ambientes educacionais a distância Documento
-
FITOS- RPC: Um Mecanismo de Chamada de Procedimento Remoto em Grupo Confiável para Sistemas Abertos Documento
-
FLECHA - Uma Matriz FPGA para a Prototipação Rápida de Circuitos Integrados Documento
-
FRIDA - Um Metodo para Elicitacao e Modelagem de RNFs Documento
-
FUNDAMENTAÇÃO COMPUTACIONAL DA MATEMÁTICA INTERVALAR Documento
-
Fast Contextual Text Recognition With Deep Convolutional Neural Networks Documento
-
Feature Extraction and Visualization from high-Order CFD Data Documento
-
Ferramenta Visual para Especificação de Hiperdocumentos, Segundo o Método OOHDM Documento
-
Ferramenta de Apoio ao Teste de Aplicações Desenvolvidas no Oracle Designer Documento
-
Ferramenta de Teste de Aplicações OO baseada em Estados. Documento
-
Ferramenta de Teste de Software implementada em Ambiente Multiparadigma. Documento
-
Ferramenta de apoio ao teste de aplicações java baseada em reflexão computacional Documento
-
Ferramenta de injeção de falhas para avaliação de segurança Documento
-
Ferramenta para Integração de Esquemas Conceituais Documento
-
Ferramenta para apoio à Modelagem de Sistemas com Redes de Petri Documento
-
Ferramentas de Suporte à Construção de Aplicações de Segmentação de Imagens Documento
-
Ferramentas de apoio à gerência de falhas e desempenho em contexto distribuído Documento
-
Filtragem de Imagem com Preservação das Bordas Usando a Transformada Wavelet Documento
-
Filtragem de imagens com preservação das bordas usando a Transformada Wavelet Documento
-
Filtro de Particulas Adaptativo para o Tratamento de Oclusões no Rastreamento de Objetos em Video Documento
-
Filtro de partículas adaptativo para o tratamento de oclusões no rastreamento de objetos em vídeos Documento
-
Fine-Grained Error Detection Techniques for Fast Repair of FPGAs Documento
-
Firmament : um módulo de injeção de falhas de comunicação para linux Documento
-
FlexGroup - Um Ambiente Flexível para Comunicação em Grupo Documento
-
Flexible and integrated resource management for IaaS cloud environments based on programmability Documento
-
Formalização da comunicação de conhecimentos probabilísticos em sistemas multiagentes : uma abordagem baseada em lógica probabilística Documento
-
Formalização de um Modelo de Representação de Conhecimentos Orientado a Objetos Documento
-
Formalização de um Processo de Tradução de Consultas em Ambientes de Integração de Fontes XML Documento
-
Formalização de uma Linguagem Visual para Descrição de Sistemas Biológicos Documento
-
Formalização do Processo de Resolução de Consultas em Ambientes de Integração de Dados XML. Documento
-
Formação de Grupos Colaborativos em um Ambiente Multiagente Interativo de Aprendizagem: um estudo de caso utilizando sistemas multiagentes e algoritmos genéticos Documento
-
Formação de grupos colaborativos em um ambiente multiagente interativo de aprendizagem na internet : um estudo de caso utilizando sistemas multiagentes e algoritmos genéticos Documento
-
Fragmentação e Decomposição de Consultas em XML Documento
-
Framework Orientado a Objetos para Projeto de Hw e Sw Embarcados para Sistemas Tempo-Real Documento
-
Framework Orientado a Objetos para o Desenvolvimento de Aplicações de Automação Predial e Residencial Documento
-
Framework para criação de sistemas supervisórios dinâmicos em dispositivos móveis. Documento
-
Framework para estimar requisitos não funcionais em aplicações móveis Documento
-
FrameworkDoc : ferramenta de documentação e geração de artefatos de software Documento
-
FreeMMG : uma arquitetura cliente-servidor e par-a-par de suporte a jogos maciçamente distribuídos Documento
-
From 2D to next generation VR/AR videos : enabling efficient streaming via QoE-aware mobile networks Documento
-
From XML to relational view updates: applying old solutions to solve a new problem Documento
-
FruitAgent: um framework de agentes para rastreabilidade em conservas de pêssegos Documento
-
Function Statistics Applied to Volume Rendering: Computational Issues on Discrete Functions Documento
-
Functional Timing Analysis of VLSI Circuits Containing Complex Gates Documento
-
GARTS: um Algoritmo Genético baseado no método de Seleção por Torneio Restrito Adaptativo para o problema de Predição de Estruturas 3D de Proteínas Documento
-
GEOFRAME-T: UM FRAMEWORK CONCEITUAL TEMPORAL PARA APLICAÇÕES DE SISTEMAS DE INFORMAÇÃO GEOGRÁFICA Documento
-
GERAP - Gerenciamento de Redes de Alta Performance Documento
-
GIRDT - Hardware grafico para animação 3D a tempo real Documento
-
GRANLOG: Um Modelo para Análise de Granulosidade na Programação em Lógica Documento
-
GROA - um Gerenciador de Repositórios de Objetos de Aprendizagem Documento
-
GURU - Uma Ferramenta para Administrar Bancos de Dados através da Web Documento
-
Geoframe-T: Um Framework Conceitual Temporal para Aplicações de Sistemas de Informação Geigráfica Documento
-
Gerador Parametrizavel de Partes Operativas Cmos Documento
-
Gerador de Ferramentas para Notações Diagramáticas Baseado em Gramáticas de Grafos Documento
-
Geração Automática de Células CMOS Documento
-
Geração Automática de Código VHDL a partir de Modelos UML para Sistemas Embarcados de Tempo-Real Documento
-
Geração Automática de Leiaute Através de Matrizes de Células NAND-MARTELO. Documento
-
Geração Automática de Lógica Aleatória utilizando a Metodologia TRANCA Documento
-
Geração Automática de Partes Operativas para Circuitos VLSI Documento
-
Geração Automática e Assistida de Interfaces de Usuário Documento
-
Geração Semi-automática de Ontologias a partir de Bancos de Dados Relacionais Documento
-
Geração de Circuitos Utilizando Matrizes de Células Pré-Difundidas. Documento
-
Geração de Células Transparentes Documento
-
Geração de Código no Projeto de Sistemas Reativos a partir da Linguagem RS. Documento
-
Geração de Elipses em Processadores de Exibição Gráfica Documento
-
Geração de Leiautes Regulares Baseados em Matrizes de Células. Documento
-
Geração de Parâmetros de Busca Baseado em Perfis de Usuário Documento
-
Geração de Sistemas Supervisórios a partir de Modelos Orientados a Objeto Documento
-
Geração de Sombras em Objetos Modelados por Geometria Sólida Construtiva Documento
-
Geração de Testes de Aceitação a Partir de Modelos U2TP para Sistemas Web Documento
-
Geração de modelos de co-simulação distribuída para a arquitetura DCB Documento
-
Geração de parametros de busca baseado em perfil de usuário Documento
-
Geração de processador para aplicacao especifica Documento
-
Geração de regras de extração de dados em páginas HTML Documento
-
Geração de sistemas supervisórios a partir de modelos orientados a objetos Documento
-
Gerenciamento Automático de Recursos Reconfiguráveis Visando a Redução de Área e do Consumo Documento
-
Gerenciamento Distribuído e Flexível de Protocolos de Alto Nível, Serviços e Aplicações em Redes de Computadores Documento
-
Gerenciamento Hierárquico por Exceção em Ambiente ATM. Documento
-
Gerenciamento Integrado de QoS em Redes de Computadores Documento
-
Gerenciamento Temporal de Versões de Esquemas. Documento
-
Gerenciamento automático de recursos reconfiguráveis visando a redução de área e do consumo de potência em dispositivos embarcados Documento
-
Gerenciamento de Configuração de Dispositivos de Rede através de NETCONF e Web Services Documento
-
Gerenciamento de Infra-estrutura de Medição de Desempenho em Redes de Computadores Documento
-
Gerenciamento de Recursos Autônomos Através de Mecanismos de Agentes Móveis (GRAMA) Documento
-
Gerenciamento de documentação técnica para ambientes de engenharia/CAD com suporte a versões Documento
-
Gerenciamento de redes baseado em web services em um ambiente de gerenciamento por delegação : uma abordagem orientada a serviços Documento
-
Gerenciamento de redes fortemente distribuído utilizando a tecnologia P2P Documento
-
Gerente de Configurações para o Ambiente STAR Documento
-
Gerência Dinâmica de Memória em Aplicações JAVA Embarcadas Documento
-
Gerência de Performance de Serviços Multimídia Interativos. Documento
-
Gestão da produção repetitiva : uma ferramenta de apoio à decisão Documento
-
GraFiSMa: Uma Ferramenta Gráfica para Desenvolvimento de Sistemas Digitais Utilizando Máquinas Complexas Comunicantes Documento
-
Grafos Internos e Multirrelações como ''Spans'' - Propriedades e Composicionalidade Documento
-
Gramática de Grafos Baseada em Objetos com Tempo Documento
-
Gramática para Consultas Radiológicas em Língua Portuguesa Documento
-
Gramáticas Transformacionais com Atributos Documento
-
Graph-Based Algorithms to Efficiently Map VLSI Circuits with Simple Cells Documento
-
GraphSchema ? Criação de Modelos de Contratos com SML Documento
-
GraphSchema ? Uma Linguagem Visual Para a Criação de Modelos de Contratos com SML Documento
-
Graphical models and point set matching Documento
-
Grupos de Arestas: Uma Nova Abordagem para Entender a Qualidade da Malha Gerada pelo Marching Cubes e suas Variantes. Documento
-
Guardião - Uma Ferramenta Distribuida para Monitoramento de Servidores de Rede Documento
-
Guardião: Uma Ferramenta para Monitoração de Serviços e Servidores de Rede Documento
-
HELPFUL: Flexible Architecture to Control Heterogeneous Low Power Wide Area Networks Documento
-
HIGMN : an IGMN-based hierarchical architecture and its applications for robotic tasks Documento
-
Haptic Interfaces and Their Application on Computer-Mediated Tactile Communication Documento
-
Hardening Strategies for HPC Applications Documento
-
HetNOS Threads: Programação Multihreaded Distribuída. Documento
-
Heuristic algorithms for fair land allocation Documento
-
Heuristic approaches for network problems Documento
-
Heuristics for flow shop scheduling : considering non-permutation schedules and a heterogeneous workforce Documento
-
Heurísticas para Apoiar a Modelagem de Sistemas Orientados a Objetos Documento
-
Hierarchical Message Passing through a ProActive/GCM based Runtime Documento
-
Higher-order graph rewriting systems Documento
-
Holoparadigma : um modelo multiparadigma orientado ao desenvolvimento de software distribuído Documento
-
Holoparadigma: Um Modelo Multiparadigma Orientado ao Desenvolvimento de Software Distribuído Documento
-
Hyper-Automaton: Avaliação Interativa de Alunos em Cursos na Web Baseado em Autômatos Finitos. Documento
-
Hyper-Automaton: Hipertextos e Cursos na Web Usando Autômatos Finitos com Saída Documento
-
IDENTIFICAÇÃO DE COMENTÁRIOS OFENSIVOS NA WEB Documento
-
IMPLEMENTACAO DE UM INTERPRETADOR PARA UMA LINGUAGEM FUNCIONAL COM COLETOR DE LIXO CONCORRENTE Documento
-
IMPLEMENTAÇÃO DE MECANISMOS DE SINCRONISMO VIRTUAL: EXPERIÊNCIA COM JAVA Documento
-
INFIMO - Um Toolkit para Experimentos de Intrusão de Injetores de Falhas Documento
-
INFOC Documento
-
INSTABILIDADE E COMPLEXIDADE COMPUTACIONAL DA AVALIAÇÃO POLINOMIAL Documento
-
INSpIRE : an integrated NFV-based intent refinement environment Documento
-
INTERCONEXAO DE UMA REDE LOCAL A REDE NACIONAL DE PACOTES: O ACESSO À REDE DE PACOTES Documento
-
Identificando Fontes de Dados em Modelos de Processos de Negócio com base em Elementos de BPMN Documento
-
Identificando e Removendo Falhas de Colagem Não Testáveis com o Uso de Vertex Precedent BDDs Documento
-
Identificando padrões comportamentais do tipo avoidance em trajetórias de objetos móveis Documento
-
Identificando padrões comportamentais tipo avoidance em trajetórias de objetos móveis Documento
-
Identificação Interativa da Causa Raiz de Problemas em Execuções de Mudanças de TI Documento
-
Identificação de Nomes Ativos em Agentes-pi Baseada em Tipos Documento
-
Identificação interativa da causa raiz de problemas no gerenciamento de mudanças de TI Documento
-
Image Recoloring for Color-Vision Deficient Documento
-
Image Recoloring for Color-Vision Deficients Documento
-
Image Relighting Using Shading Proxies Documento
-
Imagens Ecocardiográficas Fetais Integradas a Banco de Dados Documento
-
Impact FD: An Unreliable Failure Detector Based on Process Relevance and Confidence in the System Documento
-
Implementacao da Biblioteca de Comunicacao DECK sobre o Padrao de Protocolo de Comunicacao em Nivel de Usuario VIA. Documento
-
Implementando Segurança e Controle em Redes de Computadores Documento
-
Implementação de Auto-verificação e Tolerância a Falhas em um Controlador Escravo Profibus Documento
-
Implementação de Consultas para um Modelo de Dados Temporal Orientado a Objetos Documento
-
Implementação de Mecanismo de Sincronismo Virtual: Experiência com Java Documento
-
Implementação de Multitarefa sobre Arquitetura Java Embarcada FemtoJava. Documento
-
Implementação de Objetos Replicados Usando Java. Documento
-
Implementação de arquiteturas SIMD Documento
-
Implementação de recuperação por retorno de aplicações distribuídas baseada em checkpoints coordenados Documento
-
Implementação de um Compilador para Software Numérico Documento
-
Implementação de um IDS utilizando SNMP e lógica difusa Documento
-
Implementação de um Mecanismo de Recuperação por Retorno para a Ferramenta OurGrid Documento
-
Implementação de um sistema de síntese de alto nível baseado em modelos java Documento
-
Implementação de variáveis hierárquicas em Algol B6700 Documento
-
Implementação e Análise de Algoritmos para Estimação de Movimento em Processadores Paralelos tipo GPU (Graphics Processing Units) Documento
-
Implementação e avaliação da técnica ACCE para detecção e correção de erros de fluxo de controle no LLVM Documento
-
Implicacoes do Estilo de Descricao de Codigos VHDL na Testabilidade. Documento
-
Improving Digital Photography: Revisiting Core Aspects through a DeepLearning Lens Documento
-
Improving conflict detection in double-pushout graph transformation Documento
-
Improving performance of iterative applications through interleaved execution of approximated CUDA kernels Documento
-
Improving the Accuracy of Spoofed Traffic Inference in Inter-Domain Traffic Documento
-
Improving the Search for Refactoring Opportunities on Object-Oriented and Aspect-Oriented Software Documento
-
Incorporando Suporte a Restrições Espaciais de Caráter Topológico ao Modelo Abstrato do Consórcio Open GIS Documento
-
Incorporando Suporte a Restrições Espaciais de Caráter Topológico ao Modelo Abstrato do Consórcio OpenGIS Documento
-
Incrementando a codificação da notação e modelo de processo de negócio Documento
-
Incrementing the implementation perspective of the business process model and notation : analysis, survey and pseudo-algorithms Documento
-
Independência entre Aplicações e Processos Modelados Documento
-
Indexação de Imagens por Atributos de Cor e Textura no Domínio da Transformada Discreta do Cosseno Documento
-
Indexação e Recuperação de Imagens por Cor e Estrutura. Documento
-
Indexing and querying dataspaces Documento
-
Inference Rules for Generic Code Migration of Aspect-Oriented Programs Documento
-
Infraestrutura inteligente para o aumento de reusabilidade de objetos de aprendizagem Documento
-
Injetor de Falhas por Depuração Documento
-
Injeção de Falhas de Comunicação em Aplicações Multiprotocolo Documento
-
Injeção de Falhas em Banco de Dados Distribuídos Documento
-
Injeção distribuída de falhas para validação de dependabilidade de sistemas distribuídos de larga escala Documento
-
Inserção de Conhecimento Probabilístico em Agentes BDI Modelados em Redes Bayesianas Documento
-
Inserção de Conhecimento Probabilístico para Construção de Agentes BDI Modelados em Redes Bayesianas Documento
-
Inspeção de Aplicações Java através da Identificação de Padrões de Projeto Documento
-
Integrando Modelo BDI e Redes Bayesianas Documento
-
Integrando ferramentas da software livre para gerenciamento e monitoração de redes locais Documento
-
Integrando injeção de falhas ao perfil UML 2.0 de testes Documento
-
Integrated Cluster Environment (ICE) : plataforma de gerenciamento e de acesso a múltiplos clusters Documento
-
Integrating BDI Model and Bayesian Networks, Documento
-
Integrating Constraint Awareness and Multiple Approximation Techniques in High-Level Synthesis for FPGAs Documento
-
Integration framework for optimizing EDP of OpenMP applications by tuning thread count and thread and page mapping Documento
-
Integração Baseada em Conhecimento de Domínio de Dados e Processos Disponíveis em Portais Web Documento
-
Integração Materializada na Web Documento
-
Integração Materializada na Web Documento
-
Integração de Bancos de Dados Relacionais com a WWW Documento
-
Integração de Recursos da Web Semântica e Mineração de Uso para a Personalização de Sites Documento
-
Integração de Técnicas Diagramáticas por Orientação a Objetos Documento
-
Integração de dados e processos disponíveis em portais web baseada em ontologias de domínio Documento
-
Integração de sistemas de partículas com detecção de colisões em ambientes de ray tracing Documento
-
Integração no PROSOFT de ambientes corretos obtidos a partir de especificações algébricas e executados usando sistemas de reescrita Documento
-
Inteligência Artificial Construtivista: superando os limites da IA Documento
-
Inteligência Artificial Popperiana Documento
-
Inteligência artificial construtivista : uma nova perspectiva teórica para uma nova arquitetura de agente computacional inteligente Documento
-
Inteligência de máquina : esboço de uma abordagem construtivista Documento
-
Interactive Measurements and Tailored Displays for Optical Aberrations of the Human Eye Documento
-
Interactive Monitoring, Visualization, and Configuration of OpenFlow-Based SDN. Documento
-
Interactive Visualizations for Management of NFV-Enabled Networks Documento
-
Interface Adaptativa no Ambiente AdaptWeb: Navegação e Apresentação Adaptativa Baseada no Modelo do Usuário Documento
-
Interface Cooperativa para Resolução de Conflito de Linguagem em Ambiente de Desenvolvimento de software Documento
-
Interface de Gerenciamento e Consultas Visuais em Banco de Dados de Biodiversidade Documento
-
Interface de Gerenciamento para Roteadores Virtuais Documento
-
Interface de Navegação em Hiperdocumentos Documento
-
Interface de usuário para manipulação de formulários eletrônicos Documento
-
Interface para definição e manipulação de bases de dados Documento
-
Interfaces Parametrizáveis para Aplicações Interconectadas por uma Rede-em-Chip. Documento
-
Interoperabilidade Lógica via Mapementos entre Instituições Documento
-
Interoperabilidade de Bancos de Dados Heterogêneos através da WWW Documento
-
Interoperabilidade lógica via mapeamentos entre instituições Documento
-
Interpretador Standard ML Documento
-
Interpretação Temporal: Representação e Raciocínio Documento
-
Investigando Estratégias Otimizadas para Monitoramento Eficiente do Universo BitTorrent Documento
-
Investigando a influência de fatores linguísticos na organização lexical de verbos Documento
-
Investigando estratégias otimizadas para monitoramento eficiente do universo BitTorrent Documento
-
Investigação de Técnicas de Visualização para a Representação de Autômatos Finitos com Saída Documento
-
Investigação e Aplicação de algumas Operações Categoriais entre Atores de uma Animação baseados em Autômatos Finitos com Saída Documento
-
Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas Documento
-
JEduc: Reflexão Sobre a Linguagem Java na Educação. Documento
-
JavaRMS: um Sistema de Gerência de Dados para Grades Baseado num Modelo Par-a-Par. Documento
-
Javarray : uma arquitetura reconfigurável para o aumento de performance e economia de energia de aplicações embarcadas baseadas em Java Documento
-
Jogos em ambientes pervasivos Documento
-
Jogos inclusivos : diretrizes de acessibilidade para jogos digitais Documento
-
K-Aspects: Uma Abordagem Baseada em Aspectos para Implementação de Sistemas de Conhecimento Documento
-
KL-cuts : a new approach for logic synthesis targeting multiple output blocks Documento
-
Kitsune: A Management System for Advanced Radio Networks based on the Cognitive Functions Documento
-
Knowledge discovery in biological tabular data through machine learning interpretability and visualization Documento
-
LAC - Linguagem de Agentes Concorrentes Documento
-
LAGO - Linguagem de Acesso Global ao Sistema AMPLO Documento
-
LEMMA 2000 Documento
-
LEMMA 2000 - Uma Linguagem para Análise e Representação de Protocolos para Diagnósticos em Medicina. Documento
-
Laboratório Virtual 3D de Redes de Computadores Documento
-
Larch: Uma alternativa para Especificação Formal Documento
-
Leakage Current Modeling in Sub-micrometer CMOS Complex Gates Documento
-
Learning Centrality Measures with Graph Neural Networks Documento
-
Leveraging Relations among Objects to Improve the Performance of Information-Centric Networks Documento
-
Lidando com Falhas Transitórias de Longa Duração Provocadas por Radiação em Tecnologias Futuras Documento
-
Lidando com recursos escassos e heterogêneos em um sistema geograficamente distribuído atuando como servidor de MMOG Documento
-
Ligação em RJE dos computadores B-6700 e IBM1130 Documento
-
Limiting fake accounts in large-scale distributed systems through adaptive identity management. Documento
-
Linguagem de Consulta para um Modelo Temporal de Versões Documento
-
Linguagem de consulta temporal : definição e implementação Documento
-
Localização de Zeros Reais de Polinômios Intervalares Documento
-
Logger : agente de colaboração em um ambiente de aprendizagem utilizando software livre no apoio à educação a distância Documento
-
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos Documento
-
Low Cost BIST Techniques for Linear and Non-Linear Analog Circuits Documento
-
MAPEAMENTO DE PADRÕES INTERNACIONAIS DE QUALIDADE DE PRODUTO E DE PROCESSO PARA UM MODELO CONCEITUAL DE GERÊNCIA DO PROCESSO DE DESENVOLVIMENTO DE SOFTWARE Documento
-
MARO : um modelo de emoções usando ontologia Documento
-
MD-JPA : um perfil UML para modelagem do mapeamento objeto-relacional com JPA em uma abordagem dirigida por modelos Documento
-
MD-PROM : um mecanismo de deduplicação de metadados e rastreio da proveniência Documento
-
MEPSOM : método de ensino de programação sônica para músicos Documento
-
MIGRAÇÃO DE SISTEMAS LEGADOS Documento
-
MODELAGEM E IMPLEMENTAÇÃO DA INTERFACE PARA A APRESENTAÇÃO DE COMPORTAMENTOS ANIMADOS E EMOTIVOS DE UM AGENTE PEDAGÓGICO ANIMADO Documento
-
MOIRAE : a computational strategy to predict 3-D structures of polypeptides Documento
-
MOTF: Meta-objetos para Tolerância a Falhas Documento
-
MPI sobre MOM para suportar log de mensagens pessimista remoto Documento
-
MPI sobre MOM para suporte a Log de Mensagens Pessimista Remoto Documento
-
MPI2.NET - Criação Dinâmica de Tarefas com Orientação a Objetos Documento
-
MTC : modelo de programação paralela baseado na perspectiva conexionista Documento
-
Macanudo: Uma abordagem baseada em componentes voltada ao reuso de projetos de descrições de hardware. Documento
-
Machine Learning and Metaheuristic for Multi-Objective Feature Selection Documento
-
Machine Translation for the biomedical domain - corpora acquisition and translation experiments Documento
-
MagnetViz: Design and Evaluation of a Physics-based Interaction Technique for Graph Visualization. Documento
-
MagnetViz: Design and Evaluation of a Physiscs-based Interaction Technique for Graph Visualization Documento
-
Manipulação simultânea de objetos em ambientes virtuais imersivos Documento
-
Manutenção da Consistência do Estado dos Dados de Gerenciamento em Sistemas de Gerenciamento Autonômico baseados em Infraestruturas Peer-to-Peer Documento
-
Mapeamento Tecnológico para Bibliotecas Virtuais Simétricas e Assimétricas com Minimização da Profundidade Lógica do Circuito Documento
-
Mapeamento da linguagem Nautilus para Java Documento
-
Mapeamento de Esquemas Orientados a Objetos com Versões para Esquemas Objeto-Relacionais Documento
-
Mapeamento de Padrões de Qualidade . de Produto e de Processo para um Modelo Conceitual de Gerência do Processo de Desenvolvimento de Software. Documento
-
Mapeamento de um Modelo Formal Clássico de Análise para um Modelo Formal OO. Documento
-
Mapeamento e Documentação de Feições Visuais Diagnósticas para Interpretação em Sistemas Baseado em Conhecimento no Domínio da Petrografia Documento
-
Mapeamento estático de processos MPI com emparelhamento perfeito de custo máximo em cluster homogêneo de multi-cores Documento
-
Maresia - An Approach to Deal with the Single Points of Failure of the MapReduce Model Documento
-
Materialização de Visões Relacionais para Dados Semi-Estruturados através de Ontologias Documento
-
Materialização de Visões XML. Documento
-
Mecanismo de Autenticação Baseado na Localização de Estações Sem Fios Padrão IEEE 802.11 Documento
-
Mecanismo de Busca Especulativa de Mútiplos Fluxos de Instruções Documento
-
Mecanismo de interação entre agentes : construção e avaliação de trocas sociais Documento
-
Mecanismo de suporte à percepção em ambientes cooperativos Documento
-
Mecanismos Complementares para a Avaliação do Aluno na Educação à Distância. Documento
-
Mecanismos de Reconfiguração Dinâmica Aplicados ao Projeto de um Processador de Imagens Reconfigurável Documento
-
Mecanismos para Interoperação de Backbones MPLS e Redes que Utilizem Outras Arquiteturas de QoS. Documento
-
Medidas de Estruturas Cardíacas Fetais através de Imagens Ecocardiográficas Segmentadas. Documento
-
Memetic Networks: problem-solving with social network models Documento
-
Memory performance analysis strategies at runtime level for task-based applications over heterogeneous platforms Documento
-
Memórias Transacionais em Hardware para Sistemas Multiprocessados Conectados por Redes-em-Chip Documento
-
Merging of Meshes Using Dynamic Regular Triangulation Documento
-
Mesa digitalizadora de alta resolucao Documento
-
Metapsicologia: Principios para um Conceito Alternativo de Cognição em Inteligência Artificial Documento
-
Metodologia Orientada a Aspectos para a Especificação de Sistemas Tempo- Real Embarcados Distribuídos Documento
-
Metodologia de projeto de software embarcado voltada ao teste Documento
-
Metodologia para Avaliação de Qualidade de Redes VoIP Documento
-
Metodologia para Detecção de Incoerências entre Regras em Filtros de Pacotes Documento
-
Metodologia para tratamento e manipulação de informações de comércio eletrônico Documento
-
Microarray Data Analysis Using Gene Co-expression Networks Cycles Documento
-
Microcontrolador FemtoJava com características para processamento digital de sinais : FemtoJavaDSP Documento
-
Microorganismos Artificiais Documento
-
Microprogramação e Projeto de Sistemas de Computação: Pré-projeto de um Núcleo de Sistema Operacional Multiprogramado. Documento
-
Middleware Adaptativo para Sistemas Embarcados e de Tempo-real. Documento
-
MigBSP : a new approach for processes rescheduling management on bulk synchronous parallel applications Documento
-
MigBSP: a New Approach for Processes Rescheduling Management on Bulk Sycnhronous Parallel Applications Documento
-
Migration and evaluation of a numerical weather prediction application in a cloud computing infrastructure Documento
-
Migração de agentes em sistemas multi-agentes abertos Documento
-
Mineração de Dados Utilizando Aprendizado Não-Supervisionado: um estudo de caso para banco de dados da saúde Documento
-
Mineração de Regras de Associação Aplicada a Dados da Secretaria Municipal de Saúde de Londrina - PR Documento
-
Mineração de Regras de Associação no Problema da Cesta de Compras Aplicada ao Comércio Varegista de Confecção Documento
-
Mineração de regras de associação no problema da cesta de compras aplicada ao comércio varejista de confecção Documento
-
Minimizing Transistor Count in Transistor Networks Documento
-
Mixed-signal analog-digital circuits design on the pre-diffused digital array using trapezoidal association of transistors Documento
-
MoCHA : arquitetura dedicada para a compensação de movimento em decodificadores de vídeo de alta definição, seguindo o padrão H.264 Documento
-
MoCHA: Arquitetura Dedicada para a Compensação de Movimento em Decodificadores de Vídeo de Alta Definição, Seguindo o Padrão H.264 Documento
-
Modelagem Orientada a Agentes Aplicada a Ambientes Inteligentes Distribuídos de Ensino Documento
-
Modelagem Temporal para Espec. de Apres. Multimídia Sincronizadas e Interativas Documento
-
Modelagem Temporal para Especificação de Apresentações Multimidia Sincronizadas e Interativas Documento
-
Modelagem de Articulações para Humanos Virtuais Baseada em Anatomia Documento
-
Modelagem de Articulações para Humanos Virtuais Baseda em Anatomia Documento
-
Modelagem de Hardware para Codificação de Vídeo e Arquitetura de Compensação de Movimento Segundo o Padrão H.264/AVC Documento
-
Modelagem de Motoristas e Cenários de Escolha de Rota em Simulações de Tráfego Veicular Urbano Documento
-
Modelagem de Objetos com Superfícies Planificáveis Utilizando Geometria Sólida Construtiva. Documento
-
Modelagem de Sistemas Porosos por Meio da Geometria Estatística Documento
-
Modelagem de Sistemas de Informação na Internet como Sistemas de Workflow sobre Documentos Estruturados Documento
-
Modelagem de Workflow utilizando um Modelo de Dados Temporal Orientado a Objetos com Papéis Documento
-
Modelagem de aparência baseada em biofísica para tecidos do fígado humano Documento
-
Modelagem de desempenho e eficiência energética de sistemas heterogêneos Documento
-
Modelagem de processos de negócio : rótulos e ontologias Documento
-
Modelagem de um Agente Cognitivo em um Ambiente de Simulação utilizando uma arquitetura híbrida de Sistema Multiagente Documento
-
Modelagem do usuário para a gamificação sob medida : revisão da literatura, proposta e avaliação Documento
-
Modelagem e Dimensionamento do Custo de Migração de Processos em Programas MPI Documento
-
Modelagem e Simulação da Articulação TemporoMandibular Documento
-
Modelagem e Simulação de Algoritmos Paralelos Baseados em Operações com DNA. Documento
-
Modelagem e projeto de módulos amplificadores e comparadores em tecnologia CMOS 0,35um Documento
-
Modelagem e prototipação de um repositório extensível para componentes de software Documento
-
Modelo Analítico para Análise de Desempenho de Redes Sem Fio sobre o Protocolo IEEE 802.11 DCF Documento
-
Modelo Computacional Paralelo para a Hidrodinâmica e para o Transporte de Substâncias Bidimensional e Tridimensional.Área de Pesquisa: Processamento Paralelo e Distribuído Documento
-
Modelo MAS-SOC: Integrando Ambientes e Organizações para Simulações Baseadas em Sistemas Multiagente Situados Documento
-
Modelo Temporal de Versões Documento
-
Modelo de Adaptação de Ensino utilizando Agentes Pedagógicos Documento
-
Modelo de Consulta de Dados de Domínio Relacionais Baseada em Contexto para Sistemas Ubíquos Documento
-
Modelo de Formalização de Especificações: Formalizando Use Cases Através de Tipos Abstratos de Dados Documento
-
Modelo de Gerenciamento de Infra-estrutura de Medição em Redes de Computadores Documento
-
Modelo de Migração de Tarefas para MPSo Cs baseados em redes-em-chip Documento
-
Modelo de Migração de Tarefas para MPSoCs baseados em Redes-em-chip Documento
-
Modelo de Performance Para Códico com Desvios de Execução em Hardware Gráfico Documento
-
Modelo de WorkFlow com percepção de eventos Documento
-
Modelo de avaliação de redes de acesso banda larga baseadas no paradigma SDN Documento
-
Modelo de performance para código com desvios de execução em hardware gráfico Documento
-
Modelo de um neurônio diferenciador-integrador para representação temporal em arquiteturas conexionistas Documento
-
Modelo temporal de versionamento com suporte à evolução de esquemas Documento
-
Modelos Analiticos para Interconexao de Processadores Documento
-
Modelos de Transação para Suportar Sistemas de Controle de Produção Documento
-
Modelos para o Mapeamento de Aplicações em Infra-estruturas de Comunicação Intrachip Documento
-
Modelos proativos para hipermídia adaptativa Documento
-
Modern code review : from foundational studies to proposed approaches and their evaluation Documento
-
Monitoramento On-line em Sistemas Distribuídos: Modelo Hierárquico Para Coleta de Dados Documento
-
Monitoramento Personalizado de Hiperdocumentos como Apoio à Avaliação em um Ambiente de Ensino-Aprendizagem na Web Documento
-
Monitoração de protocolos de alto nível através da implementação de um agente RMON2 Documento
-
MuTARe : a multi-target, adaptive reconfigurable architecture Documento
-
Multi objective and diversity guided success history based adaptive differential Evolution approaches for the Tertiary Protein Structure Prediction Problem Documento
-
Multi-fragment visibility determination in the context of order-independent transparency rendering Documento
-
MultiCluster: um modelo de integração baseado em redes peer-to-peer para a concepção de grades locais Documento
-
MultiS : um servidor de contexto voltado à computação pervasiva Documento
-
Multidimensional Similarity Search for 2D-3D Medical Data Correlation and Fusion. Documento
-
Multiplexador Estatístico Documento
-
Multiplexação Adaptativa Baseada no E-model Para Redução do Overhead na Rede em Ligações VoIP Sobre IP Security Mantendo Qualidade nas Conversações Documento
-
Multiplexação Estatística de Fontes Heterogêneas em ATM Usando o Modelo On/Off Pareto. Documento
-
MusicVis: Interactive Visualization Tool For Exploring Music Rankings Documento
-
MÉTODOS INTERVALARES PARA A RESOLUÇÃO DE SISTEMAS DE EQUAÇÕES LINEARES Documento
-
Máquina de Clausulas: Architetura e Modelo de Execução de Clausulas Prolog Documento
-
Método Heurístico para Solução do Problema de Sequenciamento Cíclico de n tarefas em m Processadores Paralelos Idênticos Documento
-
Método Heurístico para o Projeto de Interfaces Inteligentes com Usabilidade Documento
-
Método Neuro-estatístico para Predição de Séries Temporais Ruidosas Documento
-
Método de representação de conhecimento baseado em Ontologias para apoiar Sistemas de Recomendação Educacionais Documento
-
Método para Planejamento de Capacidade de Redes ATM Baseada em Simulação Documento
-
Método para a otimização de plataformas arquiteturais para sistemas multiprocessados heterogêneos Documento
-
Método para avaliação de ambientes de desenvolvimento de software combinando CMM e GQM. Documento
-
Métodos Computacionais para Indentificar Automaticamente Estruturas da Retina e Quantificar a Severidade do Edema Macular Diabético em Imagens de Fundo de Olho. Documento
-
Métodos Computacionais para a Determinação de Raízes Complexas de Equações Polinomiais Documento
-
Métodos Multigrid Paralelos em Malhas Não Estruturadas Aplicados à Simulação de Problemas de Dinâmica de Fluidos Computacional e Transferência de Calor Documento
-
Métodos computacionais para identificar automaticamente estruturas da retina e quantificar a severidade do edema macular diabético em imagens de fundo de olho Documento
-
Métodos de Especificação Formal para Organizações de Sistemas Multiagentes Documento
-
Métodos de Exploração de Espaço de Projeto em Tempo de Execução em Sistemas Embarcados de Tempo Real Soft baseados em Redes-Em-Chip. Documento
-
Métodos para caracterização de desempenho de CPUs industriais Documento
-
Módulo de auto-localização para um agente exploratório usando Filtro de Kalman Documento
-
NCE : um sistema de notarização para o serviço de correio eletrônico Documento
-
Na UFRGS ainda não havia definido. Documento
-
Navegação exploratória baseada em problemas de valores de contorno Documento
-
Negociação Pedagógica Aplicada a um Ambiente Multiagente de Aprendizagem Colaborativa Documento
-
Network Programming as a Service: An Innovation Friendly Business Model Documento
-
Novos Algoritmos Para o Roteamento de Circuitos VLSI Documento
-
Nprof Uma Ferramenta para Monitoramento de Aplicaçãoes Distribuídas. Documento
-
Núcleo de Aritmética de Alta Exatidão da Biblioteca Intervalar Libavi.A Documento
-
Números Naturais Parciais Documento
-
O Modelo da Membrana Quântica: a emergência de vida artificial em ambientes dinâmicos quantizados. Documento
-
O Uso de Ícones na Visualização de Informações Documento
-
O comportamento da bactéria Clostridim Botulinum em um ambiente virtual Documento
-
O planejamento de alocação de recursos baseado em sistemas multiagentes Documento
-
O uso da metodologia de Raciocínio Baseado em Casos na investigação de irregularidades nas internações hospitalares Documento
-
O3PO : a domain ontology for semantic interoperability for petroleum production plants Documento
-
ONNIS-GI - Uma Rede Neural Oscilatória para Segmentação de Imagens Implementada em Arquitetura Maciçamente Paralela Documento
-
OPIS : um método para identificação e busca de páginas-objeto Documento
-
ORION : uma abordagem eficaz e robusta para aquisição de valores de atributos de entidades do mundo real Documento
-
ORPHEO - Uma estrutura de trabalho para integração dos paradigmas de aprendizado supervisionado e não-supervisionado Documento
-
ORPIS: um modelo de consistência de conteúdo replicado em servidores Web distribuídos. Documento
-
OTIMIZAÇÕES MÚLTIPLAS: UMA APLICAÇÃO À QUÍMICA Documento
-
OZJ-Uma Ferramenta para Geração de Oráculos para Teste de Software a partir de Especificações Formais. Documento
-
Object-oriented graph grammars Documento
-
Objetos Inteligentes de Aprendizagem:uma abordagem baseada em agentes para objetos de aprendizagem Documento
-
Obtenção de Alta Confiabilidade para uma Aplicação, com a Utilização de uma Arquitetura de Sistemas Distribuídos Documento
-
Occurrence graph grammars with negative application conditions Documento
-
On the Generalization of Subspace Detection in Unordered Multidimensional Data Documento
-
On the analysis of centrality measures for complex and social networks Documento
-
On the investigation of the joint use of self-* properties and peer-to-peer for network management Documento
-
On the optimal minimization of special classes of Boolean functions Documento
-
On-Silicon Testbenh for Validation of Soft Logic Cell Libraries Documento
-
Online Incremental One-Shot Learning of Temporal Sequences Documento
-
Ontologia para domínios imagísticos : combinando primitivas textuais e pictóricas Documento
-
Ontologias e consulta semântica : uma aplicação ao caso Lattes Documento
-
Ontology-based metadata for e-learning content Documento
-
Operadores aritméticos de baixo consumo para arquiteturas de circuitos DSP Documento
-
Operações Atômicas para Gerenciamento Baseado em Políticas Documento
-
Operações Booleanas entre Objetos Delimitados por Surfels Usando Constrained BSP-trees Documento
-
Optimizing two-dimesional Shallow Water Based Flood Hydrological Model with Stream Architectures Documento
-
OrIAs: Uma Infraestrutura de Nível Micro-Organizacional Baseada em Artefatos para Sistemas Multiagentes. Documento
-
Ordered Stacks of Time Series for Exploratory Analysis of Large Spatio- Temporal Datasets Documento
-
Organização e armazenamento de conteúdo instrucional no ambiente AdaptWeb utilizando XML Documento
-
Organizações Virtuais - Suporte ao Ciclo de Vida por meio de Workflow Documento
-
Otimização Unroll and Jam através da refatoração Documento
-
Otimização de Algoritmos para Redes Neurais em Máquinas Paralelas com Capacidade de Processamento Vetorial Documento
-
PANDORA - Uma Ferramenta para Visualização e Análise de Redes Sociais Acadêmicas Documento
-
PIM-gem5 : a system simulator for Processing-in-Memory design space exploration Documento
-
POVA - Proxy Oriantado a Verificação de Ataques Documento
-
PROCESSADOR PIPELINE COM ARQUITETURA BIT-SLICE Documento
-
PROGRAMAÇÃO FUNCIONAL USANDO JAVA Documento
-
PROSPEC: um formalismo para a especificação de processos de fabricação Documento
-
PROTESTE+: Ambiente de Apoio à Qualidade de Software através de Técnicas de Teste e de Métricas de Complexidade Documento
-
PRiMA : project risk management approach Documento
-
Paralelizando Unidades de Cache Hierárquicas para Roteadores ICN Documento
-
Paralelização de Métodos de Resolução de Sistemas Lineares Esparsos com o DECK em um Cluster de PCs. Documento
-
Paralelização de Métodos de Resolução de Sistemas Lineares Esparsos em um Cluster de PCs Documento
-
Paralelização do Algorítimo de Geração de Redes Aleatórias Contínuas por Simulated Annealing Documento
-
Paralelizações de métodos numéricos em clusters empregando as bibliotecas MPICH, DECK e Pthread Documento
-
Paralização do Algoritmo de Geração de Redes Aleatórias Contínuas de Carbono por Simulated Annealing Documento
-
Parallel SAT Solvers and Their Application in Automatic Parallelization Documento
-
Parallel algorithms for scalable logic synthesis & verification Documento
-
Particionamento de Domínio e Balanceamento de Carga no Modelo HIDRA Documento
-
Particionamento de Grafos de Aplicações e Mapeamento em Grafos de Arquiteturas Heterogêneas. Documento
-
Particionamento de células e pads de I/O em circuitos VLSI 3D Documento
-
PathSim : um algoritmo para calcular a similaridade entre caminhos XML Documento
-
PathSim: Um Algoritmo de comparação de caminhos XML Documento
-
Perceptual guidance in mesh processing and rendering using mesh saliency Documento
-
Performance Analysis Strategies for Task-based Applications on Hybrid Platforms Documento
-
Performance Management of IT Service Processes Using a Mashup-based Approach Documento
-
Performance Modeling of MapReduce Applications for the Cloud Documento
-
Performance estimation in MPSoC design Documento
-
Performance optimization of geophysics stencils on HPC architectures Documento
-
Personalização de Interfaces Web para Sites Institucionais com Base em Perfis de Usuários. Documento
-
Photorealistic models for pupil light reflex and iridal pattern deformation Documento
-
Pi-Calculus Semantic with Values Passing in the Denotational Approach Documento
-
Planejamento Estrutural e Simulação de Partes de Controle de Circuitos Integrados Documento
-
Planejamento de Movimento para Pedestres utilizando Campos Potenciais Documento
-
Planejamento de capacidade em redes corporativas para implementação de serviços VoIP Documento
-
Planejamento de movimento para grupos utilizando campos potenciais Documento
-
Plataforma de comunicação tempo real sobre clusters SCI Documento
-
Posicionamento de Réplicas em Sistemas Distribuídos Documento
-
Potenciais Evocados Auditivos Baseado em Processamento Digital de Sinais - DSPEA. Documento
-
Praticas Ageis no Processo de Desenvolvimento de Jogos Eletronicos Documento
-
Preenchimento automático de formulários na web oculta Documento
-
Preference and context-based BDI plan selection using machine learning : from models to code generation Documento
-
Presence Factor Scale (PFS): Um Método para Avaliação de Presença em Ambientes Virtuais Imersivos Documento
-
Prevendo e Identificando Fluxos Elefantes em Redes de Ponto de Troca de Tráfego com Suporte à Programabilidade. Documento
-
Prevenção contra Ataques de Poluição de Conteúdo em Sistemas P2P de Live Streaming Documento
-
Previsao de Desvios em Arquiteturas Multitarefas Simultaneas. Documento
-
Previsão de Ações em Atividades Diárias para Assistir Pessoas com Declínio Cognitivo através de um Modelo Ontológico Probabilístico. Documento
-
Previsão de Disponibilidade de Recursos em Sistemas de Volunteer Computing e Desktop Grids Documento
-
Previsão de Séries Temporais Utilizando Algoritmos Genéticos Documento
-
Primitivas para Distribuiçao de Objetos Direcionadas a Pervasive Computing Documento
-
Probabilistic Incremental Learning for Image Recognition: Modelling the Density of High-dimensional Data. Documento
-
Procedimento de Teste para Detecção de Falhas no Processador Transputer Documento
-
Procedual Textures Mapping using Geodesic Distances Documento
-
Procedural Textures Mapping using Geodesic Distances Documento
-
Processamento Digital de Sinais em Modens de Alta Velocidade Documento
-
Profiling and Reducing Micro-architecture Bottlenecks at the Basic Block Level Documento
-
Programação em lógica, Montague e regras livres de contexto: Teoria formalizada em lógica de um processador para o poruguês Documento
-
Projeto Arquitetural de um Array Reconfigurável de Granularidade Grossa para Aumento de Performance e Redução de Potência em Sistemas Embarcados Documento
-
Projeto Conceitual de Banco de Dados Geográficos Através da Reutilização de Esquemas, Utilizando Padrões de Análise e um Framework Conceitual. Documento
-
Projeto Conceitual de Banco de Dados Geográficos através da Reutilização de Esquemas, utilizando Padrões de Análise e um Framework Conceitual Documento
-
Projeto Cooperativo no Ambiente Cave Baseado em Espaço Compartilhado de Objetos Documento
-
Projeto da arquitetura de hardware para binarização e modelagem de contextos para o CABAC do padrão de compressão de vídeo H.264/AVC Documento
-
Projeto de Aplicações Específicas com Microcontroladores Java Dedicados. Documento
-
Projeto de Células e Circuitos VLSI Digitais CMOS para Operação em Baixa Tensão Documento
-
Projeto de Redes Aéreas de Distribuição de Energia Elétrica por Computador via terminal Documento
-
Projeto de Sistemas Distribuidos Documento
-
Projeto de Um Sistema de Suporte À Autoria Cooperativa de Hiperdocumentos Documento
-
Projeto de arquiteturas integradas para a compressão de imagens JPEG Documento
-
Projeto de interfaces gráficas para ensino de deficientes audtivos Documento
-
Projeto de sistemas digitais complexos : uma aplicação ao decodificador H.264 Documento
-
Projeto de um DB2 Extender para Suporte aos Conceitos de Tempo e Versão Documento
-
Projeto de um Microprocessador Robusto a Soft Errors Documento
-
Projeto de um Serviço Configurável de Detecção de Defeitos Documento
-
Projeto de um codificador/decodificador Viterbi integrado Documento
-
Projeto de um codificador/decodificador Viterbi integrado Documento
-
Projeto de um serviço configurável de detecção de defeitos Documento
-
Projeto de uma Aplicação Jurídica utilizando um Sistema de Hipertexto (Design of a Legal Application utilizing a Hypertext System) Documento
-
Projeto de uma Nova Arquitetura de FPGA para Aplicacoes BIST e DSP Documento
-
Projeto e Implementação de um Sistema Operacional Distribuído Documento
-
Propar: Um Gerente de Processos Paralelos para Arquiteturas Fracamente Acopladas Documento
-
Proposição de funções em gerência de comunicação de dados Documento
-
Proposta de Extensão do Modelo de Expressões Intervalares para Sincronização Multimídia na Web. Documento
-
Proposta de Extensão do Modelo de Expressões Intervalares para Sincronização Temporal Multimídia na Web Documento
-
Proposta de Implementação em Hardware dedicado de Redes Neurais Competitivas com Tecnicas de Circuitos Integrados Analogicos Documento
-
Proposta de Metodologia de Escolha de Monitorações para Avaliação da Qualidade de Redes de Voz sobre IP Documento
-
Proposta de Modelo de Agente EDI para Uso como Ferramenta de Apoio a Sistemas de Informacao Baseado em Web Documento
-
Proposta de Suporte XML para Ambientes de Desenvolvimento de Sistemas Visuais Interativos Baseados em Gramáticas Documento
-
Proposta de um Framework Conceitual para Apoiar a Criação de Técnicas de Indexação para Banco de Dados Temporais Documento
-
Proposta de um framework conceitual para apoiar a criação de técnicas de indexação para banco de dados temporais Documento
-
Proposta de um modelo de esquema cognitivo sensório-motor inspirado na Teoria de Jean Piaget Documento
-
Proposta de uma Metodologia para Avaliação de Usabilidade de Interfaces WWW Documento
-
Proposta e implementação de uma máquina de workflow para o Projeto CEMT Documento
-
Proposta para Criação e Catalogação de Objetos de Aprendizagem Interoperáveis Documento
-
Protegendo a economia virtual de MMOGS através da detecção de cheating. Documento
-
Protocolo de Recuperação por Retorno, Coordenado, Não Determinístico. Documento
-
Protocolo de Recuperação por Retorno, Coordenado, Não-Determinístico Documento
-
Protocolo de Transporte para Apoiar a Interconexão de Computadores de Grande Porte Documento
-
Providing Adaptability to MPI Applications on Current Parallel Architectures Documento
-
Práticas Ágeis no Processo de Desenvolvimento de Jogos Eletrônicos Documento
-
Publicação Eletrônica de Imagens e Metadados do Formato DICOM Visando a Inter-Operacionalidade de Sistemas Através da Web. Documento
-
Publicação de Documentos na Web com Controle de Acesso Documento
-
Publicação e distribuição de informações na WEB, com controle de Acesso Documento
-
Pythonissa: Uma Linguagem Visual para a Elaboração da Previsão do Tempo Documento
-
Qualidade de Serviço em Redes IP - DiffServ. Documento
-
Qualidade de Serviços em Redes IP Documento
-
Qualificando Autores em um Processo Aberto para Editoração de Artigos Documento
-
Quando Documento
-
Quando, Onde, Quem, O que ou Por que? Um Modelo Híbrido de Classificação de Perguntas para Sistemas de Question Answering Documento
-
Quantificação da Complexidade de Processos de TI Interdomínios Documento
-
Quantificação de Impressoões Diagnósticas em Imagens de Cintilografia Renal Documento
-
Quantificação de Impressões Diagnósticas em Imagens de Cintilografia Renal Documento
-
RAP: Um Experimento com Protocolos de Replicação Usando uma Ferramenta de Comunicação de Grupos. Documento
-
RST: Reuse Through Speculation on Traces Documento
-
Raciocínio Baseado em Casos Aplicado a Diversos Domínios de Problemas Documento
-
Raciocínio sobre conhecimento visual : um estudo em estratigrafia sedimentar Documento
-
Rafaella: um esquema de criptografia de chave pública baseado em um novo paradigma matemático Documento
-
Rastreabilidade Semi-Automática Através do Mapeamento de Entidades. Documento
-
Rastreamento de Objetos em Sequências de Vídeo Utilizando Múltiplos Filtros de Correlação Documento
-
Rastreamento e Reconhecimento de Atividades em Vídeos Documento
-
Reaction Diffusion Woodcuts Documento
-
Read-polarity-once functions Documento
-
Real-time Photographic Local Tone Reproduction Using Summed-Area Tables Documento
-
Real-time detection of planar regions in unorganized point clouds Documento
-
Recomendação Adaptiva e Sensível ao Contexto de Recursos para Usuários em um Campus Universitário Documento
-
Reconfiguração Automática de I/O para Aplicações Paralelas no Sistema de Arquivos dNFSp2 Documento
-
Reconhecimento Automático de Locutor Utilizando Medidas de Invariantes Dinâmicas Não-Lineares Documento
-
Reconhecimento Automático de Padrões em Imagens Ecocardiográficas Documento
-
Reconhecimento de Caracteres Alfanumericos em Placas de Veiculos Documento
-
Reconhecimento de Comandos de Direcionamento por meio de Redes Neurais Documento
-
Reconhecimento de Padrões Visuais pela Rede Neural Neocognitron Documento
-
Reconhecimento de caracteres alfanuméricos de placas em imagens de veículos Documento
-
Reconhecimento de padrões em imagens por descritores de forma Documento
-
Reconhecimento de voz para comandos de direcionamento por meio de redes neurais Documento
-
Reconhecimento do Título de Doutor Documento
-
Reconhecimento do diploma Doutor em Ciências Tecnológicas n°045946 , junto ao Instituto de Tecnologia Eletrôniac de Moscou, Rússia, em 24 de junho de 1981, como equivalente ao título Doutor em Ciência da Computação Documento
-
Reconhecimento facial com projeções ortogonais preservadoras de localidade customizadas para maximizar margens suaves Documento
-
Reconhecimento semântico através de redes neurais artificiais Documento
-
Reconstrução tridimensional de objetos a partir das projeções de suas secções Documento
-
Recorte Volumétrico Usando Técnicas de Interação 2D e 3D. Documento
-
Recuperação com base em Checkpointing : uma abordagem orientada a objetos Documento
-
Recuperação de Metadados de Objetos de Aprendizagem no AdaptWeb Documento
-
Recuperação inteligente de informações Documento
-
Recursos Operacionais para Computação Gráfica Documento
-
Redes Neurais Aplicadas ao Reconhecimento de Regiões Promotoras na Família Mycoplasmataceae. Documento
-
Redes em Chip para Sistemas Embarcados Visando a Otimização de Medidas de Qualidade de Serviço de Tempo Real Documento
-
Redes neurais artificiais aplicadas ao reconhecimento de speed cheating em jogos online de computador Documento
-
Redes-em-Chip de Baixo Custo Documento
-
Redes-em-Chip para Sistemas Embarcados Visando a Otimização de Medidas de Qualidade de Serviço para Aplicações de Tempo Real. Documento
-
Redes-em-Chip: Arquiteturas e Modelos para Avaliação de Área de Desempenho Documento
-
Reduzindo o Consumo de Potência em Networks-on-Chip através de Esquemas de Codificação de Dados. Documento
-
Reduzindo o consumo de energia em MPSoCs heterogêneos via clock gating Documento
-
Reduzindo o consumo de potência em redes intra-chip através de esquemas de codificação de dados. Documento
-
Redução de dimensionalidade aplicada à diarização de locutor Documento
-
Redução do Esforço do Usuário na Deduplicação de Grandes Bases de Dados Documento
-
Redução do espaço de busca de estruturas de coalizão a partir de informações sobre o domínio : uma aplicação em smart grids Documento
-
Regras Heurísticas para Extração de Diagramas Orientados a Objetos a partir de Textos Documento
-
Regras para Transformação de Esquemas Conceituais Definidos a partir de um Framework de Banco de Dados Geográficos para Esquemas Lógicos de SIG, com Base no Padrão SAIF. Documento
-
Regret Minimisation and System-Efficiency in Route Choice Documento
-
Relações Formais entre Gramáticas de Grafos e Redes de Petri Documento
-
Render XML Renderizador de Interfaces de Usuário para Múltiplas Plataformas Documento
-
Replicação de Objetos Distribuídos no DPC++ Documento
-
Representando Esquemas Conceituais de BDG no Formato Atributo-Valor para Inferência Semi-automatizada de Padrões de Análise Documento
-
Representando Esquemas Conceituais de Bancos de Dados Geograficos no Formato Atributo-Valor para a Inferencia Semi-automatizada de Padroes de Analise Documento
-
Representação de conhecimento : programação em lógica e o modelo das hiperredes Documento
-
Representação e análise de gramáticas de grafos Documento
-
Representação e diagnóstico de falsas concepções em um tutor inteligente Documento
-
Representações Esparsas Através de Dicionários para Processamento e Análise de Lesões Melanocíticas Documento
-
Representção gráfica de intervalos Documento
-
Resilient Regular Expression Matching on FPGAs with Fast Error Repair Documento
-
Resolução de sistemas de equações lineares através de métodos de decomposição de domínio Documento
-
Reusando Valores em uma Arquitetura Condicional Dinâmica Documento
-
Reuse-based Test Planning for Core-based Systems-on-Chip Documento
-
Reusing Values in a Dynamic Conditional Execution Architecture Documento
-
Reuso de IHC orientado a padrões concretos de interação e dirigido por casos de uso Documento
-
Reuso especulativo de traços com instruções de acesso à memória Documento
-
Risco - Microprocessador RISC CMOS de 32 bits Documento
-
Robust point-cloud registration based on dense point matching and probabilistic modeling Documento
-
Rollback Support in IT Change Management Systems. Documento
-
Roteamento sobre Células Transparentes Documento
-
Rumo a um Ambiente para Prototipação Sonora Cooperativa na Web Documento
-
Running Wheel : proposta e análise de um exergame motivacional para corrida Documento
-
S-Chart : um arcabouço para interpretação visual de gráficos Documento
-
SAACI : sistema de apoio à aprendizagem colaborativa na internet Documento
-
SACAM : UM SISTEMA DE APROPRIAÇÃO, COMUTAÇÃO E ARMAZENAMENTO DE MENSAGENS Documento
-
SADA Sistema Virtual de Ensino com Análise de Desempenho e Aplicação de Avaliações na Web. Documento
-
SAFO - Sistema Agregador de Ferramentas de Operação de rede Documento
-
SAGRES : um sistema com apresentação adaptável de informações e suporte à interação em grupo Documento
-
SAM: um sistema adaptativo para transmissão e recepção de sinais multimídia em redes de computadores Documento
-
SDAHP:Uma Metodologia de Apoio a Implantação da Computação Distribuída Documento
-
SDEFIX: Gerenciando fluxos elefantes em pontos de troca de tráfego baseados em redes definidas por software Documento
-
SDIP : Um Ambiente Inteligente para a Localização de Informações na InterNet Documento
-
SEE - Sistema Emissor de Estatísticas Documento
-
SES : sistema de extração semântica de informações Documento
-
SEt-Sertification-Uma Ferramenta para Obtenção de Certificados Digitais Baseada no Padrão SET Documento
-
SGC - Um Ambiente para Automação de Teste e Caracterização Elétrica Documento
-
SHInE: Software and Hardware Integrated Testing for Embedded Microprocessor: Reusando casos de teste de software para teste de microprocessador embarcado Documento
-
SHInE: Software and Hardware Integrated Testing for Embedded Microprocessor: Reusando casos de teste de software para teste de microprocessador embarcado. Documento
-
SILEX - Estação de Trabalho para a Microeletrônica Documento
-
SIRI - Sistema de Recuperação de Informações Documento
-
SISTEMA DE ENSINO POR TERMINAL Documento
-
SISTEMA INTELIGENTE COM CASSETE E SELETRIC. Documento
-
SOFTWARE NUMÉRICO: APLICATIVO E INSTRUCIONAL Documento
-
SOMBRA: Um Sistema Operacional Multiusuário Documento
-
SONIX-UM SISTEMA OPERACIONAL MULTIUSUARIO ESCRITO EM PASCAL CONCORRENE Documento
-
SPA - um sistema para animação modelada Documento
-
SPLN - Um Sistema de Linguagem Natural Para Recuperação de Informação em Banco de Dados Documento
-
STEP : planejamento, geração e seleção de auto-teste on-line para processadores embarcados Documento
-
SaSML : a UML based domain specific modeling language for self adaptive systems conceptual modeling Documento
-
Segmentação de Imagens Ecocardiográficas Fetais Utilizando Redes Neurais e Medidas de Textura Documento
-
Segmentação de lesões melanocíticas usando uma abordagem baseada no aprendizado de dicionários. Documento
-
Segmentação de movimento coerente aplicada à codificação de vídeos baseada em objetos Documento
-
Segurança Digital no Ambiente Corporativo. Documento
-
Segurança em Gerenciamento de Redes Baseado em Web Services. Documento
-
Selection in 2D and 3D Environments with Levels of Precision and Progressive Refinement Documento
-
Semantics for an Algebraic Specification Language Documento
-
Semântica e uma Ferramenta para o Método SADT Documento
-
Semântica formal para TVQL Documento
-
Sensibilidade à situação em ambientes de vivência assistida : uma abordagem reativa, proativa e extensível Documento
-
Sensibilidade à situação em sistemas educacionais na web Documento
-
Sequencing operator counts with state-space search Documento
-
Service Restoration and Switch Allocation in Power Documento
-
Service restoration and switch allocation in power distribution networks : bounds and algorithms Documento
-
Servidor de Arquivos para Formulários Eletrônicos Documento
-
Servidores de Arquivos Duplicados em Rede Local com Ambiente UNIX Documento
-
Serviços Básicos para Facilitar o Consumo de Informação num Ambiente de Rede Documento
-
Serviços de Rede para Apoiar um Centro de Ensino Remoto Documento
-
Serviços para auxiliar decisão mediante incerteza Documento
-
Set-f : um framework para sistemas de transações eletrônicas seguras baseado no padrão set Documento
-
Shadow Mapping com múltiplos valores de profundidade Documento
-
Simula - ambiente para o desenvolvimento de sistemas multiagentes reativos Documento
-
Simulacao de Objetos Deformaveis Baseada Na Analise Dinamica Documento
-
Simulating Low-Order Aberrations and Accommodation of the Human Eye using Wave Optics and Light-Gathering Trees Documento
-
Simulação Distribuída de Sistemas Digitais Documento
-
Simulação de Fenômenos Naturias Através de Traçado de Raios Usando Height Fields Documento
-
Simulação de Videoconferência Através de Técnicas de Simulação por Eventos Discretos. Documento
-
Simulação de uso do solo urbano utilizando uma abordagem baseada em Sistemas Multiagentes Reativos. Documento
-
Simulação do protocolo de adaptação ATM tipo 2 (AAL2) Documento
-
Simulação e Modelagem da Articulação Tempromandibular Documento
-
Simulação paralela de eventos discretos com memória compartilhada distribuída Documento
-
Simulação paralela de eventos discretos com uso de memória compartilhada
distribuida Documento
-
Simulações para Análise de Desempenho de Processadores Superescalares e Ensino de Arquitetura de Computadores Documento
-
Sintese de uma Memoria Cache Documento
-
Sistema Aldeia: Programação Paralela e Distribuída sobre Infiniband e DECK Documento
-
Sistema Audiovisual para Análise de Solfejo Documento
-
Sistema Gráfico Interativo para o Projeto de Peças Mecânicas Documento
-
Sistema Hipermídia para Apoio às Relações Espaço-Temporal e Lateralidade Baseado em Hiperhistórias Documento
-
Sistema Imunológico Artificial para Predição de Fraudes e Furtos de Energia Elétrica Documento
-
Sistema Inteligente para Controle de Processos Documento
-
Sistema Macro Documento
-
Sistema Multiagente para Simulação de Performances Rítmicas em Violão Documento
-
Sistema de Animação de Corpos Articulados Baseado em Dinâmica Documento
-
Sistema de Aquisição de Dados com Computador PDP 11/10 Documento
-
Sistema de Controle de Consumo para Redes de Computadores. Documento
-
Sistema de Gerência de Energia para Redes Locais. Documento
-
Sistema de Processamento Distribuído: Análise de custo e desempnho Documento
-
Sistema de Reconhecimento de Locutor Utilizando Redes Neurais Artificial Documento
-
Sistema de Solução de Problemas Cooperativos, um Estudo de Caso Documento
-
Sistema de Visualização do Interior de Objetos com Estruturas Internas para Simulação de Cirurgias Documento
-
Sistema de detecção de intrusão baseado em métodos estatísticos para análise de comportamento Documento
-
Sistema de recomendação para bibliotecas digitais sob a perspectiva da web semântica Documento
-
Sistema embarcado para a manutenção inteligente de atuadores elétricos Documento
-
Sistema gerenciador de documentação de projeto Documento
-
Sistema interativo de gerência de questões para avaliações em ambientes WBT Documento
-
Sistemas de Transformação de Grafos Transacionais Documento
-
Sistemas de informação de escritórios : um modelo para especificações temporais Documento
-
Smart Visible Sets for Networked Virtual Environments Documento
-
Smoothed Analysis in Nash Equilibria and the Price of Anarchy Documento
-
Sobre a estatística de dados bibliográficos em grupos de pesquisadores: universalidade e avaliação Documento
-
Sobre estatística de dados bibliométricos em grupos de pesquisadores : universalidade e avaliação Documento
-
Soft IP para Criptografia Usando o Algoritmo Rijndael e Implementação em Lógica Programável Documento
-
Software Profile RAS : estendendo a padronização do Reusable Asset Specification e construindo um repositório de ativos Documento
-
Software Tolerante A Falhas Para Aplicações Tempo Real Documento
-
Software performance estimation in MPSoC design Documento
-
Software-only Computation Reuse Techniques for Energy Efficient CNNs Documento
-
Solution methods for a maritime inventory routing problem Documento
-
Solução Baseada em Gerenciamento de Processos de Negócios para Circuitos Virtuais Inter-domínio Documento
-
Solução de Equações Intervalares Documento
-
Soluções Reutilizáveis para a Implementação de Mecanismos de Controle de Atomicidade .em Programas Tolerantes a Falhas Documento
-
Soluções reutilizáveis para a implementação de mecanismos de controle de atomicidade em programas tolerantes a falhas Documento
-
Solving moving-blocks problems Documento
-
Some Visualization Models applied to the Analysis of Parallel Applications Documento
-
Source code optimizations to reduce multi core and many core performance bottlenecks Documento
-
Statistical Yield Analysis at Electrical Level Using Error Propagation and Numerical Derivatives Documento
-
Statistical Yield Analysis at Electrical Level Using Error Propagation and Numerical Derivatives Documento
-
Stochastic Methods for Image Segmentation Based on Stochastic Superpixels Documento
-
Strategies for Embedded Software Development based on High-level Models Documento
-
Structuring general and complete quantum computations in Haskell : the arrows approach Documento
-
Study of the audio coding algorithm of the MPEG-4 AAC standard and comparison among implementations of algorithm modules Documento
-
Sumarização de Vídeos de Histeroscopias Diagnósticas Documento
-
Sumarização e Análise de Vídeos de Histeroscopias Documento
-
Suporte Linguistico Para Migracao de Agentes Documento
-
Suporte a Argumentos de Consulta Vagos Através da XPath Documento
-
Suporte a Consultas Temporais por Palavras-chave em Documentos XML Documento
-
Suporte a consultas no ambiente temporal de versões Documento
-
Suporte a cooperação em sistemas de gerenciamento de redes utilizando tecnologias peer-to-peer Documento
-
Suporte a cooperação para projetos de atividades artísticas: os mecanismos cooperativos do ambiente CODES Documento
-
Suporte a cooperação para projetos de atividades artísticas:os mecanismos cooperativos do ambiente CODES Documento
-
Suporte ao desenvolvimento e uso de frameworks e componentes Documento
-
Suporte par-a-par e resistente à trapaça para jogos online maciçamente multijogador Documento
-
Suporte para a criatividade musical cotidiana : mixDroid Segunda Geração Documento
-
Suporte à Reengenharia de Processos de Negócios com base em Sistemas de Workflow Documento
-
Supporting Feature Model Con guration based on Multi-Stakeholder Preferences Documento
-
Supporting the Design of Custom Static Node-Link Graph Visualizations Documento
-
Survivor: Estratégias de Posicionamento de Controladores Orientadas à Sobrevivência em Redes Definidas por Software Documento
-
Síntese Global Multinível: Estudo Prototipação e Análise Documento
-
Síntese de Alto Nível a Partir de VHDL Comportamental Documento
-
Síntese de Circuitos Combinacionais Baseada em Diagramas de Decisão Binária Documento
-
Síntese de Fotografias e Vídeos com Depth-Image-Based Rendering Documento
-
Síntese de Vistas com Depth-Image-Based Rendering (DIBR) Documento
-
Síntese de circuitos estruturados compostos por blocos lógicos básicos Documento
-
T&D-Bench - Explorando o Espaço de Projeto de Processadores em Ensino e em Pesquisa Documento
-
TECNICAS DIAGRAMATICAS PARA DESENVOLVIMENTO DE SOFTWARE ORIENTADO A OBJETOS Documento
-
TENTOS for MS-Windows - Um Gerenciador de Ferramentas para Microeletrônica Documento
-
TRACTS: Um método para a classificação de trajetórias de objetos móveis usando séries temporais Documento
-
TRAGO - Gerador de Leiaute para o projeto TRANCA Documento
-
TRANSILAGEM DE GRANEIS: CONTROLE DE PROCESSOS EM TEMO REAL Documento
-
TRAPP: Uma ferramenta para patricionamento/posicionamento de células para a metodologia TRANCA Documento
-
TRIX - Um Sistema Operacional Multiprocessado para Transputers Documento
-
TVMSE : uma implementação do versionamento de esquemas segundo o modelo TVM Documento
-
TWProxy : uma ferramenta de teamwork para ambientes dinâmicos com requisitos de tempo-real Documento
-
Taming NFV Orchestration using Decentralised Cognitive Components Documento
-
Technology Mapping for Virtual Libraries Base on DAGs Documento
-
Technology Mapping for Virtual Libraries Based on Cells with Minimal Transistor Stacks Documento
-
Telepresença com Realidade Virtual para Gerenciamento de Redes Documento
-
Tempos de Comunicação em Multiprocessadores Documento
-
Test Logic and Scheduling for Testing Mesh-Based Best-Effort Networks-on-Chip Documento
-
Teste Cooperativo de Software Documento
-
Teste Cooperativo de Software. Documento
-
Teste Integrado de Software e Hardware: Reusando Casos de Testes de Software em um Microprocessador Embarcado Documento
-
Tfps - Um Sistema de Pré-Processamento de Traces Para Auxiliar Na Visualização de Programas Paralelos. Documento
-
The Transactional HW/SW Stack for Fault Tolerant Embedded Computing Documento
-
The impact of social context in social problem solving Documento
-
The mechanochemical basis of pattern formation Documento
-
The pickup and delivery problem with time windows : algorithms, instances, and solutions Documento
-
TiPS, Uma Proposta de Escalonamento Direcionada à Computação Pervasiva Documento
-
Timing Vulnerability Factor Analysis in Master-Slave D Flip-Flops Documento
-
Tolerância a Falhas e Reflexão Computacional em um Ambiente Distribuído Documento
-
Tone Mapping Reverso de Alta Qualidade para uma Ampla Gama de Exposições Documento
-
Topologias de Interconexão de Processadores: Funções para Análise Documento
-
Toward cost-efficient Dos-resilient virtual networks with ORE : opportunistic resilience embedding Documento
-
Towards Completely Automatized HTML Form Discovery on the Web Documento
-
Towards Effective Geographic Ontology Semantic Similarity Assessment Documento
-
Towards Geographic Ontology Semantic Similarity Assessment Documento
-
Towards Reverse Engineering of Industrial Site Plants Documento
-
Towards a Dynamic Interconnection Ecosystem for Improved Wide-area Traffic Delivery Documento
-
Transactional Memory Scheduling using Code Profiling Documento
-
Transactional graph transformation systems Documento
-
Transdutor Inductosyn Documento
-
Transformação e Reescrita no Processamento de Consultas do Sistema Krisys Documento
-
Transições Síncronas, Lógica Temporal e VHDL Documento
-
Transparent Reconfigurable Accelerator for Heterogeneous Behavior Systems Documento
-
Transparent Reconfigurable Architecture for Heterogeneous Applications Documento
-
Transposição de Algoritmos Genéticos para Programação Simbólica Documento
-
Tratamento de Conflitos e Detecção de Deltas em Atualização através de Visões XML Documento
-
Tratamento de Conflitos e Detecção de Deltas em Atualizações através de Visões XML Documento
-
Tratamento de versões em um ambiente de PAC para sistemas digitais Documento
-
Tratando Frameworks como Componentes. Documento
-
Troca dinâmica de versões de componentes de programas no modelo de objetos Documento
-
Trust-based Application Grouping for Cloud Datacenters: improving security in shared infrastructures. Documento
-
Técnicas de Depuração Inteligente Aplicadas à Linguagem PROLOG Documento
-
Técnicas de Detecção de Sniffers Documento
-
Técnicas de Incorporação de Controle de Acesso à Luz Solar em Modelos Computacionais de Edificações. Documento
-
Técnicas de Modelagem de Workflow Aplicadas a Autoria e Tutoria de Cursos a Distância Documento
-
Técnicas de Modelagem de Workflow Aplicadas à Autoria e Execução de Cursos de Ensino a Distância. Documento
-
Técnicas de Redução de Potência Estática em Memórias CMOS SRAM e Aplicação da Associação de MOSFETs tipo TST em nano-CMOS. Documento
-
Técnicas de Visualização e Gerenciamento de Informações em Banco de Dados de Biodiversidade. Documento
-
Técnicas de agrupamento de dados para computação aproximativa Documento
-
Técnicas para o Projeto de Hardware Criptográfico Tolerante a Falhas. Documento
-
UM ALGORITMO PARA INTERPOLACAO DE FORMAS ENTRE OBJETOS MODELADOS POR SUPERFICIES SPLINE Documento
-
UM ESQUEMA COMPILATIVO PARA LINGUAGENS DE OPERACAO DE BANCO DE DADOS. Documento
-
UM ESTUDO SOBRE PROCESSAMENTO ADAPTATIVO DE SINAIS UTILIZANDO REDES NEURAIS Documento
-
UM ESTUDO SOBRE RESOLUCAO DE OPERACOES DE CONSULTA A BANCO DE DADOS. Documento
-
UM FRAMEWORK PARA GERACAO DE INTERFACE HOMEM/MAQUINA PARA CONTROLE DE PROCESSOS Documento
-
UM GERADOR DE VISÕES XML EM RXL PARA DADOS SEMI-ESTRUTURADOS Documento
-
UM MODELO DE DADOS PARA SISTEMA DE PROJETO Documento
-
UM SISTEMA DE GERENCIAMENTO DE HIPERDOCUMENTOS PARA AMBIENTES DE DESENVOLVIMENTO DE SOFTWARE Documento
-
UMA ABORDAGEM CATEGÓRICA À TEORIA DAS MÁQUINAS SEQÜENCIAIS Documento
-
UbiPri : middleware para controle e gerenciamento de privacidade em ambientes ubíquos Documento
-
Um Agente Para Localização e Organização de Informações Documento
-
Um Agente para Seleção de estratégias de Ensino em Ambientes Educacionais na Internet Documento
-
Um Algoritmo Formal para Remoção de Redundâncias Documento
-
Um Algoritmo Genético de Chaves Aleatórias Viciadas para o Problema de Atracamento Molecular Documento
-
Um Algoritmo de Criptografia de Chave Pública Semanticamente Seguro Baseado em Curvas Elípticas. Documento
-
Um Algoritmo para Indução de Árvores e Regras de Decisão. Documento
-
Um Ambiente Expert para Apoio ao Desenvolvimento de Software Documento
-
Um Ambiente Virtual Multimidia de Ensino na Web, com Transmissão ao Vivo e Interatividade Documento
-
Um Ambiente de Especificação para Aplicações destinadas ao Comercio Eletrônico Documento
-
Um Ambiente de Evolução de Comportamentos para Sistemas Multiagentes Reativos Documento
-
Um Ambiente para a Integração de Sistemas de Animação Documento
-
Um Ambiente para a Interação de Agentes na Internet. Documento
-
Um Assistente de Feedback para o Serviço de Mensagem do Software Direto Documento
-
Um Compilador para a Linguagem RS Distribuida Documento
-
Um Discriminador Inteligente de Eventos de Redes para o Ambiente CINEMA Documento
-
Um Editor Diagramatico Generalizados Documento
-
Um Editor de Esquemáticos Hierárquico voltado à Colaboração. Documento
-
Um Estudante Simulado para Atuação em Ambientes Multiagente de Aprendizagem em Redes Bayesianas Documento
-
Um Estudo Aplicado a Rádios Virtuais para a Associação de Mídias Alternativas a Informações em Áudio. Documento
-
Um Estudo Comparativo de Ferramentas de Descoberta de Conhecimento em Texto: A Análise de Amazônia. Documento
-
Um Estudo Sobre Descoberta de Conhecimento para Banco de Dados Documento
-
Um Estudo Sobre O Comportamento de Sistemas Digitais Documento
-
Um Estudo de Algoritmos para Minimização Booleana e Codificação de Estados Documento
-
Um Estudo de Implementação da Linguagem Pascal no Computador B-6700 Documento
-
Um Estudo de Metodologia para Criação de um Deposito de Dados Documento
-
Um Estudo de Técnicas de Aceleração para Algoritmos de Análise de Timing Funcional baseados em Geração Automática de Teste Documento
-
Um Estudo de coordenação dinâmica de agentes aplicado ao gerenciamento de tráfego veicular urbano Documento
-
Um Estudo dos Efeitos Organizacionais e Sociais da Utilização da Tecnologia Groupware Lotus Notes na Administração Pública do Estado do Paraná.. Documento
-
Um Estudo sobre Alocação de Arquivos em Bancos de Dados Distribuídos Documento
-
Um Estudo sobre Modelos Conceituais para Ferramentas de Definição de Processos de Workflow Documento
-
Um Estudo sobre Multimicroprocessamento Documento
-
Um Estudo sobre a Performance de Aplicações Big Data em Ambientes de Névoa e de Borda Documento
-
Um Estudo sobre a Regulação das Relações entre Jogadores Utilizando a Teoria dos Jogos Documento
-
Um Estudo sobre a Repartição do Conhecimento em Sistemas Multiagentes Documento
-
Um Extrator Hierárquico de Circuitos Documento
-
Um Framework Conceitual para Inserção de Dados de Rocha em Modelos de Reservatório Documento
-
Um Framework de Agenda de Tarefas para Gerenciadores de Processos Documento
-
Um Framework para Construção de Compiladores para Linguagens de Programação Orientadas a Objetos Documento
-
Um Framework para construção de aplicações OO sobre SGBD relacional Documento
-
Um Gerenciador de Processos de Desenvolvimento de Software para o Ambiente PROSOFT Documento
-
Um Mecanismo Abstrato de Autoadaptação para Sistemas de Sensoriamento Urbano Documento
-
Um Mecanismo Construtivista para Aprendizagem de Antecipações em Agentes Artificiais Situados Documento
-
Um Mecanismo de Gerência de Trabalho Cooperativo para o Ambiente de Projeto STAR Documento
-
Um Mecanismo de Notificação e Propagação de Mudanças para um Modelo de Versões. Documento
-
Um Mecanismo de Realimentação de Relevâncias Para Recuperação de Informações Visuais Utilizando Feições Extraídas a Partir de Imagens JPEG. Documento
-
Um Mecanismo de Realimentação de Relevâncias para Recuperação de Informações Visuais Utilizando Feições Extratídas a partir de Imagens JPEG Documento
-
Um Metamodelo UML para a Modelagem de Requisitos em Projetos de Sistemas MultiAgentes Documento
-
Um Metamodelo da Linguagem de Modelagem Real Time UML para Suporte a Criação de Dicionário de Dados para Ferramentas de Modelagem de Sistema de Tempo Real Visando a Verificação de Consistência dos Modelos . Documento
-
Um Microprocessador com Capacidades Analógicas Documento
-
Um Middleware reflexivo para apoiar o desenvolvimento de aplicações com requisitos de segurança Documento
-
Um Modelo Canonico de Ferramenta para Desenvolvimentode Interfaces com o Usuario. Documento
-
Um Modelo Categorizador Intervalar n-Dimensional com L-Camadas Baseado em Tesselacoes Documento
-
Um Modelo Formal e Executável de Agentes BDI Documento
-
Um Modelo Para Linguagens Orientadas A Objetos Distribuído. Documento
-
Um Modelo de Dados de Referência para a Gestão da Produção ETO Documento
-
Um Modelo de Educação Ubíqua Orientado à Consciência do Contexto do Aprendiz. Documento
-
Um Modelo de Estruturação de Requisitos para o Método Fusion. Documento
-
Um Modelo de Evolução de Esquemas Conceituais para Bancos de Dados Orientados a Objetos com o Emprego de Versões Documento
-
Um Modelo de Fusão de Rankings Baseado na Análise de Preferência Documento
-
Um Modelo de Gerenciamento de Versões para Evolução de Data Warehouses Documento
-
Um Modelo de Paralelismo de Grão Fino para Objetos Distribuídos Documento
-
Um Modelo de Qualidade para Caracterização e Seleção de Bancos de Dados de Biologia Molecular Documento
-
Um Modelo de Replicação em Ambientes que Suportam Mobilidade. Documento
-
Um Modelo de Simulador para Ambientes de Desenvolvimento de Processos de Software Utilizando a Análise da Sensibilidade Documento
-
Um Modelo de Simulção de Procesos de Software Baseado em Conhecimento para o Ambiente PROSOFT Documento
-
Um Modelo de Sistema AVA-SMA orientado a Legislação Documento
-
Um Modelo de Sistema Distribuído e Proposta de Kernel para a REDURGS Documento
-
Um Modelo de metadados para a indexação e recuperação de imagens médicas na web Documento
-
Um Modelo do Aluno Adaptativo para Sistemas na WEB Documento
-
Um Modelo hierárquico baseado em políticas para o gerenciamento integrado de redes de computadores e grids computacionais Documento
-
Um Modelo para Evolução de Esquemas em Bancos de Dados Orientados a Objetos Usando Versões e Operações Complexas Documento
-
Um Modelo para Implentação de Video sob Demanda em Ambientes Corporativos Documento
-
Um Modelo para Processo de Curso Documento
-
Um Modelo para Videoconferência em Computador Pessoal sobre Redes IP. Documento
-
Um Modelo para a Representação de Atividades em Aplicações de Escritórios Documento
-
Um Método de Programação Concorrente no Sistema DEC-10 Documento
-
Um Método de Trabalho para Auxiliar a Definição de Requisitos Documento
-
Um Método para Abordar todo o Ciclo de Desenvolvimento de Aplicações Tempo Real Documento
-
Um Método para Descoberta Semi-Automática de Processos de Negócio Codificados em Sistemas Legados. Documento
-
Um Paradigma Orientado a Análise de Performance de Redes de Pacotes Documento
-
Um Protocolo de Perfil Lite para Colaboração Visual que utiliza Transferência de Arquivos com T. 127 Documento
-
Um Protótipo de Sistema Especialista para Projeto Lógico de Blocos Operacionais de Circuitos Digitais Documento
-
Um Serviço de Geração de Metadados Compatível com o Padrão OAI para o Sistema JEMS. Documento
-
Um Sistema Digital Monolítico para a Implementação de um Algoritmo de Equalização Adaptativa Documento
-
Um Sistema Editor de Textos Documento
-
Um Sistema Multiagente para o Simulador Soccer Server Documento
-
Um Sistema Neuro-Simbólico para Representação de Conhecimento Temporal Documento
-
Um Sistema Seguro Para Votações Digitais Documento
-
Um Sistema de Apoio a Gerência de Redes Locais Documento
-
Um Sistema de Informações para Computadores de Pequeno Porte Documento
-
Um Sistema de Modelamento de Objetos Funcionais Documento
-
Um Sistema de Revisão de Crenças para Resolução de Problemas Documento
-
Um Sistema de Síntese de Fala Através da Técnica de Concatenação de Sílabas Documento
-
Um Sistema de alertas inteligentes para ambientes de ensino na internet Documento
-
Um Sistema multiagente para o Simulador Soccerserver Documento
-
Um Sistema para Armazenamento e Recuperação de Dados em Minicomputador Documento
-
Um Sistema para Controle de Uso de Material Didatico a Distância. Documento
-
Um Sistema para Monitoração de Redes IP Baseado em Políticas. Documento
-
Um Sistema para aprendizagem de demonstrações dedutivas em geometria euclidiana Documento
-
Um algoritmo de criptografia de chave pública semanticamente seguro baseado em curvas elípticas Documento
-
Um algoritmo distribuído para resolução do problema de geração de estruturas de coalizão com presença de externalidades Documento
-
Um algoritmo multimemético auto-adaptativo para o problema de atracamento molecular Documento
-
Um ambiente integrado de simulação de sistemas digitais. Documento
-
Um ambiente para descrição de cenários detalhados de falhas Documento
-
Um ambiente para exploração de paralelismo na programação em lógica Documento
-
Um ambiente para suporte à simulação de sistemas de tráfego urbano Documento
-
Um ambiente virtual multimídia de ensino na Web com transmissão ao vivo e interatividade Documento
-
Um arcabouço cognitivamente inspirado para representação de conhecimento e raciocínio Documento
-
Um assistente de feedback para o serviço de filtragem do software direto Documento
-
Um depurador inteligente para programas prolog Documento
-
Um estudo comparativo entre semântica de Montague e semântica de linguagens de programação: a noção de intensão. Documento
-
Um estudo preliminar e uma experiência na integração entre a concepção formal de sistemas e a construção de programas Documento
-
Um estudo sobre Agrupamento de Documentos Textuais em Processamento de Informacoes nao Estruturadas Usando Tecnicas de Clustering Documento
-
Um estudo sobre Sistemas de Informações Hipermídia ? caso particular da Assembléia Legislativa do Rio Grande do Sul Documento
-
Um estudo sobre objetos com comportamento inteligente Documento
-
Um estudo sobre os métodos e processos envolvidos na visao computacional bidimensional Documento
-
Um estudo sobre reconhecimento visual de caracteres através de redes neurais Documento
-
Um estudo sobre redes de comunicacao de dados Documento
-
Um framework de Mapeamento de ODMG para SGBD Objeto/Relacional Documento
-
Um gerador interativo de editores gráficos de sistemas digitais Documento
-
Um gerenciador automático para projetos de sistemas digitais Documento
-
Um injetor de erros aplicado à avaliação de desempenho do codificador de canal em redes IEEE 802.16 Documento
-
Um meta esquema para especificação do Modelo Temporal de Versões em XML Documento
-
Um middleware para Internet das Coisas com suporte ao processamento distribuído do contexto Documento
-
Um modelo de conhecimento baseado em eventos para aquisição e representação de sequências temporais Documento
-
Um modelo de gerência de configuração de redes locais Documento
-
Um modelo de implementação do capability maturity model integration nível 2 Documento
-
Um modelo de pontuação na busca de competências acadêmicas de pesquisadores Documento
-
Um modelo de replicação em ambientes que permitem mobilidade de objetos Documento
-
Um modelo hierárquico para sistemas de tipos de arquivos implementado como um middleware Documento
-
Um modelo neural de aprimoramento progressivo para redução de dimensionalidade Documento
-
Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados Documento
-
Um modelo para a descoberta de QoS em redes de computadores Documento
-
Um modelo para a implementação de vídeo sob demanda em ambientes corporativos Documento
-
Um monitor de transações de serviços internet Documento
-
Um método biobjetivo de alocação de tráfego para veículos convencionais e elétricos. Documento
-
Um método de modelagem de sistemas computacionais baseada em gramáticas de grafos Documento
-
Um método para deduplicação de metadados bibliográficos baseado no empilhamento de classificadores Documento
-
Um método projetivo para cálculo de dimensões de caixas em tempo real Documento
-
Um papel para a lógica operatória de Jean Piaget na representação do conhecimento do senso comum Documento
-
Um perfil UML para modelagem do mapeamento objeto relacional com JPA em uma abordagem dirigida por modelos Documento
-
Um processo auto-documentável para geração de ontologias de domínio para dados semi-estruturados Documento
-
Um protótipo de sistema especialista para identificação e classificação de turbiditos Documento
-
Um pré-processador de álgebra relacional para COBOL Documento
-
Um sistema baseado em agentes para re-anotação de genomas Documento
-
Um sistema baseado em conhecimento para fechamento de balanço de massa na produção de celulose Documento
-
Um sistema de comunicação para uma rede local de microcomputadores Documento
-
Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento Documento
-
Um sistema de transferência de mensagens distribuído Documento
-
Um sistema de valores de troca para suporte às interações em sociedades artificiais Documento
-
Um sistema especialista conexionista híbrido Documento
-
Um sistema operacional e primitivas de entrada e saída para um sistema de gerência de banco de dados Documento
-
Um sistema para instrução assistida por computador em inteligência artificial Documento
-
Um verificador seguro de integridade de arquivos Documento
-
Uma Abordagem Alternativa para o Equilíbrio em Sistemas Multiagentes Baseados em Valores de Troca Documento
-
Uma Abordagem Baseada em Ontologias para a Interoperabilidade entre Agentes Heterogeneos Documento
-
Uma Abordagem Incremental para Mineração de Processos de Negócio Documento
-
Uma Abordagem Multiagente para Sistemas Musicais Interativos Documento
-
Uma Abordagem Multiagentes para Dinamica de Pedestres Documento
-
Uma Abordagem Semiautomática para Identificação de Elementos de Processo de Negócio em Texto em Linguagem Natural Documento
-
Uma Abordagem baseada em Aspectos Topológicos para Expansão de Redes Físicas no contexto de Virtualização de Redes Documento
-
Uma Abordagem de Escalonamento Adaptativo no Ambiente Real-Time CORBA. Documento
-
Uma Abordagem de Integração de Fontes Heterogêneas de Informação Baseada em uma Hierarquia de Generalização/Especialização de Mediadores. Documento
-
Uma Abordagem para Promover Reuso e Processamento de Inferências em Ontologias de Metadados Educacionais Documento
-
Uma Análise Introdutória da Realidade Virtual Documento
-
Uma Análise de Aplicação de Técnicas da Psicologia para a Elicitação de Requisitos de Software Documento
-
Uma Arquitetura Aberta para a Integração de Sistemas de Gerência de Documentos e Sistemas de Gerência de Workflow Documento
-
Uma Arquitetura Baseada em Sistemas Multiagentes para Simulações em Geoprossamento Documento
-
Uma Arquitetura Reflexiva Baseada na Web para Ambiente de Suporte a Processo Documento
-
Uma Arquitetura de Correlação de Notificações Baseada em Web Services e Políticas Documento
-
Uma Arquitetura para Comércio Eletrônico Através de Catálogos Eletrônicos. Documento
-
Uma Arquitetura para Controle e Proteção de Direitos Autorais de Hiperdocumentos na Internet Documento
-
Uma Arquitetura para Provimento de Ciência de Situação Direcionada às Aplicações Ubíquas na Infraestrutura da Internet das Coisas Documento
-
Uma Arquitetura para Substituição Automática de Políticas em Sistemas PBNM Documento
-
Uma Arquitetuta de Escalonamento Hierárquica para Transmissões uplink em Redes IEEE 802.16e Baseadas em OFDMA Documento
-
Uma Avaliacao de Abordagens Alternativas para Armazenar RDF em Banco de Dados Relacional Documento
-
Uma Biblioteca de Objetos de Processo para Construção de Sistemas Especialistas para Diagnóstico de Alarmes em Indústrias de Processo Documento
-
Uma Enciclopédia para Ambientes Distribuídos de Desenvolvimento de Software. Documento
-
Uma Estratégia Genérica para Casamento Aproximado de Instâncias Documento
-
Uma Estratégia baseada em Programação Orientada a Aspectos para Injeção de Falhas de Comunicação Documento
-
Uma Estrutura para Desenvolvimento e Gerenciamento de Software Reusável para Sistemas de Informação. Documento
-
Uma Extensão da Linguagem RS para o Desenvolvimento de Sistemas Reativos Baseados na Arquitetura de Subsunção Documento
-
Uma Ferramenta Multiplataforma para Prevenção de Buffer Overflow Documento
-
Uma Ferramenta Peer-to-Peer para Gerenciamento Cooperativo de Redes. Documento
-
Uma Ferramenta de Escalonamento para o DPC++. Documento
-
Uma Ferramenta de Prototipação de Software para o Ambiente PROSOFT Documento
-
Uma Ferramenta para Análise de Protocolos Especificados em SDL Documento
-
Uma Ferramenta para Automação da Geração do Leiaute de Circuitos Analógicos sobre uma Matriz de Transistores Pré-Difundidos Documento
-
Uma Ferramenta para Auxiliar a Avaliação de Textos Construídos Colaborativamente em Ambientes de Ensino-aprendizagem Documento
-
Uma Ferramenta para Auxiliar o Professor no Ensino à Distância. Documento
-
Uma Ferramenta para Auxílio no Gerenciamento de Redes com Backbone ATM Documento
-
Uma Infraestrutura para controle de versões e adaptação de páginas Web Documento
-
Uma Infraestrutura para o Design da Interação Musical com Dispositivos Móveis Cotidianos Documento
-
Uma Interface Visual para Modelos de Banco de Dados Orientados a Objetos com Suporte para o Modelo de Versões Documento
-
Uma Introducao à Teoria das Categorias e sua Aplicacao à Ciência da Computacão Documento
-
Uma Linguagem Gráfica de Definição de Dados para um Modelo E-R Estendido Documento
-
Uma Linguagem Visual para Elaboração da Previsão do Tempo Documento
-
Uma Linguagm Visual para Especificação de projetos de Automação Industrial Documento
-
Uma Metodologia de Modelagem de Sistemas Computacionais Baseada em Gramáticas de Grafos Documento
-
Uma Metodologia para Computação com DNA Documento
-
Uma Metodologia para o Desenvolvimento de Compiladores Documento
-
Uma Micro-Arquitetura de Reuso de Comportamento de Associações Documento
-
Uma Método de Refatoração para Modularização de Interesses Transversais Documento
-
Uma Plataforma Orientada a Agentes para o Desenvolvimento de Software para Veículos Aéreos Não-Tripulados Documento
-
Uma Plataforma para a Monitoração de Malhas BGP Documento
-
Uma Poposta para Gerenciamento de QoS em Redes IEEE802.16 Documento
-
Uma Proposta Para Exploração de Ambientes Desconhecidos Por Sistemas Robóticos Adaptativos Documento
-
Uma Proposta de Apoio para Decisões de Grupo no Ambiente Prosoft. Documento
-
Uma Proposta de Arquitetura de Linha de Produtos para Sistemas de Gerenciamento de Workflow Documento
-
Uma Proposta de Arquitetura de um Ambiente de Desenvolvimento de Software Distribuído Baseada em Agentes. Documento
-
Uma Proposta de Arquitetura para Editores Diagramáticos com Funcionalidade de Execução Documento
-
Uma Proposta de Autenticação de Usuários para Ensino à Distância. Documento
-
Uma Proposta de Distribuicao do Servidor de Arquivos em Clusters Documento
-
Uma Proposta de Escalonamento Distribuído para a Exploração do Paralelismo na Programação em Lógica Documento
-
Uma Proposta de Especificação Formal e Fundamentação Teórica para Simulated Annealing. Documento
-
Uma Proposta de Modelagem de Conhecimento Sobre Glaucoma por um Sistema Híbrido Neuro-Fuzzy Documento
-
Uma Proposta de Modelagem de Usuários para Interfaces Inteligentes Documento
-
Uma Proposta de Modelo Fisiológico de Emoções Documento
-
Uma Proposta de Otimização no Processo de Integração Entre Redes Infra-Estruturadas e MANET´s Documento
-
Uma Proposta de Otimização no Processo de Integração entre Redes Intra-Estruturadas e MANET´s Documento
-
Uma Proposta de Uso da Arquitetura Trace como um Sistema de Detecção de Intrusão. Documento
-
Uma Proposta para Medição de Complexidade e Estimação de Custos de Segurança em Procedimentos de Tecnologia da Informação Documento
-
Uma Rede Neural Auto-Organizável Construtiva para Aprendizado Perpétuo de Padrões Espaço-Temporais Documento
-
Uma Rede Neural para o Reconhecimento de Sequências Documento
-
Uma Representação Construtiva Global para Sistemas Ordenados de Segunda Ordem em Espaços Coerentes Bi-Estruturados, com aplicação em Matemática Intervalar Documento
-
Uma Semântica Axiomática para DSL - uma Linguagem para Descrição de Hardware Documento
-
Uma Solução baseada em SNMP para Gerenciamento de Dispositivos de Redes com Suporte à Virtualização Documento
-
Uma Solução baseada em políticas para gerenciamento integrado de QoS e Multicast em redes IP Documento
-
Uma Solução de Autenticação Forte para Ambientes de Saúde Baseados em Sensores. Documento
-
Uma Solução de Escalonamento para o DPC++ Documento
-
Uma Solução para Composição de Serviços de Gerenciamento de Redes Utilizando Padrões Web Documento
-
Uma Tradução de Gramáticas de Hipergrafos Baseados em Objetos para Cálculo-pi Documento
-
Uma abordagem Bayesiana para previsão de custos de suporte de projetos de gerenciamento de TI Documento
-
Uma abordagem Bottom-UP para a integração semântica de esquemas XML Documento
-
Uma abordagem baseada em agentes para avaliação do balanceamento de carga em redes veiculares : dois estudos de caso Documento
-
Uma abordagem baseada em agentes para simulação de tarifação viária e comunicação inter-veicular Documento
-
Uma abordagem baseada em conceitos para descoberta de conhecimento em textos Documento
-
Uma abordagem flexível para execução de processos de software evolutivos Documento
-
Uma abordagem multiagente de recomendação baseada em suposições e confiança para cenários dinâmicos Documento
-
Uma abordagem multiagente para dinâmica de pedestres Documento
-
Uma abordagem para a concepção e implementação de sistemas distribuídos Documento
-
Uma abordagem para a integração de sistemas industriais aplicando o conceito de internet das coisas e de modelos semanticos no contexto da industria 4.0 Documento
-
Uma abordagem para estimação prévia dos requisitos não funcionais em sistemas embarcados utilizando métricas de software Documento
-
Uma abordagem unificada para analise exploratoria visual e simulacao interativa visual Documento
-
Uma arquitetura baseada em políticas para o provimento de QoS utilizando princípios de Autonomic Computing Documento
-
Uma arquitetura baseada em sistemas multiagentes para simulações em geoprocessamento Documento
-
Uma arquitetura de co-processador para simulação de algoritmos quânticos em FPGA Documento
-
Uma arquitetura de escalonamento hierárquica para transmissões uplink em redes IEEE 802.16e baseadas em OFDMA Documento
-
Uma arquitetura de tutor utilizando estados mentais Documento
-
Uma arquitetura multiagente para integração de fontes de contexto em cidades inteligentes Documento
-
Uma arquitetura para animar agentes autônomos em ambientes virtuais usando o modelo BDI Documento
-
Uma arquitetura para implementar aplicações padrão ODMG sobre banco de dados relacional Documento
-
Uma biblioteca para programação paralela por troca de mensagens de clusters baseados na tecnologia SCI Documento
-
Uma experiencia de utilizacao das gramaticas de adjuncao de arvores para a lingua portuguesa Documento
-
Uma extensão do protocolo CAN para aplicações críticas em sistemas distribuídos Documento
-
Uma ferramenta para a geração otimizada de fltros FIR paralelos com coeficientes constantes Documento
-
Uma ferramenta para a reutilização de software no desenvolvimento orientado a objetos Documento
-
Uma ferramenta para determinacao de zeros polinomiais Documento
-
Uma ferramenta para modelagem conceitual de banco de dados Documento
-
Uma fundamentação teórica para a complexidade estrutural de problemas de otimização Documento
-
Uma linguagem comum entre usuários e analistas para a definição de requisitos de sistemas de informação Documento
-
Uma linguagem de especificação formal orientada a objetos Documento
-
Uma linguagem visual de consulta a XML baseada em ontologias Documento
-
Uma metodologia para Computação com DNA Documento
-
Uma metodologia para o desenvolvimento de aplicações de visão computacional utilizando um projeto conjunto de hardware e software Documento
-
Uma metodolologia de projeto de estruturas de dados para aplicações gráficas interativas Documento
-
Uma nova abordagem para modelagem e simulação interativa visual. Documento
-
Uma proposta de arquitetura de linha de produto para sistemas de gerenciamento de workflow Documento
-
Uma proposta de suporte ao desenvolvimento cooperativo de software no ambiente PROSOFT Documento
-
Uma proposta de um motor de animação para o controle de personagens articulados baseado em autômatos finitos. Documento
-
Uma proposta para gerência de correio eletrônico Documento
-
Understanding and automating application-level caching Documento
-
Understanding and recovering architecture rules Documento
-
Unificação Semântica de Esquemas Conceituais de BDG Documento
-
Unificação Semântica de Esquemas Conceituais de Banco de Dados Geográficos Documento
-
Unrestricted dynamic Gröbner Basis algorithms Documento
-
Unveiling The Interplay Between Timeliness and Scalability in Cloud Monitoring Systems Documento
-
Using an Animated Pedagogical Agent to Interact Affectively With the Student Documento
-
Using the parametric domain for efficient Documento
-
Using the parametric domain for efficient computation Documento
-
Uso Efetivo da Matemática Intervalar em Supercomputadores Vetoriais Documento
-
Uso da técnica VLIW para aumento de performance e redução do consumo de potência em sistemas embarcados baseados em Java Documento
-
Uso de Auto-Tuning para Otimização de Decomposição de Domínios Paralela Documento
-
Uso de Características Computacionais de Aplicações Paralelas OpenMP para Redução do Consumo de Energia. Documento
-
Uso de Gerenciamento por Delegação para Controle e Administração de No-breaks Documento
-
Uso de Gramática de Atributos para Definição da Interface com o Usuário Documento
-
Uso de Sensibilidade à Situação em Redes Oportunistas para Intensificar a Comunicação de Dados em Aplicações de Sensoriamento Urbano Documento
-
Uso de Técnicas de Visualização de Informação para o Estudo de Tráfegos de Gerenciamento de Redes Documento
-
Uso de serviços de presença em sistemas P2P de gerenciamento de redes Documento
-
Utilizando "conceitos" como Descritores de Textos para o Processo de Identificação de Conglomerados ("clustering") de Documentos Documento
-
Utilização de Agentes para Suporte ao Trabalho em Grupo na Internet Documento
-
Utilização de Redes Neurais na Análise e Previsão de Séries Temporais Documento
-
Utilização de ontologias para certificação de boas práticas em modelagem de processos de negócio Documento
-
Utilização de uma Ferramenta Independente do Domínio para Diagnóstico do Comportamento do Aluno em Atividades de Ensino a Distância. Documento
-
Utilização do Paradigma Funcional no Ensino de Matemática Discreta Documento
-
VERSIONRANK: Escores de Reputação de Páginas Web Baseadas na Detecção de Versões. Documento
-
VIC ++: Uma ferramenta auto-adaptável de vídeo no ambiente Access Grid Documento
-
VIC++ : uma ferramenta auto-adaptável para videoconferência no ambiente Access Grid Documento
-
VISE - Visual Interactive Simulation Environment Documento
-
VOIP : um estudo experimental Documento
-
Validação Experimental de Sistemas de Arquivos Baseados em Journaling para o Sistema Operacional Linux.Área de Pesquisa: Tolerancias a Falhas Documento
-
Validação de Corpus para Reconhecimento de Fala Contínua em Português Brasileiro Documento
-
Validação de protótipo e análise de falhas no teste com feixe de elétrons : um estudo visando a sua automação Documento
-
Validação de requisitos de sistemas para geração de Use Cases Documento
-
Validação do Mecanismo de Tolerância a Falhas do SGBD InterBase Através de Injeção de Falhas Documento
-
Validação experimental de sistemas de arquivos baseados em journaling para o sistema operacional Linux Documento
-
Variabilidade em FinFETs Documento
-
VeBit - Um algoritmo de codificação de video em camadas Documento
-
Verificação de Timing Em Circuitos Vlsi Cmos Digitais Documento
-
Verificação e Confiabilidade em Alphard, Euclid e Ada Documento
-
Verificação e otimização de atraso durante a síntese física de circuitos integrados CMOS Documento
-
Versionamento e Compatibilidade de Serviços em Nível de Feature Documento
-
VersionsRank : escores de reputação de páginas web baseados na detecção de versões Documento
-
Viability and performance of high-performance computing in the cloud Documento
-
Virtual Network Embedding in Software-Defined Networks Documento
-
Virtualização de Hardware e Exploração da Memória de Contexto em Arquiteturas Reconfiguráveis Documento
-
Visibilidade Web de Universidades Documento
-
Visibilidade de Universidades na Web Baseada em Metabusca Documento
-
Visual Simulation of Refractive Errors on Monochromatic Images and An Evaluation of the Absolute Threshold for Vision Documento
-
Visual feedback about problems in business process models : systematic literature review, survey, case studies and recommendations Documento
-
Visualizacao e Exploracao de Dados Cientificos associados a Objetos Tridimensionais Documento
-
Visualization of Execution Traces of Dataflow Systems Documento
-
Visualization of Roll Call Data for Supporting Analyses of Political Profiles Documento
-
Visualization of dynamic multidimensional and hierarchical datasets Documento
-
Visualização Interativa de Redes de Coautoria Documento
-
Visualização de Estruturas Internas em Volumes de Dados Multimodais. Documento
-
Visualização de dados geológicos Documento
-
Visualização de informações aplicada à gerência de software Documento
-
Visualização em tempo real de dados volumétricos dinâmicos usando hardware gráfico Documento
-
Visualização interativa e manipulação de imagens 3D em tempo real usando métodos baseados na GPU Documento
-
Visualização simultânea e multi-nível de informações de monitoramento de cluster Documento
-
Visão computacional : indexação automatizada de imagens Documento
-
Volumetric visualization of confocal datasets obtained from bile duct samples Documento
-
Voz sobre IP: Um estudo experimental Documento
-
Vídeo Alfanumérico com Memória Encadeada Documento
-
WIDe: Uma Extensão a UML para Modelagem de Sistemas de Informação na Internet Baseados em Documentos. Documento
-
WSPE : um ambiente de programação peer-to-peer para a computação em grade Documento
-
Web-Ensino: Uma Ferramenta de Apoio a Utilização da Videoconferência no Ensino à Distância Documento
-
WebTestManager - Ferramenta de apoio ao processo de teste de aplicações Web Documento
-
Workflow de autoria de cursos para educação a distância com suporte à cooperação Documento
-
Wtropic-Um Gerador Automatico de Macro Celulas CMOS Acessivel via WWW Documento
-
X-Spread - Um mecanismo automático para propagação da evolução de esquemas para documentos XML. Documento
-
XHA: eXtensible Hyper-Automaton Documento
-
XML Integrator: Interoperabilidade de Fontes de Dados Heterogêneas, baseada no Mapeamento de Esquemas Conceituais Documento
-
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas Documento
-
conTXT: Sumarização Consciente de Contexto como Fator de Adaptação em Dispositivos de Computação Móvel Documento
-
eXtreme-Ants : algoritmo inspirado em formigas para alocação de tarefas em extreme teams Documento
-
fwWorkCell: Framework para a Construção de Simuladores Didáticos de Células de Trabalho Documento
-
iNTEGRAÇÃO DE SISTEMAS DE INFORMAÇÃO ATRAVÉS DE WEB SERVICES Documento
-
modelo computacional paralelo para o escoamento e para o transporte de substancias tridimensional e bidimensional Documento
-
pEiffel, uma biblioteca de classes para paralelismo em Eiffel Documento
-
qualificação de Pesquisadores por Área da Ciência da Computação com base em uma Ontologia de Perfil Documento
-
xxxxxxxxxxxxxxxxxxxxxx Documento
-
Árvores BSP Semi-Ajustáveis Documento
Pesquisas
Contato
telefone
endereço de email
Identidade