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