CIÊNCIA DA COMPUTAÇÃO
Programa de Pós-Graduação
-
- Visão geral
-
- Publicações
-
- Pesquisas
-
- Contato
-
- Identidade
-
- Ver todos
-
Visão geral
Publicações
publicações
-
Interface Cérebro-Computador Híbrida e Colaborativa no Processo de Tomada de Decisão Documento
-
2DAM-Wave ? Um Método de Avaliação para o Modelo de Capacidade Wave Documento
-
3D Modeling of Large Structures in Augmented Reality Documento
-
3D Network on Chip Architectural Exploration Documento
-
3D-Tri: Um algoritmo de Indução de Árvore de Regressão para Propriedades Tridimensionais - um estudo sobre dados de docagem molecular considerando a flexibilidade do receptor Documento
-
: Crowdsim: a Framework to Estimate Safety of Egress Performance in Real Life Scenarios Documento
-
A COLREGS-compliant collision avoidance system for unmanned surface vehicles Documento
-
A DECENTRALISED ONLINE MULTI-AGENT PLANNING FRAMEWORK FOR MULTI-AGENT SYSTEMS Documento
-
A FRAMEWORK FOR REASONING AND DIALOGUE IN MULTI-AGENT SYSTEMS USING ARGUMENTATION SCHEMES Documento
-
A Framework for Fast Architecture Exploration of Convolutional Neural Network Accelerators Documento
-
A Heuristic Algorithm for Minimizing Server Maintenance Time and Vulnerability Surface on Data Centers Documento
-
A Integração do Projeto da Interface com o Usuário ao Microsoft Solutions Framework Documento
-
A LANGUAGE-BASED APPROACH TO SUPPORT THE IDENTIFICATION OF TAGGING BEHAVIOUR Documento
-
A SECURITY-AWARE ROUTING APPROACH FOR NETWORKS-ON-CHIP Documento
-
A Software Process Model for Follow the Sun Development Documento
-
A Strategic Method to Optmize Docking-Based Virtual Screening in a Clustered Fully-Flexible Receptor Model Deployed on Cloud Platforms Documento
-
A Unified MapReduce Programming Interface for Multi-Core and Distributed Architectures Documento
-
A framework for integrating interaction design and agile methods Documento
-
A framework to design software startups courses in software engineering undergraduate curriculum Documento
-
A integração de novos processadores em arquiteturas MPSoC: um estudo de caso Documento
-
A lightweight blockchain data model for the internet of things Documento
-
A method for growth-based procedural floor plan generation Documento
-
A model for automatized data integration in hadoop-based data lakes Documento
-
A proposal for an architecture to extract information from sms messages during emergency situations Documento
-
A study of teaching BDD in active learning environments Documento
-
AFR: uma abordagem para a sistematização do reúso de frameworks orientados a aspectos Documento
-
ALINHAMENTO ESTRATÉGICO DE PROGRAMAS DE MELHORIA DO PROCESSO DE SOFTWARE EM MICRO E PEQUENAS EMPRESAS Documento
-
AN INTERACTIVE AGENT TO SUPPORT HOSPITAL BED ALLOCATION BASED ON PLAN VALIDATION Documento
-
ANALISANDO A VIABILIDADE DE DEEP LEARNING PARA RECONHECIMENTO DE AÇÕES EM DATASETS PEQUENOS Documento
-
ANÁLISE DE ESTRATÉGIAS PARA MAPEAMENTO DE REDES VIRTUAIS Documento
-
ANÁLISE MULTIMODAL EM BLOGS BRASILEIROS Documento
-
APRENDIZAGEM DE ONTOLOGIAS PARA O APOIO AO PROCESSO DE DESENVOLVIMENTO DE SOFTWARE ORIENTADO A CONHECIMENTO Documento
-
ARQUITETURA ORIENTADA A SERVIÇOS E INTERFACES CONVERSACIONAIS PARA O MAPEAMENTO DE DADOS BIOLÓGICOS Documento
-
AUTOMATIC REASONING OVER CONTRACT CLAUSES Documento
-
Abordagem MDA para Transformação de Modelos baseados em Linguagens Especificas de Domínio Documento
-
Abordagem Multiagente para Processamento de Múltiplos Corpora Documento
-
Abordagem de Análise do Tempo de Resposta para Teste de Desempenho em Aplicações Web Documento
-
Abordagens Neurais para Controle de Conteúdo Pornográfico Documento
-
Abstract models of NoC-based MPSoCs for design space exploration Documento
-
Acompanhamento de Transações de Sistemas de Informação na Web em Conformidade com a Tecnologia de Workflow Documento
-
Agentes de Software para Monitoração da Colaboração em Ambientes Telemáticos de Ensino Documento
-
Agents Anywhere (AA) - Uma Linguagem para o Desenvolvimento de Aplicações Multiagentes Ubíquas Documento
-
Agrupamento e Categorização de Documentos Jurídicos Documento
-
Algoritimos Genéticos para Seleção de Atributos em Problemas de Classificação de Processos de Negócio Documento
-
Algoritmo de Escalonamento para Sistemas Industriais de Tempo Real Documento
-
Algoritmo de Escalonamento para Sistemas Industriais de Tempo Real Documento
-
Algoritmo de Roteamento Maze para Dispositivos Programáveis FPGA Documento
-
Algoritmo para conversão automática de modelos SAN GTA para modelos SAN CTA Documento
-
Algoritmos de Escalonamento para Grades Computacionais Voltados à Eficiência Energética Documento
-
Algoritmos genéticos para seleção de atributos em problemas de classificação de processos de negócio Documento
-
Aligning Top-level and Domain Ontologies Documento
-
Alinhamento Estratégico da MPS em Micro e Pequenas Empresas Documento
-
Alocação Dinâmica de Recursos Baseada em Sistemas Multiagentes Documento
-
Alocação Dinâmica de Recursos no Xen Documento
-
Alocação de Tarefas e Comunicação Entre Tarefas em MPSoCs Documento
-
Alternativas de Alto Desempenho para a Multiplicação Vetor-descritor. Documento
-
Alternativas de Apresentação de Contexto em Interfaces com o Usuário Documento
-
Alternativas para o Tratamento Numérico Otimizado da Multiplicação Vetor-Descritor Documento
-
Ambiente Dinâmico para Escolha de Políticas de Escalonamento para Grades Computacionais Voltado ao Desempenho e Eficiência Energética Documento
-
Ambiente para construção de WBT Documento
-
An Approach for Designing and Exploring Customizable Narrative Data Visualizations Documento
-
An Architecture for Improved Supply and Demand Forecasting Documento
-
An Evolutionary Approach for the Task Mapping Problem Documento
-
An elastic framework for remote task execution using cloud computing Documento
-
An empirical study about the impact of gender diversity in software development teams Documento
-
Analisando a utilização de recursos em máquinas agregadas através de informações derivadas dos sistemas de gerência e montoração Documento
-
Analysis of voltage scaling effects in the design of resilient circuits Documento
-
Análise Visual para Monitoramento de Alunos de Cursos a Distância Documento
-
Análise de Impacto de Mudança de Software: Uma Metodologia Baseada em Ontologias Documento
-
Análise de Padrões de Mobilidade Utilizando Redes de Autômatos Estocásticos Documento
-
Análise de casos de teste estatisticamente relevantes através da descrição formal de programas Documento
-
Análise e Modelagem de Sistema de Digestão Anaeróbica Monitorado para Previsão e Busca de Eficiência de Operação Documento
-
Análise e Triagem de Padrões em Processos de Descoberta de Conhecimento em Bases de Dados Documento
-
Aplicando Aprendizagem Por Reforço a Uma Arquitetura Multiagente Para Suporte ao Ensino de Educação Ambiental Documento
-
Aplicando Aprendizagem por Reforço a uma Arquitetura Multiagente para Suporte ao Ensino de Educação Ambiental Documento
-
Aplicando Estratégias de Escalonamento através da Análise do Perfil de Jobs para Ambientes de Impressão Distribuídos Documento
-
Aplicando Técnicas de Recomendação em Sistemas de Ajuda em Pares. Documento
-
Aplicação de Ontologias à Engenharia de Requisitos em Ambientes de DDS Documento
-
Aplicação de Rede de Autômatos Estocásticos no Teste Estatístico de Software Documento
-
Aplicação de Redes de Autômatos Estocásticos no Teste Estatístico de Software Documento
-
Aplicações de Sistemas Multi-Agentes de Hipermídia Adaptativa - uma extensão a ferramenta Gutemberg Documento
-
Application-Aware Software-Defined Networking to Accelerate MapReduce Applications Documento
-
Applying deep learning techniques in reinforcement learning Documento
-
Aprendizado e Utilização do Estilo de Movimento Facial na Animação de Avatares Documento
-
Aprendizado neural de representação de conteúdo para sistemas de recomendação de filmes Documento
-
Aprendizagem Federada Descentralizada para Detecção de Intrusão em Sistemas IoT Documento
-
Aprimorando a elasticidade de aplicações de Banco de Dados utilizando virtualização em nível de Sistema Operacional Documento
-
Apropriação tecnológica e design centrado no aluno no contexto de ambientes virtuais de aprendizagem Documento
-
Argumentation-based Dialogues for Task Reallocation Among Rational Agents Documento
-
Arquitetura de Indexação Aplicada a Servidores PACS para Processamento de Imagens Documento
-
Arquitetura de Software para Sistemas Robóticos Multi-Agentes Documento
-
Arquiteturas GALS Pipeline para Criptografia Robusta a Ataques DPA e DEMA Documento
-
Arquiteturas de Software Para Domínios de Aplicações Documento
-
Aspectos de Confiabilidade na Implementação da Unidade de Telecomando e Telemetria para Plataformas Orbitais Documento
-
Aspetos de Confiabilidade na Implementação da Unidade de Telecomando e Telemetria para Plataformas Orbitais. Documento
-
Auto-localização de Robôs Móveis em Ambientes Indoor Utilizando Funções Harmônicas Documento
-
Automacao de teste de software atraves de linhas de produtos e testes baseados em modelos Documento
-
Automated emulation of distributed systems through system management and virtualization Documento
-
Autoria de artefatos de software Documento
-
Avaliacao de Transferencia de Informacoes de Rastreamento Veicular sobre Redes GPRS Documento
-
Avaliando o Sistema de Arquivos Lustre com Uso de Cargas de Trabalho de Aplicações Paralelas Documento
-
Avaliando o Sistema de Arquivos Paralelos Lustre com Uso de Cargas de Trabalho de Aplicações Paralelas Documento
-
Avaliação Quantitativa de Modelos em Gramática de Grafos Baseada em Objetos Documento
-
Avaliação Quantitativa de Modelos em Gramática de Grafos Baseada em Objetos Documento
-
Avaliação da Qualidade de Técnicas de Interação em Ambientes Virtuais Imersivos utilizando Medidas Fisiológicas Documento
-
Avaliação das Funcionalidades e Desempenho do Modelo de Banco de Dados Virtual Documento
-
Avaliação de Desempenho de Algoritmos de Escalonamento na Arquitetura de Serviços Diferenciados Documento
-
Avaliação de Desempenho de Equipe de Projetos de Software Através de Modelos Probabilísticos. Documento
-
Avaliação de Métodos para Geração de Documentos Personalizados Documento
-
Avaliação de Qualidade de Dados de Esforço de Software baseada em Data Provenance e Lógica Fuzzy Documento
-
Avaliação de Qualidade de Dados de Métricas de Esforço Baseado em Data Provenance e Fuzzy Logic Documento
-
Avaliação do uso de Realidade Virtual na Robótica Documento
-
Avaliação do uso de Realidade Virtual na Robótica Documento
-
Balanceamento entre segurança e desempenho na comunicação entre os planos de controle e dados em redes definidas por software Documento
-
Bibliotecas Digitais : Um Sistema para o Controle de Empréstimos e Devoluções de Objetos Digitais Documento
-
Boas práticas para apoio ao processo de elicitação de requisitos de usuário no contexto da Engenharia de Software Documento
-
CIViS: modelo de design de interface customizável para apoiar a construção de visualizações narrativas interativas de dados extraídos de mídias sociais Documento
-
CONSTRUÇÃO DE UM CORPUS ANOTADO PARA CLASSIFICAÇÃO DE ENTIDADES NOMEADAS UTILIZANDO A WIKIPEDIA E A DBPEDIA Documento
-
CSMA como MAC para DWiNoCs Documento
-
Canopus : a domain-specific language for modeling performance testing Documento
-
Cell-snake : uma ferramenta para detecção de contornos em estruturas celulares Documento
-
Characterizing the presence of agility in large scale agile development Documento
-
Classificação de Entidades Nomeadas para o Domínio de Geologia Documento
-
Co-projeto de Sistemas Operacionais: Implementação Hardware/Software de Funcionalidades para Suporte a Aplicações de Tempo Real Documento
-
Codigos Corretores de Erros em Hardware para Sistemas de Telecomando e Telemetria em Aplicacoes Espaciais Documento
-
Colaboração entre pares para melhor compreensão da mensagem do designer via sistemas de ajuda Documento
-
Combinação de Classificadores na Categorização de Textos. Documento
-
Combining learning and symbolic planning for robust goal and plan recognition Documento
-
Comportamentos Auto-Organizados de Multidões Documento
-
Composição de UML Profiles Documento
-
Composição de UML Profiles Dissertação Documento
-
Computação Verificada Aplicada à Resolução de Sistemas Lineares Intervalares Densos em Arquiteturas Multicore Documento
-
Conjunto de Características para Teste de Desempenho: Uma Visão a Partir de Ferramenta Documento
-
Conjunto de Características para Teste de Desempenho: Uma Visão a Partir de Modelos Documento
-
Constrained Coalition Formation Among Heterogeneous Agents for the Multi-agent Programming Contest Documento
-
Construção do Espaço Intervalar e Resolução de Equações Lineares Documento
-
Construção do Espaço Intervalar e Resolução de Equações Lineares Documento
-
Context-Aware Information Services Provision for IoT Environments Documento
-
Contribuições na Avaliação de Conformidade de Processos de Desenvolvimento de Software por Mineração de Processos Documento
-
Contribuições na Verificação de Conformidade em Processos de Desenvolvimento de Software por Mineração de Processos Documento
-
Contribuições para Escalabilidade em Replicação Máquina de Estados Documento
-
Contribuições para Reconfiguração Parcial, Remota e Dinâmica de FPGAs Documento
-
Contributions in face detection with deep neural networks Documento
-
Contributions to the design and prototyping of GALS and asynchronous systems Documento
-
Controle Adaptativo para Atendimento a Requisitos de Aplicações em MPSoCs Documento
-
Controle de Comportamentos de Grupos de Personagens Virtuais Documento
-
Controle/Redução da Potência Dissipada em MPSoCs Documento
-
Conversational Agents based on Argumentation Theory and Ontologies Documento
-
Conversão de Definição de Requisitos de Software de SADT para LOTOS Documento
-
Conversão de Modelos em Rede de Filas de Espera para Rede de Autômatos Estocásticos Documento
-
Conversão de Modelos em Rede de Filas de Espera para Rede de Autômatos Estocáticos Documento
-
Coordenadas Paralelas: Uma metodologia para visualização em 3D Documento
-
Crowd Estimation Model for Emergency Simulation Documento
-
Crowdvis: a framework for real time crowd visualization Documento
-
Cálculo de Referências Anafóricas Pronominais Demonstrativas na Língua Portuguesa Escrita Documento
-
Cálculo de Referências Pronominais Demonstrativas na Língua Portuguesa Escrita Documento
-
DB-InhA: Um Banco de Dados Terciário para a Enzima InhA (EC 1.3.1.9) Documento
-
DETECÇÃO DE LESÕES DE ESCLEROSE MÚLTIPLA EM IMAGENS DE RESSONÂNCIA MAGNÉTICA DO TIPO FLUID ATTENUATED INVERSION RECOVERY (FLAIR) Documento
-
DIAGRAMA GLOBAL DE COLABORAÇÕES: UMA PROPOSTA PARA A MELHORIA DO PROJETO DE SOFTWARE ORIENTADO A OBJETOS Documento
-
DYNAMIC THERMAL MANAGEMENT FOR NOC-BASED MANY-CORE SYSTEMS Documento
-
Data Processing with Cross-application Interference Control via Performance-driven instrumentation Documento
-
Decentralised Allocation of Structured Tasks in Heterogeneous Agent Teams Documento
-
Deep Neural Networks for Single-Label, Multi-Label, and Hierarchical Multi-Label Classification Documento
-
Descoberta de Conjuntos de Itens Frequentes com o Modelo de Programação MapReduce, sobre Contextos de Incerteza Documento
-
Descrição e Recuperação de Ontologias em Língua Portuguesa: Uma Adaptação do Modelo Ontology Metadata Vocabulary Documento
-
Desenvolvimento Sustentável na Foz do Rio Amazonas: Experiências com Comunidades Ribeirinhas do Arquipélago do Bailique - AP Documento
-
Desenvolvimento de Aplicações Paralelas a partir de Modelos em Gramática de Grafos Baseada em Objetos Documento
-
Desenvolvimento de software utilizando abordagens multiescalares para a predição in silico da estrutura 3D de proteínas Documento
-
Desenvolvimento de um Simulador Para Monitoramento de Técnicas de Direção Econômica em Caminhões Com o Uso de Ambientes Virtuais Documento
-
Desenvolvimento de um filtro de descritores geométricos para gerar um ranqueamento em banco de dados de ligantes Documento
-
Desenvolvimento de um filtro de descritores moleculares geométricos para gerar um ranqueamento em banco de dados de ligantes Documento
-
Design and Exploration of 3D MPSoC with On-chip Cache Support Documento
-
Detecção de Componentes Faciais Baseado em Modelos de Cor e Antropométrica Documento
-
Detecção de Eventos Adversos em Prontuários Eletrônicos Documento
-
Detecção de Poses Humanas Documento
-
Detecção de componentes faciais baseado em modelos de cor e antropometria Documento
-
Detecção e Tratamento de Intrusões em Plataformas Baseadas no XEN Documento
-
Diminuição da Intrusão do Teste de Software em Programas Paralelos Documento
-
Diminuição da intrusão do teste de software em programas paralelos Documento
-
Diretrizes para Avaliação de IHC baseada em Modelos Documento
-
Distribuição de Serviços de Gerência em MPSoCs ? Mapeamento e Migração de Tarefas Documento
-
Distributed Memory Organization with Support for Data Migration for NoC-based MPSoCs Documento
-
Documentação de Tarefas em Software Crowdsourcing: Um estudo empírico sobre a plataforma TopCoder Documento
-
Domain-specific language & support tools for high-level stream parallelism Documento
-
Duas Propostas para Algoritmos para Desenho de Grafos Ponderados Preservando Escalas. Documento
-
Dynamic Server Consolidation with Controlled Reconfiguration Delays Documento
-
ED-CER - Um Método para Extração do Sintagma Nominal em Sentenças em Português Documento
-
EM DIREÇÃO A UM MODELO DE ACOMPANHAMENTO DE PRODUTIVIDADE DE ATORES, NA EXECUÇÃO DE ATIVIDADES DE WORKFLOWS Documento
-
ENHANCING EARLY SCHEDULING IN PARALLEL STATE MACHINE REPLICATION Documento
-
ESTRATÉGIAS PARA REDUÇÃO DO CONSUMO DE ENERGIA EM REDES DE DATA CENTER Documento
-
ESTRUTURAÇÃO E APRESENTAÇÃO DE SISTEMAS DE AJUDA ON-LINE PARA SOFTWARE EDUCACIONAL Documento
-
EXPLORATION OF ALGORITHMS AND IMPLEMENTATIONS FOR EFFICIENT 3D-HEVC DEPTH MAP ENCODING Documento
-
EXPLORATION OF RUNTIME DISTRIBUTED MAPPING TECHNIQUES FOR EMERGING LARGE SCALE MPSoCs Documento
-
Edge-centric context sharing architecture for the internet of things : context interoperability and context-aware security Documento
-
Elevando a capacidade de integração de sistemas de middleware RFID através do processamento de eventos complexos distribuídos entre diferentes organizações de negócio Documento
-
Eliminação Segura de Arquivos em Memória Não-Volátil Documento
-
Em Busca de um Meta-modelo para a Unificação de Diferentes Abordagens de Representação de Agentes de Software e para a Geração de Código em Plataformas de Desenvolvimento de Sistemas Multiagentes Documento
-
Em Direção a uma Abordagem para a Modelagem de um Sistema Multiagente Documento
-
Em Direção a uma Semântica da Linguagem de Descrição de Reuso em UML/OCL Documento
-
Em Direção a uma Semântica da Linguagem de Descrição de Reuso em UML/OCL. Defesa dia 11/05/2007. Banca examinadora: Prof. Dr. Marcelo Blois e Prof. Dr. Flávio Oliveira Documento
-
Em direção de uma técnica para programação orientada a agentes BDI Documento
-
Emotion, personality and cultural aspects in crowds : towards a geometrical mind Documento
-
Empirical studies about collaboration in competitive software crowdsourcing Documento
-
Enriching portuguese word embeddings with visual information Documento
-
Ensinando Engenharia de Software Online para Pessoas em Situação de Vulnerabilidade Social Documento
-
Entidades nomeadas e extração de informação no auxílio às investigações de crimes de lavagem de dinheiro Documento
-
Escalonamento Estático de Processos de Aplicações Paralelas MPI em Máquinas Agregadas Heterogêneas com Auxílio de Históricos de Monitoração Documento
-
Escalonamento Global no sistema MDX Documento
-
Espaços conceituais: uma proposta de uso de representações conceituais aplicada a sistemas multi-agentes Documento
-
Especificação de Aspectos de Segurança e Geração de Casos de Teste Documento
-
Especificação de Requisitos de Agentes de Usuários em Z. Documento
-
Especificação de uma Arquitetura para Repositórios de Informações de Componentes de Software Documento
-
Estendendo o MASUP para a Especificação de Papéis de Agentes a Partir da Modelagem de Negócio Documento
-
Estimation Of Distribution Algorithms For Clustering And Classification Documento
-
Estimativa de Desempenho de Software e Consumo de Energia em MPSoCs Documento
-
Estimativa e Redução da Dissipação de Potência em Redes Intra-Chip com Chaveamento por Pacotes Documento
-
Estimativa e Redução da Potência Dissipada em Redes Intra-Chip com Chaveamento por Pacotes Documento
-
Estratégia de paralelização para renderização de documentos XSL-FO com o uso da ferramenta FOP Documento
-
Estratégia para Especificação e Geração de Casos de Teste a Partir de Modelos UML Documento
-
Estratégias de Paralelização para Renderização de Documentos XSL-FO com Uso da Ferramenta FOP Documento
-
Estratégias para otimização de desempenho em redes intra-chip : implementação e avaliação sobre a rede Hermes Documento
-
Estrutura e Características para Análise de ambientes de Desenvolvimento Global de Software em Organizações Offshore Insourcing Documento
-
Estudo da percepção de signos por sujeitos inseridos em diferentes meios culturais:Um passo inicial para o desenvolvimento de uma interface voltada a usuários Surdos Documento
-
Estudo exploratório da Indexação Semântica Latente e das funções peso Documento
-
Evaluating the performance and improving the usability of parallel and distributed Word Embedding tools Documento
-
Evaluation of methods for taxonomic relation extraction from text Documento
-
Evolutionary Algorithms for Learning Ensembles of Interpretable Classifiers Documento
-
Evolutionary Model Tree Induction Documento
-
Expansão de Consultas com Realimentação e Pseudo Realimentação de Relevantes em um Sistema que utiliza o Modelo TR+ para Indexar e Recuperar Documentos Documento
-
Expansão de Consultas com Realimentação e Pseudo Realimentação de Relevantes em um Sistema que utiliza o Modelo TR+ para Indexar e Recuperar Documentos Documento
-
Experiência de utilização do Formalismo Gramáticas Síncronas de Adjunção de Árvores" para Constrrução de um Módulo de Transferência Esturutural Documento
-
Exploiting Resource Heterogeneity on Computational Grids for Energy-Efficient Scheduling Documento
-
Explorando Programação Híbrida no Contexto de Clusters de Máquinas NUMA Documento
-
Exploração da comunicação usuário-sistema em Sistemas de Ajuda On-line Documento
-
Exploring curve-based prediction models for intra-frame prediction Documento
-
Extração Automática de Conceitos a partir de Textos em Língua Portuguesa Documento
-
Extração de Contextos Definitórios a Partir de Textos em Língua Portuguesa Documento
-
Extração de Informação Baseada em Padrões Textuais Documento
-
Extração de Métricas de Usabilidade a partir de Protótipos de Fidelidade Mista Documento
-
Extração de Relações do Domínio de Organizações para o Português Documento
-
Extração de Vocabulário Multilíngue a partir de Documentação de Software. Documento
-
Extração e Alinhamento de Hierarquias em Páginas Web Documento
-
FATORES QUE INFLUENCIAM DESENVOLVEDORES A PARTICIPAR DE ECOSSISTEMAS DE SOFTWARE MÓVEL Documento
-
FAULT-TOLERANCE AT THE MANAGEMENT LEVEL IN MANY-CORE SYSTEMS Documento
-
FITTING TECHNIQUES TO KNOWLEDGE DISCOVERY THROUGH STOCHASTIC MODELS Documento
-
FReMI A MIDDLEWARE TO HANDLE MOLECULAR DOCKING SIMULATIONS OF FULLY-FLEXIBLE RECEPTOR MODELS IN HPC ENVIRONMENTS Documento
-
FReMI: a middleware to handle molecular docking simulations in HPC environments Documento
-
FTSPROC - UM PROCESSO PARA MINIMIZAR AS DIFICULDADES DE PROJETOS QUE ADOTAM A ESTRATÉGIA FOLLOW-THE-SUN Documento
-
Fair Play: Diretrizes para o Design de Audiogames para Usuários com Deficiência Visual Documento
-
Fast recovery in parallel state machine replication Documento
-
Feature Visualization for Dyslexia Identification in Functional MRI Data Documento
-
Feature-level sentiment analysis applied to brazilian portuguese reviews Documento
-
Features-oriented model-driven architecture : uma abordagem para MDD Documento
-
Fog and Edge Computing: Uma Arquitetura Híbrida em um Ambiente de Internet das Coisas Documento
-
Formalismos Estruturados de Modelagem para Sistemas Markovianos Complexos Documento
-
Formalismos de modelagem são linguagens capazes de descrever sistemas de forma não ambígüa, permitindo a sua avaliação quantitativa. Os formalismos conhecidos como estruturados permitem a representação sistemática de modelos grandes e complexos. Entretanto, na prática, a modelagem de sistemas de tal porte pode apresentar o problema de explosão do espaço de estados. Em geral, a modelagem de sistemas através de formalismos estruturados, com espaço de estados discreto, resulta em um grande número de estados inatingíveis. A geração e armazenamento dos estados não atingíveis é um ônus não desejado ao processo de modelagem. Este trabalho apresenta um algoritmo capaz de gerar e armazenar somente o espaço de estados atingível (RSS) para o formalismo de Redes de Autômatos Estocásticos (SAN) utilizando Diagramas de Decisão Multi-Valorada (MDD). A idéia principal é apresentar uma primeira versão desse algoritmo, a fim de comprovar a sua viabilidade para o formalismo SAN. Documento
-
Framework para Construção de Objetos de Aprendizagem com Learning Analytics Documento
-
Funcionalidades de apoio a adaptação e composição de componentes com o auxílio de padrões. Documento
-
GAN-BASED REALISTIC FACE POSE SYNTHESIS Documento
-
GERENCIAMENTO TÉRMICO E ENERGÉTICO EM MPSOCS Documento
-
GIStorage: Um Serviço de Informação para Grades com Suporte a Algoritmos de Predição de Desempenho Documento
-
GIVING EMOTION CONTAGION ABILITY TO VIRTUAL AGENTS IN CROWDS Documento
-
GMAVIS : a Domain-specific Language for Large-scale Geospatial Data Visualization Supporting Multi-core Parallelism Documento
-
GeRDDoS: Uma Proposta de um Modelo para Identificação e Análise de Riscos em Ambiente de Desenvolvimento Distribuído de Software Documento
-
Geometric Deep Learning for Functional Neuroimaging Analysis Documento
-
Geração Automatizada de Drivers e Stubs de teste para JUnit a partir de especificações U2TP Documento
-
Geração Procedural de Ambientes Virtuais Semânticos Documento
-
Geração Semi-Automatizada de Scripts de Teste a Partir de Requisitos de Software Documento
-
Geração de Animações Faciais Personalizadas em Avatares Documento
-
Geração de Casos de Testes Para a Interface de Usuário de Sistemas de Gerência de Workflow. Documento
-
Geração de Contraexemplos e Testemunhas para um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos Documento
-
Geração de Documentos Personalizados Documento
-
Geração de Imagens para a Quantificação das Lesões de Esclerose Múltipla com Exames de Ressonância Magnética do Cérebro Humano Utilizado no Protocolo de Rotina da Prática Clínica Documento
-
Gerenciamento Distribuído de Agendas de Recursos em Projetos de Desenvolvimento de Software baseado em Sistemas Multiagentes Documento
-
Gerenciamento de Portfolio e risco no desenvolvimento distribuido de sistemas Documento
-
Gerenciamento de Riscos em Projetos Ágeis Documento
-
Gerência Distribuída de Processadores em Máquinas Agregadas Documento
-
Gestão de Métricas e Indicadores de Doenças em Saúde Bucal Suportado por um Ambiente de Descoberta de Conhecimento em Bancos de Dados. Documento
-
GoDonnie : definição e avaliação de uma linguagem de programação para comandar robô por programadores iniciantes com deficiência visual Documento
-
Goal Recognition over Imperfect Domain Models (Cum Laude) Documento
-
HPC-ICTN: Um Modelo de Alto Desempenho para Categorização de Áreas Geográficas Documento
-
Harmony:Proposta de um Modelo Multiagente para o Apoio no Processo de Alocação de Recursos em Projetos de Desenvolvimento de Software Documento
-
Heurísticas para Mapeamento de Redes Virtuais de Sincronia Híbrida Documento
-
High-level programming abstractions for stream parallelism on gpus Documento
-
Hybris Synchrony Virtual Networks Documento
-
IMAGUS - Ambiente para Elaboração de Material Didático Documento
-
Identificando o índice de integração em projetos de desenvolvimento distribuído de software Documento
-
Identification of Autism Disorder Through Functional MRI and Deep Learning Documento
-
Identificação de Oportunidades para Mineração de Dados pela Exploração semiautomática de modelos OLAP Documento
-
Identifying Potential Conflicts between Norms in Contracts Documento
-
Implantação de Consciência Robótica Documento
-
Implementação de Uma Infraestrutura de Monitoramento para Avaliação de Plataformas MSPSOC Baseada em Noc Documento
-
Implementação de uma Interface Hardware/Software de Alto Desempenho Documento
-
Implementação do Padrão de Barramento PCI para Interação Hardware/Software em Dispositivos Reconfiguráveis Documento
-
Implementação e Avaliação de Desempenho de um MPSoC Homogêneo Interconectado por NoC Documento
-
Implementação e Avaliação de Métodos para Confiabilidade de Redes Intra-Chip Documento
-
Implementação e Avaliação de um MPSoC Homogêneo Interconectado por NoC Documento
-
Implementação e Avaliação de uma Arquitetura de Rede sem Fio com Topologia Baseada em Árvore Documento
-
Implementação e Uso de Algoritmo de Conversão Neuro-Simbólica Documento
-
Implementação e avaliação de algoritmo de auto-organização para uma arquitetura de rede sem fio baseada em árvore. Documento
-
Implementação e uso de algoritmos de conversão neuro-simbólica. Documento
-
Improving Container Deployment Latency in Distributed Edge Infrastructures Documento
-
Improving Parallel Programming Assessment: Challenges, Methods, and Opportunities in Coding Productivity Documento
-
Improving QoS by Employing Multiple Physical NoCs on MPSoCs Documento
-
Indexação Autônoma de Dados Utilizando Algoritmos Genéticos Documento
-
Infra-estrutura e Implementação de Controle de Configurações em Software para Hardware Reconfigurável Documento
-
Integrando deliberacao e reatividade em uma arquitetura de agentes hibrida homogenea Documento
-
Integrating Automated Planning With a Multi-Agent System Development Framework Documento
-
Integrating Interaction Design and Agile Development Documento
-
Integrating Robot Control into the AgentSpeak(L) Programming Language Documento
-
Integração de Ferramentas para Compilação e Exploração de Corpora Documento
-
Integração de Padrões de Qualidade na Área de Melhoria de Processo de Software Documento
-
Integração e Avaliação de Técnicas de Teste Baseado em Software no Fluxo de Projeto de SoCs Documento
-
Inteligência de Processos de Negócio: Uma Proposta de Padronização entre as Etapas de Mineração de Dados e Visualização dos Resultados Documento
-
InterCOD - Uma Arquitetura Distribuída de Suporte a Centros de Otimização Cooperantes na Internet Documento
-
Interfaces acessíveis para usuários com deficiência visual: uma proposta de representação tátil e sonora da informação em Bioinformática e Biologia Molecular Documento
-
Interference-Aware Cloud Scheduling Architecture for Dynamic Latency-sensitive Workloads Documento
-
Introduzindo Localização na Plataforma Semanticore para a Criação de Aplicações Pervasivas Baseadas em Agentes de Software Documento
-
JFault: Tolerância a Falhas Transparente Utilizando Reflexão e Compilação Dinâmica no Modelo Arquitetural de Meta-níveis Documento
-
JavaSim: Uma Plataforma de Suporte à Simulação Distribuída Documento
-
K2 - Uma Arquitetura para a Adaptação de Agentes de Software ao Contexto Documento
-
LANDMARK-BASED APPROACHES FOR PLAN RECOGNITION TASKS Documento
-
Language-Agnostic Visual-Semantic Embeddings Documento
-
Layered Approach for Run-Time Fault Recovery in NoC-based MPSoCs Documento
-
LeanNet: an architecture that use scene context to improve object recognition Documento
-
Learning non-verbal relations under open information extraction paradigm Documento
-
Linha de produtos de testes baseados em modelos Documento
-
Localização Indoor RFID baseada no Efeito Doppler Documento
-
MAPEAMENTO DINÂMICO DE APLICAÇÕES PARA MPSOCS HOMOGÊNEOS Documento
-
MAPEAMENTO E ADAPTAÇÃO DE ROTAS DE COMUNICAÇÃO EM REDES EM CHIP Documento
-
MAPPING APPLICATIONS ONTO CLUSTER-BASED MPSOCS Documento
-
MDX-cc: Ambiente de Programação Paralela Aplicada a Cluster de Clusters Documento
-
MDX-v1: Implementação e Avaliação em Redes ATM Documento
-
MENSSAGENS - Uma Metodologia para Modelagem de Estados Mentais em Agentes Documento
-
MIBCIS - Método de Integração entre o BSC, CMMI e Six Sigma Utilizando GQM no Suporte a Definição de Métricas Documento
-
MIBCIS II - Processo Integrado de Gerenciamento Quantitativo para Melhoria de Processos Documento
-
MISUSERSTORIES: AN EXTENDED AGILE FRAMEWORK FOR HANDLING SECURITY REQUIREMENTS IN AGILE SOFTWARE DEVELOPMENT Documento
-
MODELO PRESS: EVOLUINDO A ADOÇÃO DE PRÁTICAS DE ENGENHARIA DE SOFTWARE EM STARTUPS DIGITAIS Documento
-
MODELOE10: UM MODELO PARA ESTIMATIVAS DE ESFORÇO EM MANUTENÇÃO DE SOFTWARE Documento
-
MODELOS E TÉCNICAS PARA SIMULAÇÃO DE SISTEMAS UHF DE IDENTIFICAÇÃO POR RÁDIO FREQUÊNCIA (RFID) Documento
-
MONITORAÇÃO E ROTEAMENTO ADAPTATIVO PARA FLUXOS QOS EM NOCS Documento
-
MULTI-MODEL APPROACH TO IDENTIFY POTENTIAL PROBLEMS IN A CONTRACT. Documento
-
Mapeamento Dinâmico de Aplicações Multitarefa para MPSoCs Homogêneos Documento
-
Mapeamento Dinâmico de Tarefas em MPSoCS Heterogêneos Baseados em Noc Documento
-
Mapeamento de Propriedades Dinâmicas Descritas por Diagramas de Estados UML, em Bancos de Dados Relacionais Documento
-
Mapeamento de Propriedades Dinâmicas de Objetos, Descritas por Diagramas de Estados UML, em Banco de Dados Relacionais Documento
-
Mapeamento de máquinas virtuais em datacenters privados visando minimizar a interferência de desempenho. Documento
-
Mapeamento e adaptação de rotas em redes em chip Documento
-
Mapeamento e comparação de similaridade entre estruturas ontológicas Documento
-
Matriz SQUARE: mecanismo integrador dos modelos da metodologia OMT Documento
-
Mecanismos de Apoio a Interpretação e Recuperação de Padrões do Uso da Web baseados em Ontologia de Domínio Documento
-
Mecanismos de Coordenação Ator-Ator em Redes de Sensores e Atores sem Fio Documento
-
Mecanismos para a Aplicação da Técnica de Agrupamento para Caracterização de Sessões de Aprendizado. Documento
-
Medidas Estéticas para Documentos Adaptativos Documento
-
Medição da Torção ocular através de análise de fluxo óptico direto Documento
-
Mercury: Uma Rede Intra-chip com Topologia Toro 2D e Roteamento Adaptativo Documento
-
Metamodelo para Descrição e Recuperação de Ontologias Documento
-
Metodologia de Análise de Impacto baseada em Ontologias Documento
-
Mineração de Opiniões aplicada a Mídias Sociais Documento
-
Mineração de dados em Imagens Documento
-
Mineração de dados espaço-temporais em dados paleogeográficos com algoritmo de agrupamento baseado em densidade Documento
-
Mineração do Uso da Web na Educação a Distância: Propostas para a condução de um Processo a partir de um Estudo de Caso Documento
-
Minimizing Latency and Maintenance Time during Server Updates on Edge Computing Infrastructures Documento
-
Mitigação de ataques de DoS em RESTs Autenticáveis na Nuvem Documento
-
Modelagem Abstrata de MPSoCs Documento
-
Modelagem Abstrata para Hardware de MPSoC Documento
-
Modelagem abstrata para o Hardware de MPSOCS Documento
-
Modelagem de Rede PLC-Homeplug Utilizando Redes de Autômatos Estocásticos (SAN) Documento
-
Modelagem de Sistemas Industriais utilizando Redes de Autômatos Estocásticos e Interações Multi-participantes Confiáveis Documento
-
Modelagem e Produção de Documentos Personalizados com Conteúdo Variável Documento
-
Modelagem e Projeto de um Gerador de Relógio Local Baseado em DCO para MPSoCs GALS Documento
-
Modelagem e Validação de Redes Intrachip Através de Síntese Comportamental. Documento
-
Modelagem e implementação de um léxico semântico para o Português Documento
-
Modelagem e validação de redes intrachip no nível de transação Documento
-
Modelagem, descrição e validação de redes intrachip no nível de transação. Documento
-
Modelando animações por sistemas de partículas para máquinas agregadas heterogêneas Documento
-
Modeler: um processo de modelagem de negócios para a operacionalização de um modelo de planejamento de sistemas de informação Documento
-
Modeling an empathetic embodied conversational agent Documento
-
Modelo Gerenciador de Descoberta de Serviços Pervasivos Ciente de Contexto Documento
-
Modelo Gerenciador de Serviços para Plataformas Pervasivas Sensíveis ao Contexto Documento
-
Modelo de Alocação de Recursos utilizando sistemas Multiagentes Documento
-
Modelo de Balanceamento de Carga Através de Migração de Tarefas em PMSoC's de Tempo Real Documento
-
Modelo de Gerência de Projeto Baseado no PMI para Ambiente de Desenvolvimento de Software Fisicamente Distribuído Documento
-
Modelo de Gerência de Projeto Baseado no PMI para Ambiente de Desenvolvimento de Software Fisicamente Distrubuído Documento
-
Modelo de apoio à navegação em calçadas para pessoas com deficiência visual Documento
-
Modelo para Suportar a Atualização e Consistência de Requisitos em Processos de Manutenção de Software Documento
-
Modelo para avaliação da qualidade de tradução entre requisitos e casos de uso Documento
-
Monitoramento de Desempenho em Plataformas MPSoC Baseadas em NoC Documento
-
More than a timing resilient template : a case study on reliability-oriented improvements on blade Documento
-
MuNDDoS: Um Modelo de Referência para Desenvolvimento Distribuído de Software Documento
-
Multi-Objective Resource Management for Many-Core Systems Documento
-
Multi-level consensus algorithm for appendable-block blockchains in IoT Environments Documento
-
Método de Conversão de Diagrama de Atividades UML para SAN e Geração de Casos de Teste de Software Documento
-
Método de previsão de vendas e estimativa de reposição de itens no varejo da moda Documento
-
Métodos Empíricos para Validação da Reuse Description Language em Instanciação de Frameworks Documento
-
Métodos de Clusterização para Apoio à Classificação Estética de Documentos Documento
-
Métodos de Distribuição e Conexão de IP Cores Para Dispositivos Programáveis FFGA Documento
-
Métodos de Distribuição e Conexão de IP Cores para Dispositivos Programáveis FPGA Documento
-
Métodos para análise de correntes elétricas de equipamentos eletromédicos em procedimentos cirúrgicos e detecção de periculosidade aos pacientes Documento
-
Métricas para Ontologias: Revisão Sistemática e Aplicação ao Portal OntoLP Documento
-
NO-RISK - Um Método para Aplicação de Gerência de Risco de Projetos de Software Focados em Sistemas de Informação Documento
-
NUMA-ICTM: Uma Versão Paralela do ICTM Explorando Estratégias de Alocação de Memória para Máquinas NUMA Documento
-
Non-Volatile Memory: Emerging Technologies And Their Impacts on Memory Systems Documento
-
Nível de Adoção do Gerenciamento de Portfólio de Projetos de SI nas Organizações da Região Sul do Brasil. Documento
-
O Reconhecimento de Entidades Nomeadas por meio de Conditional Random Fields para a Língua Portuguesa Documento
-
O uso de Redes de Autômatos Estocásticos - SAN na modelagem e avaliação do protocolo DSR em redes wireless ad hoc Documento
-
O uso de redes de autômatos estocásticos - SAN - na análise e avaliação do protocolo DSR em redes wireless ad hoc Documento
-
ORCA : a self-adaptive, multiprocessor system-on-chip platform Documento
-
OUTDOOR LOCALIZATION SYSTEM FOR MOBILE ROBOTS BASED ON RADIO-FREQUENCY SIGNAL STRENGTH Documento
-
Obtenção dos Parâmetros do Plano Oclusal com Métodos de Visão Computacional Documento
-
Ontologias para Representação de Tarefas Colaborativas em Sistemas Multi-Agentes Documento
-
Organização de Memórias Distribuídas em MPSoCs baseados em Redes Intra-Chip Documento
-
Otimizacao de Desempenho de Aplicacoes Paralelas MPI em Maquinas Agregadas Heterogeneas Atraves de Escalonamento Estatico Documento
-
Otimizando a Multiplicação Vetor-Descritor em Arquiteturas Multinúcleo Documento
-
Otimizando o Escalonamento Dinâmico de Jobs no Processo de Rasterização de Documentos Personalizáveis em Ambientes Homogêneos Documento
-
Otimizando o Escalonamento de Jobs no Processo de Rasterização de Documentos Personalizáveis Documento
-
Otimizando o Fluxo de Tarefas em Sistemas Distribuídos de impressão: um Algoritmo de Escalonamento Dinâmico não Preemptivo Baseado em Mecanismo de Previsão Documento
-
Otimização de ferramentas para pós-processmamento metagenômico Documento
-
Otimização e Análise de Algoritmos de Ordenamento de Redes Proteicas Documento
-
Otimizações Para a Multiplicação Vetor-Descritor Através do Algoritmo Slice Documento
-
P-MIA: PADRÃO MÚLTIPLAS INSTÂNCIAS AUTOADAPTÁVEIS - UM PADRÃO DE DADOS PARA WORKFLOWS CIENTÍFICOS Documento
-
PMEMD-HW - Simulação Por Dinâmica Molecular Utilizando Hardware Reconfigurável Documento
-
PMEMD-HW: Simulação por Dinâmica Molecular Usando Hardware Reconfigurável Documento
-
PRO-SMART: Predição de Estruturas Terciárias de Proteínas Utilizando Sistemas Multiagentes Documento
-
PROCESSO DE INDUÇÃO E RANQUEAMENTO DE ÁRVORES DE DECISÃO SOBRE MODELOS OLAP Documento
-
PSOA - UM FRAMEWORK DE PRÁTICAS E PADRÕES SOA PARA PROJETOS DDS Documento
-
PSOA - UM FRAMEWORK DE PRÁTICAS SOA PARA PROJETOS DDS Documento
-
Padrões de Evolução na Prática de Desenvolvimento Distribuido de Software em Ambientes de Internal Offshoring: Um Modelo de Capacidade Documento
-
Parametrização do Paralelismo de Stream em Benchmarks da Suíte PARSEC Documento
-
Particionamento e Mapeamento de Aplicações em MPSoCs Baseados em NoCs 3D Documento
-
Particionamento e Mapeamento de MPSoCs Homogêneos baseados em NoCs Documento
-
Partitioning Algorithms for Heterogeneous MPSoC based on NoC Documento
-
Perception of Virtual Humans in an Approach to Diversity Documento
-
Performance-Aware Energy-Efficient Cloud Orchestration Documento
-
Plan recognition and failure prediction for ambient assisted living Documento
-
Planejamento Proposicional em Agentes BDI Documento
-
Planejamento distribuído em um sistema multi-agente para PCP Documento
-
Plets : a product line of model-based testing tools Documento
-
Precisão de Simulações para Solução de Modelos Estocásticos Documento
-
Predição da Estrutura Tridimensional de Proteínas utilizando o método CReF com Informações de Contato Documento
-
Predição de Desempenho de Aplicações Paralelas para Máquinas Agregadas Utilizando Modelos Estocásticos Documento
-
Predição de Encontros de Nodos Móveis para Aperfeiçoamento da Detecção de Defeitos em MANETs Documento
-
Predição do funcionamento de sistemas RFID aplicado a crachás inteligentes Documento
-
Preprocessing Profiling Model for Visual Analytics Documento
-
Processo de ETC Orientado a Serviços para um Ambiente de Gestão de Qualidade de Software baseado em Métricas Documento
-
Processo de ETC orientado a serviços para um ambiente de gestão de qualidade de software. Documento
-
Processos de Construção Automática de Tesauro Documento
-
Produção de Textos Paralelos em Língua Poruguesa e uma Interlíngua de LIBRAS Documento
-
Projeto Visando a Prototipação do Protocolo de Acesso ao Meio em Redes Ethernet Documento
-
Projeto de Sistemas Assíncronos de Comunicação Intra Chip Documento
-
Projeto de Sistemas Multiagentes em Organização EmpresariaisEm direção de uma técnica para programação orientada a agentes BDI Documento
-
Projeto de Sistemas Multiagentes em Organizações Empresariais Documento
-
Projeto e Avaliação de Técnicas de Navegação para Ambientes Virtuais Multiescalares Documento
-
Projeto e Prototipação de Interfaces e Redes Intrachip Não-Síncronas em FPGAs Documento
-
Projeto e Prototipação do Protocolo de Acesso ao Meio em Redes Ethernet Documento
-
Proposta de Arquitetura para NIDS Acelerado por Hardware Documento
-
Proposta de Integração RUP + PMBOK na Gerência de Escopo no Processo de Desenvolvimento de Software. Documento
-
Proposta de um ambiente hipermidia que permita ao leitor desempenhar o papel de criador de significado Documento
-
Proposta de uma Infraestrutura de Geração e Avaliação para Redes Intrachip Hermes-G Documento
-
Proposta de uma Linguagem Específica de Domínio de Programação Paralela Orientada a Padrões Paralelos: um Estudo de Caso Baseado no Padrão Mestre/escravo para Arquiteturas Multi-core Documento
-
Proposta de uma Representação Tensorial para Modelos Markovianos Ocultos Documento
-
Protocolo de roteamento para redes wireless mesh Documento
-
Provisão de qualidade de serviço em escalonadores para sistemas operacionais embarcados de tempo real Documento
-
Pulsar : towards a synthesis flow for QDI circuits Documento
-
QOC *: utilizando Design Rationale como ferramenta para Gestão do Conhecimento Documento
-
QPPOA: FRAMEWORK PARA QUALIFICAÇÃO DO PROCESSO DE PRODUÇÃO DE OBJETOS DE APRENDIZAGEM Documento
-
Qualidade de Serviço em Redes Intra-Chip: Implementação e Avaliação sobre a Rede Hermes Documento
-
R-MAC : protocolo de acesso ao meio para consumo eficiente de energia em redes de sensores sem fio Documento
-
RADA: Uma abordagem para a Documentação de arquIteturas de referência através de Linguagens de Descrição Arquiteturais Documento
-
RANDOM FORESTS ESTOCÁSTICO Documento
-
RE-AGREG - Um Mecanismo para Redirecionamento de Consultas a Agregados em Ambientes de Data Warehouse Documento
-
REDES INTRA-CHIP PARAMETRIZÁVEIS COM INTERFACE PADRÃO PARA SÍNTESE EM HARDWARE. Documento
-
RISKFREE4PPM: Uma Proposta de Processo para o Gerenciamento de Portfólios de Projetos Distribuídos Documento
-
RREDD: Uma Contribuição para Engenharia Reversa de Requisitos em Domínios Dinâmicos Documento
-
RREDD: uma contribuição para Engenharia de Requisitos e Evolução de Software em Domínios Dinâmicos Documento
-
RSCM - Controlador de Configurações para Sistemas de Hardware Reconfigurável Documento
-
Ranking ligands in structure-based virtual screening using siamese neural networks Documento
-
Rastreabilidade Ontológica sobre o Processo Unificado Documento
-
Re-identificação de pessoas em imagens através de características descritivas de cores e grupos Documento
-
Realocação de Recursos em Ambientes Virtualizados Documento
-
Recomendação de Tags para Mídia Social Colaborativa: da Generalização à Personalização Documento
-
Recomendações para trabalhadores na multidão superarem barreiras em projetos de software crowdsourcing Documento
-
Reconfiguração Dinâmica de Projetos de Software: Um modelo para alocação de recursos e programação de atividades em ambientes multiprojetos com recursos compartilhados Documento
-
Reconfiguração Parcial e Dinâmica para Núcleos de Propriedade Intelectual com Interfaces de Comunicação Padronizadas Documento
-
Reconfiguração Parcial e Dinâmica para Núcleos de Propriedade Intelectual. Documento
-
Reconfiguração dinâmica de projetos de software : um modelo para integrar a gerência de projetos de software com os fluxos organizacionais Documento
-
Reconhecimento de Entidades Nomeadas e Relações no Domínio de Privacidade e Responsabilização Documento
-
Reconhecimento de Entidades Nomeadas para o Português usando Redes Neurais Documento
-
Recursos do Processamento da Língua Natural Aplicados na Recuperação Semântica de Documentos de Caso de Uso Documento
-
Redes Intrachip com Topologia Toro e Modo de Chaveamento Wormhole: Projeto, Geração e Avaliação Documento
-
Reducing the Impact of State Space Explosion in Stochastic Automata Networks Documento
-
Reduction of Energy Consumption in MPSoCs Through a Dynamic Frequency Scaling Technique Documento
-
Redução do Impacto da Explosão do Espaço de Estados em Redes de Autômatos Estocásticos Documento
-
Representação 2 e 3D de Árvores Usando Escalas Documento
-
Representação 2 e 3D de árvores usando escala. Documento
-
Representação Visual de Informações de n Dimensões Documento
-
Representação visual de bases de documentos Documento
-
Resolução Paralela Verificada de Sistemas de Equações Lineares : uma Abordagem para Eficiência Energética Utilizando DVFS Documento
-
Resolução de Correferência Nominal Usando Semântica em Língua Portuguesa Documento
-
Resolução de Correferência e Categorias de Entidades Nomeadas Documento
-
Resolução de Correferência em Língua Portuguesa: Pessoa, Local e Organização Documento
-
Roteamento baseado em caminhos de maior grau de conectividade aplicado ao OLSR Documento
-
Roteamento utilizando Potencial de Entrega em Redes Tolerantes a Atrasos Documento
-
Rsapp, Um Algoritmo Baseado em Rough Sets para Auxílio ao Processo de Descoberta de Conhecimento em Banco de Dados Documento
-
Runtime Adaptive Qos Management in NoC-Based MPSoCs Documento
-
SCORE: uma propsota para projeto e implementação do comportamento de agentes cognitivos aplicado a jogos computadorizados interativos Documento
-
SEGMENTAÇÃO AUTOMÁTICA DE TECIDOS CEREBRAIS EM IMAGENS DE RESSONÂNCIA MAGNÉTICA DO TIPO FLUID-ATTENUATED INVERSION RECOVERY (FLAIR) Documento
-
SELF-ADAPTIVE QOS AT COMMUNICATION AND COMPUTATION LEVELS FOR MANY-CORE SYSTEM-ON-CHIP Documento
-
SIMPOL - Um ambiente para manipulação de expressões polinomiais baseado em Lisp Documento
-
SIMPOL: um ambiente experimental para manipulação de expressões polinomiais baseado em LISP Documento
-
SMART CONTRACTS FOR APPENDABLE-BLOCKS BLOCKCHAIN Documento
-
SOFT ERROR MITIGATION IN ASYNCHRONOUS NETWORKS ON CHIP Documento
-
SPDW-Miner: UM MÉTODO PARA A EXECUÇÃO DE PROCESSO DE DESCOBERTA DE CONHECIMENTO EM BASES DE DADOS DE PROJETOS DE SOFTWARE Documento
-
SPDW-Miner: Um Método para a Execução de Processos de Descoberta de Conhecimento em Bases de Dados de Projetos de Software Documento
-
SPLiT-TSGe - Um Processo Para Adaptação de Métodos de Geração de Sequências de Testes para Linha de Produto de Software Documento
-
Secure admission and execution of applications in noc-based many-cores systems Documento
-
Security Services Provision for SOA-based IoT Middleware Systems Documento
-
Segmentação de Hipocampo em Imagens de Ressonância Magnética Utilizando Seleção de Atlas por Meta-Informações. Documento
-
Segmentação de pessoas em imagens estáticas baseada em esqueleto Documento
-
Segurança para WEB Services com Criptografia Heterogênea baseada em Proxy. Documento
-
Seleção Eficiente de Conformações de Receptor Flexível em Simulações de Docagem Molecular Documento
-
Self-Verified Solver for Dense Linear Systems Documento
-
Self-supervised Imitation Learning Documento
-
Semi-Supervised Learning Methods for Unsupervised Domain Adaptation in Medical Imaging Segmentation Documento
-
Serviços de Comunicação Diferenciados em Sistemas Multiprocessados em Chip Baseados em Redes Intra-Chip Documento
-
SiSe: Medida de Similaridade Semântica entre Ontologias em Português Documento
-
SimGrid x SAN: Um Estudo Comparativo de Ferramentas de Avaliação de Desempenho de Plataformas Distribuídas Documento
-
SimVIZ - Um ambiente virtual de desktop para visualização e análise de múltiplas trajetórias de simulações de proteínas Documento
-
Similaridade Semântica entre Estruturas Ontológicas: Estratégias para Aprimoramento de Medida SiSe Documento
-
Simulating Behavioral Diversity in BioCrowds Documento
-
Simulation of inter and intra group behaviors using semantic virtual environments Documento
-
Simulação de Grupos de Agentes Virtuais utilizando Raciocínio de Terrenos Documento
-
Sistema Híbrido de Localização Indoor baseado em RFID e Análise Visual Documento
-
Sistemas Dinamicamente Reconfiguráveis com Comunicação via Redes Intra-Chip Documento
-
Sistemas Tutores Inteligentes Multiagentes modelados com a metodologia para Engenharia de Sistemas Multiagentes MaSE Documento
-
Sistemas multiagentes web Documento
-
Smart Execution of Molecular Docking Simulations of A Fully - Flexible Receptor Model Documento
-
Software Framework of Control Systems on an MPSoC Platform Documento
-
Solução numérica de descritores Markovianos a partir de re-estruturações de termos tensoriais Documento
-
Stochastic Random Forests Documento
-
Stochastic modeling of global software development teams Documento
-
Study and Evaluation of Human Perception on Virtual Characters and Crowds Documento
-
Style Transfer for Text-based Image Manipulation Documento
-
Subutai: Distributed Synchronization Primitives for Legacy and Novel Parallel-Applications Documento
-
Suporte para Aplicações Dinâmicas em Sistemas Multiprocessados Intra-Chip Homogêneos Documento
-
Supporting the Decision-making of the Design Thinking techniques selection to use in Software Development through a Recommendation System Documento
-
Symbolic Geometric Planning Documento
-
SÍNTESE AUTOMATIZADA DE COLUNAS DE DESTILAÇÃO: uma abordagem alternativa ao processo de projeto Documento
-
TC-Wf: Aplicando a Tecnologia de Workflow no Planejamento de Teses de Software Documento
-
TIRINHA - Ambiente para Construção Cooperativa de História em Quadrinhos Documento
-
TMRorR: UM NOVO ALGORITMO DE ESCALONAMENTO PARA O OURGRID QUE COMBINA O USO DE INFORMAÇÃO E REPLICAÇÃO Documento
-
TMRorR: Um Novo Algoritmo de Escalonamento para o Ourgrid que Combina o Uso de Informações e Replicação Documento
-
Task scheduling and security for edge devices in internet of things applications Documento
-
Teamup : conversational agents to support coordination in groupwork Documento
-
Teste Baseado em Modelos em projetos ágeis: uma abordagem baseada em Linguagem de Domínio Específico Documento
-
Testing the blade resilient asynchronous template : a structural approach Documento
-
The Use of Gamification to Support the Onboarding of Newcomers in OSS Documento
-
The impact of voltage scaling over delay elements with focus on post-silicon tests Documento
-
Tolerância a Falhas em Elementos de Processamento de MPSoCs Documento
-
Tolerância à Falhas com um Modelo de agentes. Documento
-
Tramonto : um framework para gerenciamento de pentests Documento
-
Transformação de Modelos De Processos de Negócio em Modelos de Sistema Utilizando Casos de Uso da UML Documento
-
Transformação de Modelos de Processos de Negócio em BPMN para Modelos de Sistema Utilizando Casos de Uso da UML Documento
-
Triagem Virtual em Banco de Dados de Ligantes Considerando Propriedades Físico-químicas de um Modelo de Receptor Totalmente Flexível Documento
-
Técnicas de Clusterização para Apoio à Classificação Estética de Documentos Documento
-
Técnicas de Tolerância a Falhas Aplicadas a Redes Intra-Chip Documento
-
Técnicas de Visualização de Dados de Gerenciamento de Projetos de Desenvolvimento de Software: Proposta de Extensão do PMBOK Documento
-
UM ESTUDO SOBRE A CONTENÇÃO DE DISCO EM AMBIENTES VIRTUALIZADOS UTILIZANDO CONTÊINERES E SEU IMPACTO SOBRE APLICAÇÕES MAPREDUCE Documento
-
UM FRAMEWORK PARA IDENTIFICAÇÃO E MONITORAMENTO DE PERFIS E COMPORTAMENTOS DE CONSUMIDORES BASEADO NO USO DE APLICATIVOS EM DISPOSITIVOS MÓVEIS Documento
-
UM MODELO ANALÍTICO PARA AUDITORIA CONTÁBIL EM BASES DE DADOS INFORMATIZADAS Documento
-
UM MODELO DE WORKFLOW CIENTÍFICO PARA O REFINAMENTO DA ESTRUTURA 3D APROXIMADA DE PROTEÍNAS Documento
-
UM MODELO PARA AUXILIAR A ADAPTAÇÃO DE PROCESSOS DE MANUTENÇÃO DE SOFTWARE COMPATÍVEIS COM A NORMA ISO/IEC 14764 Documento
-
UM MÉTODO DE APRENDIZAGEM BASEADA EM DESAFIOS: UM ESTUDO DE CASO EM AMBIENTES DE DESENVOLVIMENTO DE APLICATIVOS Documento
-
UM MÉTODO DE REUTILIZAÇÃO DO PROCESSO DA DESCOBERTA DE CONHECIMENTO EM BASE DE DADOS APLICADO NO SETOR AGRÍCOLA Documento
-
UM MÉTODO PARA IDENTIFICAÇÃO DE SUPERFÍCIE AQUÁTICA TURVA PARA NAVEGAÇÃO AUTÔNOMA Documento
-
UM PLANO DE MÉTRICAS PARA MONITORAMENTO DE PROJETOS SCRUM Documento
-
UMA AVALIAÇÃO EMPÍRICA SOBRE A APRENDIZAGEM COLABORATIVA EM CODING DOJO RANDORI NO CONTEXTO DE DESENVOLVIMENTO DE SOFTWARE Documento
-
UMA INVESTIGAÇÃO SOBRE EQUIPES DE ALTO DESEMPENHO EM DESENVOLVIMENTO DE SOFTWARE Documento
-
UMA METODOLOGIA PARA AQUISIÇÃO DE CONHECIMENTO EM REUNIÕES DE PROJETOS DE DESENVOLVIMENTO DE SOFTWARE Documento
-
USA-DSL process : a usability evaluation process for domain-specific languages Documento
-
USING INTERACTIVE AGENTS TO PROVIDE DAILY LIVING ASSISTANCE FOR VISUALLY IMPAIRED PEOPLE Documento
-
UTILIZAÇÃO DE ESTEGANOGRAFIA PARA AMPLIAR CONFIDENCIALIDADE EM SISTEMAS RFID Documento
-
Uberband: Meta-Aprendizado e Otimização Baseada em Bandidos Multi-Armados para Seleção Eficiente e Efetiva de Processos Completos Documento
-
Um Algoritmo Evolutivo para Indução de Árvores de Regressão Robusto a Valores Ausentes. Documento
-
Um Algoritmo para o Rastreamento em Cardumes Através da Análise de Imagens Digitais Documento
-
Um Ambiente Integrador para Análise de Processos de Negócio Documento
-
Um Ambiente para Construção Cooperativa de Histórias em Quadrinhos Documento
-
Um Ambiente para o Apoio à Realização de Experimentos Controlados Documento
-
Um Assistente Inteligente para Suporte ao Ensino de Matemática Financeira Documento
-
Um Conjunto de Boas Práticas para a Programação em Par Distribuída Documento
-
Um Dispositivo de Interação em Ambientes Virtuais de Visualização Documento
-
Um Escalonador Orientado a Sites para Grades Computacionais Documento
-
Um Estudo Empírico sobre a Adoção de Métodos Ágeis para Desenvolvimento de Software em Organizações Públicas Documento
-
Um Estudo Empírico sobre o Impacto da Confiança no Desempenho de Projetos Distribuídos de Desenvolvimento de Software Documento
-
Um Framework para a Gestão de Conhecimento em Agentes de Software Documento
-
Um Framework para a Organização do Conhecimento de Agentes de Software Documento
-
Um Framework para tratamento de dados em Bioinformática : uma aplicação ao desenho racional de drogas assistido por computador Documento
-
Um MPSoC GALS Baseado em Rede Intrachip com Geração Local de Relógio Documento
-
Um MPSoC GALS Baseado em Redes Intrachip com Geração Local de Relógio Documento
-
Um Meta-modelo para a Representação Interna de Agentes de Software Documento
-
Um Metamodelo para Apoio a Adaptação de Processos de Manutenção de Software Baseados na Norma ISSO/IEC 14764 Documento
-
Um Metamodelo para Linhas de Produto de Software Documento
-
Um Modelo Estocástico para o Escalonador do Linux Documento
-
Um Modelo Híbrido para o WSD em Biomedicina Documento
-
Um Modelo de Análise de Viabilidade para Desenvolvimento de Componentes Documento
-
Um Modelo de Apoio à Documentação de Aplicações do Processo de Descoberta de Conhecimento em Base de Dados Documento
-
Um Modelo de Estrutura para Gerência de Requisitos em Desenvolvimento Distribuido de Software Documento
-
Um Modelo de Integração de Tecnologias e Padrões para execução de Aplicações baseadas em Agentes para a Web Semântica Documento
-
Um Modelo de Processo de Engenharia de Requisitos para Ambientes de Desenvolvimento Distribuído de Software Documento
-
Um Modelo de Protocolo para Formação de Redes Ad hoc Bluetooth Documento
-
Um Modelo para Estimativa de Esforço em Projetos de Reengenharia de Software Documento
-
Um Modelo para Notificações em mHealth. Documento
-
Um Modelo para a Análise de Impacto em Código Fonte usando Ontologias e Recuperação de Informação Documento
-
Um Método Evolutivo para Aplicação de Programas de Métricas em Processos de Desenvolvimento de Software Documento
-
Um Método Semi-Automático para Extração de Estruturas Ontológicas de Domínio a Partir das Categorias da Wikipédia em Língua Portuguesa Documento
-
Um Método de Desenvolvimento de Agentes de Ajuda para Usuários Surdos Documento
-
Um Método para Evolução de Repositórios de Métricas em Processos de Desenvolvimento de Software para Processos de Negócio Documento
-
Um Processo de Aquisição e Mapeamento de Dados Para as Bacias Sedimentares Marginais Brasileiras Documento
-
Um Processo e um Modelo para a Identificação dos Principais Stakeholders de Sistema-de-Sistemas Acknowledged Documento
-
Um Simulador Robótico para Inundações Considerando Distúrbios Ambientais Documento
-
Um Sistema Tutor Inteligente para suporte ao ensino de Matemáica Financeira Documento
-
Um Workflow Científico para a Modelagem do Processo de Desenvolvimento de Fármacos Assistido por Computador Utilizando Receptor Flexível Documento
-
Um algoritmo determinístico para adaptação automática de documentos de conteúdo variável Documento
-
Um estudo empírico sobre o uso do BDD e seu apoio a engenharia de requisitos Documento
-
Um estudo exploratório da Indexação Semântica Latente e das Funções Peso Documento
-
Um estudo sobre a predição da estrutura 3D aproximada de proteínas utilizando o método CReF com refinamento Documento
-
Um estudo sobre migração de páginas no Linux. Documento
-
Um estudo sobre navegação colaborativa na web Documento
-
Um framework para agentes adaptativos na web semântica Documento
-
Um framework para criação de jogos computadorizados multiplataforma. Documento
-
Um modelo de integração entre a gerência de projetos e o processo de desenvolvimento de software Documento
-
Um modelo de referência para emulação de proximidade física no desenvolvimento distribuído de software Documento
-
Um processo de KDD para auxílio à reconfiguração de ambientes virtualizados Documento
-
Um processo de geração automática de código paralelo para arquiteturas híbridas com afinidade de memória Documento
-
Um sistema de apoio a decisão a grupos para reuniões assíncronas e distribuídas Documento
-
Um workflow científico para a modelagem do processo de desenvolvimento de fármacos assistido por computador utilizando receptor flexível Documento
-
Uma API de Comunicação para Aceleração por Hardware de Simuladores Moleculares Documento
-
Uma Abordagem Orientada a Serviços para Captura de Métricas de Processo de Desenvolvimento de Software Documento
-
Uma Abordagem Paralela para o Algoritmo Split Documento
-
Uma Abordagem Semi-automática para Identificação de Estruturas Ontológicas a partir de Textos na Língua Portuguesa do Brasil Documento
-
Uma Abordagem de Redes Neurais Convolucionais para a Análise de Sentimento Multi-lingual Documento
-
Uma Abordagem de data Warehouse para Análise de Processos de Desenvolvimento de Software Documento
-
Uma Abordagem para a Modelagem da Sociedade de um Sistema Multiagente Documento
-
Uma Aplicação para automação de experimentos de docagem molecular Documento
-
Uma Arquitetura Baseada em WBEM para o Gerenciamento de um Cluster de Máquinas Virtuais Documento
-
Uma Arquitetura Distribuída Para Suporte às Aplicações Cooperativas Documento
-
Uma Arquitetura Distribuída para Suporte às Aplicações Distribuídas Documento
-
Uma Arquitetura de Agentes Improvisacionais para Apoio a Visitação de Museus Baseada em Computadores Documento
-
Uma Arquitetura de Informação para Gerência de Requisitos em Desenvolvimento Distribuído de Software Documento
-
Uma Arquitetura para Gerenciar Ambientes Virtualizados Baseada nos Conceitos das Áreas Funcionais da Gerência Documento
-
Uma Arquitetura para Provisionamento de Ambientes de Alto Desempenho Customizados Documento
-
Uma Arquitetura para Suporte à Mineração de Dados Paralela e Distribuída em Ambientes de Computação de Alto Desempenho Documento
-
Uma Arquitetura para Suporte á Mineração de Dados Paralela e Distribuída. Documento
-
Uma Arquitetura para o Escalonamento de Simulações Computacionais Complexas em Máquinas Heterogêneas Não-dedicadas Documento
-
Uma Avaliação Comparativa de Sistemas de Memória Transacional de Software e seus Benchmarks Documento
-
Uma Avaliação Comparativa de Sistemas de Memória Transacional de Software e seus Benchmarks Documento
-
Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos Documento
-
Uma Camada de Manipulação para um Padrão de Repositório de Conteúdo Documento
-
Uma Camada de Suporte à Qualidade de Serviço para Aplicações Multimídia na Internet Documento
-
Uma Experiência de Descoberta de Conhecimento em uma Base Legada e Temporal Documento
-
Uma Exploração do Espaço de Projeto de Processadores com Hardware de Ponto Flutuante em FPGAs Documento
-
Uma Exploração do Espaço de Projeto de Processadores com Hardware de Ponto Flutuante em FPGAs Documento
-
Uma Ferramenta de Pré-processamento para a Mineração do Uso da Web voltado ao Domínio da Educação à Distância. Documento
-
Uma Infra-Estrutura De Integração De Sistemas Utilizando Notificações Por Meio De Web Services Documento
-
Uma Infraestrutura para Consistência dos Processos de Software baseados no Metamodelo SPEM 2.0 Documento
-
Uma Investigação sobre o Uso de Práticas Extreme Programming no Desenvolvimento Global de Software Documento
-
Uma Metodologia para Captura e Exibição dos Movimentos Cinemáticos Endodônticos, Baseada em Ambientes Virtuais com Retorno Háptico Documento
-
Uma Metodologia para Especificar Interação 3D Usando Redes de Petri. Documento
-
Uma Metodologia para Especificar Interação 3D utilizando Redes de Petri Documento
-
Uma Modelo de Rastreabilidade entre o Documento de Especificação de Requisitos e o Modelo de Casos de Uso do Sistema Documento
-
Uma Plataforma para Integrar Dispositivos Eletrônicos em Ambientes Pervasivos Documento
-
Uma Proposta Metodológica para Autoria WBR Documento
-
Uma Proposta de Representação Não-Linear para o Fluxo de Edição de Imagens Documento
-
Uma Proposta para Adaptação de Processos de Desenvolvimento de Software Baseados no Rational Unified Process Documento
-
Uma Proposta para Descoberta Automática de Relações Não-Taxonômicas a partir de Corpus em Língua Portugesa Documento
-
Uma Proposta para Geração de Tráfego e Avaliação de Desempenho para NoCs Documento
-
Uma Proposta para a Incorporação de Aspectos Temporais, no Projeto Lógico de Banco de Dados, em SGBDs Relacionais Documento
-
Uma Proposta para a Predição Computacional da Estrutura Terciária de Polipeptídeos Documento
-
Uma abordagem semiótica para apoiar programadores iniciantes durante o processo de reúso e de apropriação de códigos-fonte Documento
-
Uma alternativa à distributividade do produto clássico de matrizes sobre o produto tensorial generalizado Documento
-
Uma análise comparativa entre as abordagens linguística e estatística para extração automática de termos relevantes de corpora Documento
-
Uma arquitetura de gerência de rede de máquinas virtuais com ênfase na emulação de sistemas distribuídos Documento
-
Uma arquitetura para resolucao de referencias pronominais possessivas na lingua portuguesa Documento
-
Uma bilblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens Documento
-
Uma experiência de agentificação aplicada a software educacional Documento
-
Uma ferramenta para análise de desempenho em programas paralelos utilizando arquivos de rastro Documento
-
Uma metodologia de inserção de tecnologia de Data Warehouse em organizações Documento
-
Uma metodologia para definição de modelos de cobrança em ambientes de nuvens computacionais Documento
-
Uma proposta para a predição computacional da estrutura 3D aproximada de polipeptídeos com redução do espaço conformacional utilizando análise de intervalos Documento
-
Usa-DSL: Usability Evaluation Framework for Domain-Specific Languages Documento
-
Usage of Tactile Feedback to Aid Cooperative Object Manipulation in Virtual Documento
-
Using Gamification as a Collaboration Motivator for Software Teams Documento
-
Using Operator Patterns to Infer Domain-Knowledge In Planning Documento
-
Uso da Teoria de Centenring no Tratamento Computacional de Referências Anafóricas Pronominais no Português Escrito Uma Experimentação com Pronomes Pessoais Documento
-
Uso de Plug-in para Interações Multiparticipantes Confiáveis Documento
-
Uso de Realidade Aumentada no processo de treinamento de Suporte à Vida Documento
-
Uso de Representação de Conhecimento para Documentação em Metodologias Ágeis. Documento
-
Uso de relações semântico-estruturais no aprimoramento do cálculo da similaridade semântica: um estudo voltado a estruturas ontológicas em língua portuguesa Documento
-
Uso de softwares com aplicações no ensino médio Documento
-
Utilizando Grades Computacionais no Atendimento de Requisitos de e-Gov Documento
-
Utilizando a Tecnologia de Agentes na Construção de Sistemas Tutores Inteligentes em Ambientes Interativos Documento
-
Utilização de Esterótipos da UML para Modelagem de Integração de Empresas Documento
-
Utilização de Redes de Autômatos Estocásticos no Processo Unificado, Visando a Geração de Casos de Teste de Software Documento
-
Utilização de Redes de Autômatos Estocásticos no Processo Unificado, visando a Geração de Casos de Teste Documento
-
Utilização do Mathematica como Ferramenta de Apoio ao Ensino de Matemática Documento
-
Utilização do Paradigma Multi-Agentes no Processamento da Linguagem Natural: um Modelo Voltado à Resolução da Ambigüidade Léxica Categorial na Lingua Portuguesa Documento
-
VR-MED: LINGUAGEM DE DOMÍNIO ESPECÍFICO PARA DESENVOLVIMENTO DE AMBIENTES VIRTUAIS APLICADOS AO ENSINO DE MEDICINA DE FAMÍLIA E COMUNIDADE Documento
-
VULNERABILIDADES DE SEGURANÇA E CONTRAMEDIDAS EM PLATAFORMAS MPSOC Documento
-
Verificação e Prototipação de Redes Intrachip: O estudo de caso Hermes-TB Documento
-
Verificação formal de sistemas distribuídos modelados na gramática de grafos baseada em objetos Documento
-
Visualização 3D de Dados Oceanográficos Simulados Documento
-
Visualização de Informações em Dispositivos Multitoques Documento
-
Wayfinding Techniques for Multiscale Virtual Environments Documento
-
YAMPI: Uma Biblioteca de Troca de Mensagens para Agregados Conectados por Tecnologia SCI Documento
-
iLib, uma Interface de Consulta Personalizável para Bibliotecas Digitais Documento
-
intitulada Utilização de Esteganografia para Ampliar Confidencialidade em Sistemas RFID Documento
-
mRED - Um método para a engenharia de requisitos em ambientes de desenvolvimento distribuído de software Documento
-
mRED- Método para Engenharia de requisitos em ambientes distribuídos Documento
-
vMIB: Uma MIB Genérica para Gerenciamento de Recursos Virtuais Documento
-
wCReF: Uma Interface Web para o Método CREF de Predição da Estrutura 3D Aproximada de Proteínas. Documento
Pesquisas
Contato
telefone
endereço de email
Identidade