Program of Graduate Studies in Computer Science
Programa de Pós-Graduação
-
- Visão geral
-
- Publicações
-
- Pesquisas
-
- Contato
-
- Identidade
-
- Ver todos
-
Visão geral
Publicações
publicações
-
: Classificação Multirrótulo com Aprendizado Semissupervisionado: Uma Análise Multivisão de Dados. Documento
-
?Infrastructure as a Service Intra-Platform Interoperability:An Exploratory Study with OpenStack Documento
-
A Aplicação de Ontologias para métodos de Negociação de um Sistema Multi-Agente para Reconhecimento de Padrões Documento
-
A Family of Coverage Criteria Based on Patterns to the Test of Metaprograms Documento
-
A INTEGRAÇÃO DO TUTORIAL INTERATIVO TRYLOGIC VIA IMS LEARNING TOOLS INTEROPERABILITY: CONSTRUINDO UMA INFRAESTRUTURA PARA O ENSINO DE LÓGICA ATRAVÉS DE ESTRATÉGIAS DE DEMONSTRAÇÃO E REFUTAÇÃO Documento
-
A Linguagem de Descrição de Arquiteturas ZCLcsp Documento
-
A Linguagem de Especificação Algébrica CASL e o Tipo de Dados Intervalos Documento
-
A Methodology for Building Service-Oriented Applications in the Presence of Non-Functional Properties Documento
-
A Methodology to Create Large Speech Datasets for Low-Resource Languages, and Improving Social Equity by Accent Conversion for PT-BR Documento
-
A New Class of Fuzzy Subsethood Measures Documento
-
A Tourism Multi-user Recommendation Approach Based on Social Media Photos Documento
-
A framework for investigating the use of face features to identify naturally generated emotion Documento
-
A linguagem de descrição de arquitetura ZCLcsp Documento
-
A probabilistic analysis of the biometrics menagerie existence: a case study in fingerprint data Documento
-
A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code Documento
-
A study about the impact of combining keystroke and handwriting dynamics on gender and emotional state prediction Documento
-
A virtual laboratory for developing and experimenting internet of things applications Documento
-
AIGA: Um Ambiente Integrado de Gerência para Redes em Malha Sem Fio IEEE 802.11s Documento
-
ALGORITMO MEMETICO E VOCABULARY BUILDING: UMA APLICAÇÃO AO PROBLEMA DO CAIXEIRO VIAJANTE ASSIMETRICO Documento
-
ALGORITMOS EVOLUCIONÁRIOS NA SOLUCÃO DA PROGRAMAÇÃO DAS SONDAS DE PRODUÇÃO TERRESTRE Documento
-
ANÁLISE DE CONFIABILIDADE E ESTIMAÇÃO DA DEMANDA DE SERVIÇOS DAS SONDAS DE PRODUÇÃO TERRESTRES ? SPT´S NA MANUTENÇÃO DOS POÇOS DA BACIA POTIGUAR ? RN/CE Documento
-
ANÁLISE MORFOSSINTÁTICA APLICADA AO PROCESSO DE SUMARIZAÇÃO AUTOMÁTICA DE DOCUMENTOS DO PORTUGUÊS BRASILEIRO Documento
-
AO-OIL: UM MIDDLEWARE ORIENTADO A ASPECTOS BASEADOEM UMA ARQUITETURA DE REFERENCIA Documento
-
AO-OIL: Um Middleware Orientado a Aspectos Baseado em uma Arquitetura de Referência Documento
-
AVALIAÇÃO SISTEMÁTICA DE UMA ABORDAGEM PARA INTEGRAÇÃO DE FUNCIONALIDADES EM SISTEMAS WEB CLONADOS Documento
-
AVALIAÇÃO SISTEMÁTICA DE FERRAMENTAS DE DERIVAÇÃO DE PRODUTO Documento
-
Abordagem Evolucionária para Problemas da Cogeração e do Roteamento da Unidade Móvel do Pistoneio Documento
-
Abordagem de Construção de Arquitetura Homogênea para Comitês via meta-aprendizagem Documento
-
Abordagem de Geração de Arquitetura Homogênea para Comitês via Meta-aprendizagem Documento
-
Abordagens baseadas em teoria da informação para seleção automatizada de atributos Documento
-
AccNoSys: Uma Arquitetura Adaptativa Aceleradora com Interconexão baseada em Rede em Chip Documento
-
Acessibilidade na Internet para Deficientes Visuais Documento
-
Acquisition and analysis of the first keystroke dynamics biometrics database for user verification in the online collaborative game League of Legends. Documento
-
Acquisition and analysis of the first mouse dynamics biometrics database for user identification in the online collaborative game League of Legends Documento
-
Agraphs: definição, implementação e suas ferramentas Documento
-
Algebraic Semantics for Nelson's Logic S Documento
-
Algebraic semantics and calculi for Nelson's logics Documento
-
Algoritmo Memético com Vocabulary Building: Uma Aplicação ao Problema do Caixeiro Viajante Assimétrico Documento
-
Algoritmo Transgenético na Solução do Problema do Caixeiro Comprador Documento
-
Algoritmo Transgenético para o Problema do Passeio do Pistoneio Documento
-
Algoritmo genético aplicados ao Problema do Caixeiro Viajante Documento
-
Algoritmo papílio como método de proteção de templates para aumentar a segurança em sistemas de identificação biométricos Documento
-
Algoritmo simulated annealing híbrido para o problema de roteamento de veículos com frota heterogênea Documento
-
Algoritmo transgenético para os problemas da geometria e da intensidade em IMRT Documento
-
Algoritmos Científicos Documento
-
Algoritmos Evolucionários aplicados ao Nonograma com Aplicações em Reconhecimento de Padrões e Compactação de Dados Documento
-
Algoritmos Evolucionários na Solução do Problema de Programação de Sondas de Produção Terrestre Documento
-
Algoritmos Evolucionários para a Distribuição de Produtos de Petróleo por Redes de Polidutos Documento
-
Algoritmos Metaheurísticos Híbridos para a Tomada de Decisão Autônoma em Sistemas Embarcados Documento
-
Algoritmos Transgenéticos Aplicados ao Problema da Árvore Geradora Biobjetivo Documento
-
Algoritmos de Agrupamento Fuzzy Intervalares e Índices de Validação para Agrupamento de Dados Simbólicos do Tipo Intervalo. Documento
-
Algoritmos de agrupamento aplicados a dados de expressão gênica de câncer: um estudo comparativo Documento
-
Algoritmos evolucionários para o problema de dimensionamento dos dutos de uma rede urbana de distribuíção de gás natural Documento
-
Algoritmos experimentais para o problema biobjetivo da árvore geradora quadrática em adjacência de arestas Documento
-
Algoritmos meta-heurísticos para a solução do problema do caixeiro viajante com múltiplas caronas Documento
-
Algorítmo evolucionário para a distribuição de produtos de petróleo por redes de polidutos Documento
-
Ambientes residenciais controlados por dispositivos móveis: estudo, concepção e desenvolvimento de um aplicativo considerando a diversidade Documento
-
An aI based tool for networks-on-chip design space exploration Documento
-
An experimental investigation of letter identification and scribe predictability in medieval manuscripts Documento
-
An extension of a tool for the formal support for component-based development Documento
-
An investigation of biometric-based user predictability in the online game League of Legends Documento
-
Analisando Desempenho e Diversidade em Ensembles com Classificadores Construtivos. Documento
-
Analisando o Desempenho do Class Age: Um Sistema Multiagentes para a Classificação de Padrões. Documento
-
Analisando o Desempenho e Diversidade em Sistemas Multiclassificadores com Componentes Construtivos Documento
-
Analisando o desempenho do ClassAge: um sistema multiagentes para classificação de padrões Documento
-
Análise Experimental de Variações da Heurística de Lin e Kernighan para o Problema do Caixeiro Viajante Multiobjetivo Documento
-
Análise das Medidas de Boa e Má Diversidade na Construção de Comitês de Classificadores Através de Metaheurísticas de Otimização Multiobjetivo Documento
-
Análise de Escalabilidade de uma Implementação Paralela do Simulated Annealing Acoplado Documento
-
Análise de Impacto Baseada em Rastreabilidade de Artefatos para Linhas de Produto de Software Documento
-
Análise de confiabilidade e estimação da demanda de serviços das sondas de produção terrestre - SPT's na manutenção dos poços da bacia potiguar RN/CE Documento
-
Análise do comportamento de estudantes em videoaulas Documento
-
Aplicando Gamificação no Ensino de Teste de Software Documento
-
Aplicação de ontologias para métodos de negociação de um sistema multiagente para o reconhecimento de padrões Documento
-
Aplicação do Algoritmo de Otimização por Colônia de Formigas na Solução do Problema do Passeio do Robô Seletivo Documento
-
Aplicação do Método B ao Projeto Formal de Software Embarcado Documento
-
Aplicação do Operador OWA nos Problemas da Otimização de Ângulo de Feixe e da Intensidade em IMRT Documento
-
Apoiando a Construção de Testes de Aceitação Automatizados a partir da Especificação de Requisitos Documento
-
Aprendizado Significativo Aplicado ao Ensino de Algoritmos Documento
-
Aprendizagem da língua japonesa apoiada por ferramentas computacionais: estudo e desenvolvimento do jogo Karuchā Ships Invaders Documento
-
ArchWiSeN: uma estratégia baseada em modelos para desenvolvimento de aplicações para redes de sensores e atuadores sem fio Documento
-
Arquitetura Hardware/Software de um Núcleo NCAP Segundo o Padrão IEEE 1451.1: Uma Prova de Conceito Documento
-
Arquitetura com elevada taxa de processamento e reduzida largura de banda de memória para a estimação de movimento em vídeos digitais Documento
-
Arquitetura de microsserviços para processamento de imagens relevantes em evidências de crimes digitais Documento
-
Arquitetura e Biblioteca para FERUS - Apoio Formal à Especificação e Re-Utilização de Componentes de Software Documento
-
Arquitetura e biblioteca para FERUS - apoio formal a espercificação e re-utilização de componentes de software Documento
-
AutoWebS: Um Ambiente para Modelagem e Geração Automática de Serviços Web Semânticos Documento
-
Autodimensionamento proativo para elasticidade assertiva de funções de rede virtuais em serviços encadeados Documento
-
Autômatos Fuzzy Hesitantes Típicos: Teoria e Aplicações Documento
-
Avaliacao da Execucao de Aplicacoes Orientadas a Dados na Arquitetura de Redes em Chip IPNoSys. Documento
-
Avaliando Contribuição de Desenvolvedores Para Pojetos de Software Utilizando Mineração de Repositórios de Software e Mineração de Processos Documento
-
Avaliando a Robustez e Manutenibilidade do Comportamento Excepcional de Aplicações C# Documento
-
Avaliando o Modelo de Rede Neural RePART em Comitês com Diferentes Níveis de Diversidades Documento
-
Avaliando o impacto da utilização de renderizações panorâmicas para a navegação em ambientes virtuais. Documento
-
Avaliação Sistemática de Abordagens de Derivação de Produto Documento
-
Avaliação Top-Down de Consultas de Caminhos Livres-de-Contexto em Grafos Documento
-
Avaliação da Execução de Aplicações Orientadas a Dados na Arquitetura de Rede-em-Chip IPNoSys Documento
-
Avaliação de Arquiteturas de Agentes Emocionais: uma abordagem baseada em métricas de qualidade e na influência das emoções sobre usuários Documento
-
Avaliação de Desempenho de Protocolos de Roteamento para Redes Móveis Ad Hoc sob Condições de Tráfego de Aplicações de Videofone Documento
-
Avaliação de Reusabilidade de Aplicações Web Baseadas em Frameworks Orientados a Ações e a Componentes: Estudo de caso sobre os Frameworks Apache Struts e JavaServer Faces Documento
-
Avaliação de Reusabilidade de Código de Aplicações Web Baseadas em Frameworks Orientados a Ações e a Componentes:Estudo de caso sobre os Frameworks Apache Struts e JavaServer Faces Documento
-
Avaliação do Uso de Smartphones na Interação com as Aplicações da Televisão Digital Brasileira Documento
-
BETA: Uma ferramenta para geração de testes de unidade a partir de especificações B Documento
-
BMMobile: Uma Linha de Produtos de Software para Dimensionamento de Bombeio Mecânico em Dispositivos Móveis Documento
-
BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML Documento
-
BSMART: Desenvolvimento Rigoroso de Aplicações Java Card Com Base no Método Formal B. Documento
-
BTS: Uma ferramenta de suporte ao desenvolvimento de sistemas confiáveis baseados em componentes Documento
-
Beta: a B based testing approach Documento
-
Brain-computer interface games based on consumer-grade electroencephalography devices: systematic review and controlled experiments Documento
-
Bricks: Um Modelo Composicional com Suporte à Composição Baseada em Negociação de Propriedades de Interfaces. Documento
-
Business-driven Technical Debt Prioritization Documento
-
CALV3 - UMA LINGUAGEM ESPECÍFICA DE DOMÍNIO PARA SEGURANÇA EM SISTEMAS CORPORATIVOS: UM ESTUDO DE CASO SISTEMÁTICO NA INDÚSTRIA Documento
-
CES ? Um Mecanismo Genérico de Composição de Eventos para Sistemas Sensíveis ao Contexto Documento
-
COMPUTAÇÃO INTERVALAR EM REDES NEURAIS PERCEPTRON Documento
-
Caixeiro viajante com coleta de prêmios e passageiros Documento
-
Caracterizando Fluxos Excepcionais em Linhas de Produto de Software Documento
-
Caracterizando os Fluxos Excepcionais em Linhas de Produtos de Software: Um Estudo Exploratório Documento
-
Carcará: Um sistema multi-agente para busca na web com sugestões dinâmicas aos usuários Documento
-
Catálogo de recomendações para auxiliar adoção ou transformação ágil Documento
-
Cloud Computing Assisted Smart Surveillance Based Transportation-Safety System to Improve Crime Assistance on Smart Cities Documento
-
Cloud Integrator: Uma Plataforma para Composição de Serviços em Ambientes de Computação em Nuvem Documento
-
Cloud Stratus: Uma plataforma de middleware para desenvolvimento de aplicações em nuvem Documento
-
Cloud query manager: uso de web semântica para evitar o problema de aprisionamento em IaaS Documento
-
Combinando Aspectos e Componentes: uma abordagem interpretada Documento
-
Comitês de Agrupamentos Aplicados a Dados de Expressão Gênica Documento
-
Comitês de Classicadores para o Reconhecimento Multibiométrico em Dados Biométricos Revogáveis Documento
-
Comitês de Classificadores Neurais - Estratégias para Construção e Emprego Documento
-
Comitês de grupamento aplicados a dados de expressão gênica Documento
-
Comparação do impacto de técnicas de auxílio à navegação no wayfinding em tarefas de busca em ambientes virtuais. Documento
-
Computabilidade no Espaço dos Intervalos Reais: Um Modelo BSS Intervalar Documento
-
Computação Evolucionária Aplicada a Problemas de Otimização Combinatória. Documento
-
Concepção Multi-Agentes para Implementação do Raciocínio Aproximado Documento
-
Concepção e implementação de uma malha de interconexão crossbar. Documento
-
Concepção multi-agentes de um modelo conceitual de aprendizado indutivo Documento
-
Conjuntos fuzzy multidimensionais Documento
-
Construção de Mosaicos Georreferenciados usando Imagens Aéreas de Pequeno Formato Documento
-
Contribuição MicroARTMAP Colaborativo Documento
-
Contribuições na Otimização Discreta por Nuvem de Partículas - Aplicação ao Problema do Caixeiro Viajante Documento
-
Contribuições para o Processo de Verificação de Satisfatibilidade Módulo Teoria em Event-B. Documento
-
Contribuições para verificação automática de applets javacard Documento
-
Contrinuições para a verificação automática de applets JavaCard Documento
-
Controle de Mobilidade Infraestruturado e Orientado à Qualidade para Maximização de Admissões em Sistemas WiNeMO: Uma Abordagem Definida por Software Documento
-
Controle de Mobilidade Inteligente Orientado por Cloud-Network Slicing em Infraestruturas 5G Documento
-
Controle de QoS e QoC em Middleware para Aplicações Ubíquas Documento
-
CrashAwareDev: apoiando o desenvolvimento a partir da mineração e análise de crash reports Documento
-
Criptoanálise Diferencial do Papílio Documento
-
CrossMDA-SPL: Uma Abordagem para Gerência de Variabilidades Dirigida por Modelo e Aspectos Documento
-
CrossMDA-SPL: Uma Abordagem para Gerência de Variações Baseada em Modelos e Aspectos Documento
-
CrossMDA: promovendo o desaclopamento de pointcuts em um processo de Desenvolvimento Orientado a Aspectos Dirigidos a Modelos Documento
-
Dados abertos do governo brasileiro: entendendo as perspectivas de fornecedores de dados e desenvolvedores de aplicações ao cidadão Documento
-
Deciding difference logic in a Nelson-Oppen combination framework Documento
-
Desenvolvimento Formal de Aplicações para Smart Cards Documento
-
Desenvolvimento Guiado por Interpretação de Metadados, uma Abordagem de Desenvolvimento Dissociado do Domínio de Negócios Documento
-
Desenvolvimento de aplicações móveis baseadas em sistemas de informações web existentes. Documento
-
Desenvolvimento de chatterbots: um estudo de caso voltado ao ensino de algoritmos Documento
-
Desenvolvimento e avaliação do Nihongo Kotoba Shiken: um exame computadorizado de conhecimento da língua japonesa Documento
-
Design e Avaliação de Sistemas Multimídia para Web: Um Estudo de Caso Documento
-
Distribuição de Derivados de Petróleo por Redes de Polidutos: Uma Abordagem através de Algoritmos Evolucionários Híbridos para um Problema Triobjetivo Documento
-
Documentação de requisitos e compartilhamento do conhecimento: Uma proposta a partir de um estudo etnográfico Documento
-
Dos Alfabetos ao Exame de Proficiência: Revisão Sistemática de Aplicativos para Ensino e Revisão da Língua Japonesa Documento
-
Dos Requisitos a Arquitetura em Linhas de Produtos de Software: Uma Estrategia de Transformações entre Modelo Documento
-
Dos requisitos à arquitetura em linhas de produtos de software: uma estratégia de transformações entre modelos Documento
-
ECSFlow: implementação de um modelo de tratamento de exceção para C# Documento
-
EUPAT for WoW: Uma Ferramenta de Assistência à Programação por Usuário Final Documento
-
EcoCIT: uma plataforma escalável para desenvolvimento de aplicações de IoT Documento
-
Edge-distributed stream processing for video analytics in smart city applications Documento
-
Educação à distância via Web - Desenvolvimento de um modelo conceitual Documento
-
Elaboração e Implementação de uma Estratégia Baseada em Transgenética Computacional para Otimização da Configuração do Serviço de Distribuição de Vídeo DynaVideo Documento
-
Em direção a uma representação para equações algébricas: uma lógica equacional local Documento
-
Enhancing the SZZ Algorithm to Deal with Refactoring Changes Documento
-
Enriching SysML-Based Software Architecture Descriptions: A Model-Driven Approach Documento
-
Equivalência e consistência entre funções intervalares Documento
-
Especificação Formal de Mecanismos de Sincronização em Aplicações Multimídia baseadas no PREMO Documento
-
Especificação do tipo intervalar parametrizado em CASL Documento
-
Especificação e implementação do DynaVideo VoD Server Documento
-
Especificação e monitoramento dinâmico da política de tratamento de exceções Documento
-
Estendendo CRefine para o suporte de táticas de refinamento Documento
-
Estimativa em Projetos de Desenvolvimento de Aplicações Móveis Documento
-
Estudo Conceitual do Paradigma Baseado em Agentes como Solução Computacional de Problemas Documento
-
Estudo da Viabilidade de Desenvolvimento de Sistemas Integrados Baseados em Redes em Chip sem Processadores: Sistema IPNoSys Documento
-
Estudo da Viabilidade do Desenvolvimento de Sistemas Integrados Baseados em Redes em Chip sem Processadores: Sistemas Ipnosys Documento
-
Estudo de Técnicas de Aprendizado de Máquina para Predição de Eventos através de Dados Neurofisiológicos: um estudo de caso com Epilepsia Documento
-
Estudo empírico de análise da compatibilidade de aplicações Android com diferentes versões da API da plataforma Documento
-
ExMinerSOF: Minerando Informações Excepcionais do StackOverflow Documento
-
Extendendo CASL para Especificar Sistemas Contínuos Documento
-
Extending CRefine to Support Tactics of Refinement Documento
-
Extensões Intervalares do Método de Segmentação de Imagens digitais por K-Means: Estudos Comparativos e de Caso Documento
-
Extensões ao Projeto LVWNet: Mobilidade, interação com equipamentos reais, comunicação direta, e registro dinâmico de nós Documento
-
Extraindo dados de tráfego a partir de vídeos em tempo real Documento
-
Extração de Regras Simbólicas de Agrupamentos de Dados de Expressão Gênica. Documento
-
FMTA - Um Framework para Monitoramento de Trafego de Aplicacoes Multimidia Documento
-
FRiDA: uma ferramenta de predição para rápida exploração do espaço de projeto de processadores combinados com aceleradores reconfiguráveis Documento
-
Flow-Shop de Permutação Variante Total Flowtime: um Estudo Algorítmico Documento
-
Flowshop de Permutação Variante Total Flowtime: Um estudo algorítmico Documento
-
Formal Verification of PLC Programs using the B Method Documento
-
Formally verified compilation with the B method Documento
-
Funções mistura generalizada e aplicações Documento
-
GPU Support for Automatic Generation of Finite-Differences Stencil Kernels Documento
-
GT4CCI: uma abordagem baseada em grounded theory para a identificação de interesses transversais em documentos de requisitos Documento
-
Game Criativo: Desenvolvendo Habilidades de Pensamento Computacional, Leitura e Escrita através de uma Abordagem para Criação de Jogos Documento
-
Game Design de Jogos Digitais de Pensamento Computacional Inspirados no Instrumento de Avaliação Bebras Challenge Documento
-
GeOntoQuery - Um Mecanismo de Busca em Banco de Dados Geográficos Baseado em Ontologias Documento
-
GeOntoQuery - Um Mecanismo de Busca em Bancos de Dados Geográficos Baseado em Ontologias Documento
-
Generalizações da Integral de Choquet como Método de Combinação em Comitês de Classificadores Documento
-
Generalizações do Conceito de Distância, i-Distâncias, Distâncias Intervalares e Topologia. Documento
-
Geração Automática de Testes a partir de Descrições de Linguagens Documento
-
Geração Procedural de Cenários Orientada a Objetivos Documento
-
Geração Procedural de Cenários Orientada a Objetivos Documento
-
Geração automática de hardware a partir de especificações formais: Estendendo uma abordagem de tradução Documento
-
Geração de Casos de Teste a partir de Especificações B Documento
-
Geração de Interface de Usuários de Sistemas Web para Múltiplos Dispositivos com o Uso de Componentes de IU Documento
-
Geração de Processos BPEL com Base em um Algoritmo de Reescrita de Regras Documento
-
Geração de Testes a partir de gramáticas Documento
-
Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU Documento
-
Geração de testes a partir de gramáticas: áreas de aplicação Documento
-
Geração de tutores virtuais para turmas baseadas em PBL Documento
-
Gestão de Requisitos Legais com Foco na Conformidade dos Sistemas com a Legislação Vigente Documento
-
GingaForAll: Linha de Produtos do Middleware Ginga Documento
-
Hybridizing Metaheuristics for Multi- and Many-objective Problems in a Multi-agent Architecture Documento
-
IPNoSys III: O Paradigma de Redes Definidas por Software Aplicado ao Controle de um Multiprocessador com Modelo de Execução Não Convencional Documento
-
Identificação de dificuldades e questões de interesse de desenvolvedores de aplicações para Big Data com o framework Apache Spark Documento
-
Identificando Interesses Transversais em Modelos de Requisitos PL-AOVgraph Documento
-
Identifying and Analyzing Java Exception Handling Guidelines: A Developers Point-of-View Documento
-
Implementação Hardware/Software da estimação de movimento segundo o padrão h.264 Documento
-
Implementação da Técnica de Paralelismo Software Pipelining na Rede em Chip IPNoSyS Documento
-
Implementação de uma Malha de Interconexão Crossbar Switch Documento
-
Implementação do Algoritmo de crioptografia Papílio no OpenSSL Documento
-
Improvements on Graph Path Queries: Expression, Evaluation, and Minimum-Weight Satisfiability Documento
-
Improving Legal Rhetorical Role Labeling Through Additional Data and Efficient Exploitation of Transformer Models Documento
-
Improving bug localization by mining crash reports: an empirical study Documento
-
Infecções virais na aceleração da solução do passeio do pistoneio. Documento
-
Infoestrutura: Um Sistema em Nuvem para Prover Contexto como Serviço no Cenário de Internet das Coisas Integrado a Ambientes Veiculares. Documento
-
Instanciação e avaliação de um framework para a geração dinâmica de processos Documento
-
Integrais de Linha Intervalares: Fundamentos e Aplicações. Documento
-
Integrando Padrões Através de Meta-modelos Documento
-
Integração de Dispositivos Elétricos Inteligentes de Abordagem Legada em Sistemas Smart Grid Baseados na IoT Documento
-
Interação Gestual em Ambiente Residencial: Estudo, Concepção e Desenvolvimento Documento
-
Interfaces cérebro-computador: estudo, design e desenvolvimento do jogo AdmiralMind Battleship Documento
-
Investigando a Combinação de Técnicas de Aprendizado Semisupervisionado e Classificação Hierárquica Multirrótulo Documento
-
Investigando a Relação entre Integração Contínua e Métricas de Qualidade de Sóftware: Um Estudo Empírico Documento
-
Investigando a compressão da percepção de distância em ambientes virtuais através da comparação entre dispositivos de visualização Documento
-
Investigando o Uso de Aulas On-line de Programação de Jogos Digitais no Ensino Básico Documento
-
Investigando o Uso do Sentido Háptico na Visualização de Dados Multivariados em Gráficos de Dispersão Bidimensionais Documento
-
Investigating fuzzy methods for multilingual speaker identification Documento
-
Investigação do Ensino de Engenharia de Requisitos na Perspectiva da Academia e da Indústria: Um enfoque em Documentação de Requisitos Documento
-
Investigações sobre Técnicas de Arquivamento para Otimizadores Multiobjetivo Documento
-
JAVA-XSC: Módulos Complexo e Complexo Intervalar Documento
-
JAVA-XSC: Uma Biblioteca JAVA para Computações Intervalares Documento
-
JCML - Java Card Modeling Language: Definição e Implementação Documento
-
JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java Documento
-
JFloat: Uma Biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento controlado. Documento
-
JFloat: biblioteca de ponto flutuante para Java com arredondamento direcionado Documento
-
Java-XSC: Modulo Complexo Intervalar Documento
-
Joker: Um Framework de Animação para Especificações Formais Documento
-
KNoT-FI: Um Ambiente Integrado baseado no FIWARE para Desenvolvimento de Aplicações de Internet das Coisas Documento
-
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicacoes Java Card com o metodo B. Documento
-
Konect: framework de desenvolvimento para aplicações do Kinect. Documento
-
LOrbSec: Uma biblioteca para Construção de Objetos Distribuídos Seguros Documento
-
LWiSSy - Uma Linguagem Específica de Domínio Para Modelagem de Sistemas de RASSF Documento
-
LWiSSy: Uma Linguagem Específica de Domínio Para Modelagem de Sistemas de Redes de Sensores e Atuadores Sem Fio Documento
-
Leveraging the Development of FIWARE-based Internet of Things Applications with IoTVar Documento
-
Linear logic as a logical framework Documento
-
Linguagem de Domínio Específico para Modelagem e Avaliação de Processadores. Documento
-
Linguagens Lineares Fuzzy Documento
-
Local Livelock Analysis for Component-Based Models Documento
-
Lógicas BDI Fuzzy Documento
-
MARISA-MDD - Uma Abordagem para Transformações entre Modelos Orientados a Aspectos: dos Requisitos ao Projeto Detalhado Documento
-
MKey: Um protocolo para o Gerenciamento de Chaves de Grupo Documento
-
MOBILE INTERACT: Uma Ferramenta de Gerenciamento de Conexões entre Celulares e Servidores Utilizados para Interação em Ambientes Interativos de Educação à Distância Documento
-
MOBILE INTERACT: Uma ferramenta de auxílio didático proporcionando interação entre professores e alunos através de celulares. Documento
-
MOSCA/D: Algoritmos Científicos Multiobjetivos Baseados em Decomposição Documento
-
MalariaApp: Um Sistema de Baixo Custo para Diagnóstico de Malária em Lâminas de Esfregaço Sanguı́neo usando Dispositivos Móveis Documento
-
Malha de Interconexão para Sistemas Integrados em Chip Único Documento
-
Mecanismo de tolerância a falhas através de escalonamento para uma arquitetura reconfigurável de grão grosso Documento
-
Medição Precisa de Áreas de Feridas Crônicas Usando Structure From Motion Documento
-
Meta-heurísticas de otimização tradicionais e híbridas utilizadas para construção de comitês de classificação Documento
-
Meta-heurísticas híbridas Aplicadas ao Problema da Árvore Geradora Multiobjetivo Documento
-
Metaheurísica Busca Tabu Aplicada à Solução do Problema da Unidade Móvel do Pistoneio Documento
-
Metaheurística busca tabu aplicada à solução do problema da unidade móvel de pistoneio Documento
-
Metaheurísticas Paralelas para o Problema de Alocação de Sondas de Produção Terrestre: Desenvolvimento e Aplicação. Documento
-
Metodologia para análise da dependabilidade de Smart Grids Documento
-
Metodologia para sistemas dinâmicos Documento
-
Midgard: Um Middleware Baseado em Componentes e Orientado a Recursos para Redes de Sensores sem Fio. Documento
-
Minerando exceções Runtime não documentadas em bibliotecas Java a partir do GitHub: um estudo exploratório Documento
-
Mission-driven Software-intensive System-of-Systems Architecture Design Documento
-
MoSAC: Um Módulo Para Seleção de Configurações Arquiteturais Baseado em Critérios de QoS no Contexto de Sistemas Distribuídos Autoadaptativos Documento
-
Modelagem Formal do Sistema Operacional de Tempo Real FreeRTOS Utilizando o Método B Documento
-
Modelagem de Arquiteturas Reconfiguráveis com Espaços de CHU. Documento
-
Modelando uma Arquitetura PRAM-CRCW com Espaços de Chu Documento
-
Modelo de Interoperabilidade para Utilização dos Recursos dos Ambientes Virtuais de Aprendizagem através de Dispositivos Móveis Documento
-
Modelos e Algoritmos para o Problema de Planejamento para Produção de Recursos em Jogos de Estratégia de Tempo Real Documento
-
Modelos para Qualidade de Software: um Estudo Comparativo Documento
-
Multicast Packing Problem - Abordagem Multiobjetivo Documento
-
MyPersonal-EPG: Um EPG Personalizável e com Suporte à Recomendações para o SBTVD Documento
-
Métricas para Avaliação de Sistemas de Middleware Orientado a Aspectos e Aplicação em um Sistema de Monitoramento de Poços de Petróleo Documento
-
N2N FRAMEWORK: UMA PLATAFORMA PARA DESENVOLVIMENTO DE SISTEMAS COLABORATIVOS DISTRIBUÍDOS Documento
-
Negações e Implicações Fuzzy Multidimensionais Documento
-
Novas Abordagens para Configurações Automáticas dos Parâmetros de Controle em Comitês de Classificadores Documento
-
Novos Métodos Determinísticos para Gerar Centros Iniciais dos Grupos no Algoritmo Fuzzy C-Means Documento
-
Números Dinâmicos: Uma abordagem computacional orientada a objetos com implementações na linguagem Java Documento
-
O Problema do Bin Packing Tridimensional em Contêineres: Usando Interação com o Usuário Documento
-
O Problema do Caixeiro Viajante com Alugueis de Carros: Um Estudo Algorítmico Documento
-
O Problema do Caixeiro Viajante com Múltiplos Passageiros e Quota Documento
-
O Problema do Caixeiro Viajante com Múltiplos Passageiros, Bônus Opcionais, Quota e Tempo Documento
-
O Problema do Caixeiro Viajante com Passageiros e Lotação Documento
-
O Problema do Caminho mais curto Multiobjetivo Aplicado ao Problema da Navegação de Robôs Documento
-
O Problema do Hiker Dice em Tabuleiro Compacto: Um estudo algorítmico Documento
-
O Uso da Lógica Difusa no Controle de Parâmetros do Algoritmo Genético para o Problema do Caixeiro Viajante Documento
-
O problema biobjetivo da árvore geradora quadrática em adjacência de arestas Documento
-
On Extension of Fuzzy Connectives Documento
-
On Fuzzy Implication Classes - Towards Extensions of Fuzzy Rule-Based Systems Documento
-
On Rich Modal Logics Documento
-
On fuzzy implications classes - Towards extensions of fuzzy rule-based systems Documento
-
Ordenação de Variáveis de BDDs Utilizando Algoritmos Genéticos Paralelos Documento
-
Ordenação de variáveis de BDDs utilizando algoritmos genéticos paralelos Documento
-
Ordenação inicial de BDDs para a verificação de sistemas de transição finita Documento
-
Orthus: A Blockchain Platform for Smart Cities. Documento
-
Otimização Multicritério dos Problemas de Ângulos de Feixe e Mapa de Fluência para Tratamentos Radioterápicos IMRT Documento
-
Otimização das Intervenções em poços de petróleo por sondas de produção terrestre: uma abordagem Metaheurística Documento
-
Otimização de Comitês de Agrupamento Usando o Algoritmo Coral Reefs Optimization Documento
-
Otimização de Topologia Irregular Para Aplicações Tempo Real e Não Tempo Real em MP-SoCs Baseadas em Redes-em-Chip Documento
-
Otimização do Corte: Ênfase na Indústria de Confecção Documento
-
Otimização do Gerenciamento das Intervenções em Poços de Petróleo por Sondas de Produção Terrestre: Uma Abordagem Metaheurística Documento
-
Otimização em Braquiterapia de Alta Taxa de Dose com Algoritmo Transgenético. Documento
-
Otimização em comitês de classificadores: Uma abordagem baseada em filtro para seleção de subconjuntos de atributos Documento
-
POIROT - Um ambiente para avaliação de interfaces de usuário Documento
-
POPT: Uma Abordagem de Ensino de Programação Orientada a Problema e Testes Documento
-
PUPSI :uma proposta de processo unificado para políticas de segurança da informação Documento
-
PUPSI: Uma Proposta de Processo Unificado para Políticas de Segurança da Informação Documento
-
Papílio: Proposta de um algoritmo de criptografia baseado no algoritmo Viterbi e codificação convolucional Documento
-
Parallelized Superiorization Method for History Matching Problem Using Seismic Priors and Smoothness in Parts Documento
-
Plataforma Interativa de Análise de Velocidade em Dados Sísmicos usando GPUs Documento
-
Plausabilidade Emocional no Desenvolvimento de Chatterbots para o Ensino de Algoritmos Documento
-
Poirot - Uma ferramenta de avaliação de interfaces de usuário Documento
-
Predspot: Predicting Crime Hotspots with Machine Learning Documento
-
Problema do Caixeiro Viajante Alugador com Passageiros Documento
-
Problema do Caixeiro Viajante Elétrico com Passageiros Documento
-
Problema do Caixeiro Viajante com Cota, Passageiros, Transporte Incompleto e Tempo de Coleta Documento
-
Problema do Passeio Lucrativo com Passageiros e Penalidades por Atrasos Documento
-
Problema do Passeio Lucrativo com Passageiros e Restrições de Tempo - PPL-RT Documento
-
Processo dirigido por modelos para a E.R. subsidiado pelo uso de ontologias e linguagens naturais controladas Documento
-
Processo para Engenharia de Requisitos, apoiado de um CIM composto por ontologias e Linguagens Naturais Controladas Documento
-
Projeto de Sistemas Integrados de Propósito Geral Baseados em Redes em Chip ? Expandindo as Funcionalidades dos Roteadores para Execução de Operações: A plataforma IPNoSys Documento
-
Projeto e Implementação de um Framework de Agentes de Recomendação para Sistemas Web Documento
-
Projeto e Implementação de uma Plataforma MP-SoC usando SystemC Documento
-
Projeto e implementação em FPGA de um processador com conjunto de instruções reconfigurável utilizando VHDL Documento
-
Projetos desenvolvidos em hackathons e game jams continuam? Um estudo exploratório sobre a manutenção das relações sociais e a continuidade dos projetos em eventos colaborativos de curta duração Documento
-
Proposta de Arquitetura de Alto Desempenho para Sistemas de Tempo Real Documento
-
Proposta de um processador multithreading com características de previsibilidade Documento
-
Proposta e Implementação de um Núcleo para a Estimação de Movimento segundo o padrão H.264 Documento
-
Proposta e Implementação de uma Arquitetura Reconfigurável Híbrida para Aplicações Baseadas em Fluxo de Dados Documento
-
Prova Automática de Satisfatibilidade Módulo Teoria Aplicada ao Método B. Documento
-
Quantum computing application in super-resolution Documento
-
Quiosque Informativo para os Programas de Saúde Pública Documento
-
Renderizações Não Fotoreslísticas para Estilização de Imagens e Vídeos Usando Areia Colorida Documento
-
Renderizações não Fotorealísticas para Estilização de Imagens e Vídeos Usando Areia Colorida. Documento
-
Rendimento Escolar Corrigido Como Garantia de Qualidade No Acesso Ao Ensino Superior Documento
-
ReqSys-MDD: Uma Ferramenta para Mapeamento entre Modelos de Features e Requisitos em Linhas de Produtos de Software Documento
-
Reqsys-MDD: uma ferramenta para mapeamento entre modelos de features e requisitos em linhas de produto de software Documento
-
Reversal Fuzzy Switch Graphs Documento
-
Roteamento Multicast Multissessão - modelos e algoritmos Documento
-
Roteamento de Drones Autônomo: Um EstudoAlgorítmico Documento
-
SGEOL: Uma Plataforma para o Desenvolvimento de Aplicações para Cidades Inteligentes Documento
-
SGUMP: Um sistema Computacional Georreferenciado de Apoio à Decisão para Otimização do Gerenciamento de Unidades Móveis de Pistoneio Documento
-
SMiLe: uma notação textual modular para modelos iStar Documento
-
SNIFERA: Um Modelo de Sistema de Informações para Sistemas de Qualidade Baseados na Família de Normas ISO 9000/9001/9000-3 Documento
-
STREAM-AP: um processo para sistematizar a escolha de padrões arquiteturais baseado em requisitos não-funcionais Documento
-
Sabiá: Arquitetura Integrada de Autenticação e Autorização deDados Orientada ao Consentimento do Usuário para Ecossistemas deAprendizagem em Saúde no Brasil Documento
-
Scientific Artifacts and Methodology for Research Employing Electroencephalography-based Brain-Computer Interface Games Documento
-
Segmentação Fuzzy de Imagens e Vídeos Documento
-
Segmentação Fuzzy de Texturas e Vídeos Documento
-
Segmentação Vascular Documento
-
Segmentação Vascular com Extração de Centerlines em Paralelo utilizando Height Ridges Documento
-
Segurança Contra a Falsificação de Endereços IP na Resolução de Nomes no DNS Documento
-
Seleção de Atributos Baseado em Algoritmos de Agrupamento para Tarefas de Classificação Documento
-
Seleção de Atributos em Comites de Classificadores: Uma Abordagem usando Algoritmos Genéticos Documento
-
Seleção de Atributos em Comitês de Classificadores Heterogêneos Utilizando Algoritmos Genéticos Documento
-
Self-adaptive authorisation in cloud-based systems Documento
-
Simulação de Reservatórios de Petróleo em Ambiente MP-SoC Documento
-
Simulação de Reservatórios de Petróleo em Ambiente MPSoC Documento
-
Sincronia Dinâmica de Sistemas Multimídia Distribuídos Utilizando Técnicas de Aprendizado de Máquina Documento
-
Sistema Especialista Fuzzy para Projeto de Bombeio Mecânico Documento
-
Sistema Operacional e Biblioteca de Funções para Plataformas MPSOC: Um Estudo de Caso para Simuladores de Reservatório Documento
-
Sistema de Agentes Poligínicos para Esteganálise de Imagens Digitais. Documento
-
Sistema de Reescrita de Termos para Intervalos: Em Direção a Um Modelo Formal para a Computação Intervalar Documento
-
Sistema especialista fuzzy para dimensionamento de bombeio mecânico Documento
-
SmartEdge: fog computing cloud extensions to support latency-sensitive IoT applications Documento
-
Solução para interoperabilidade de protocolos em ambientes inteligentes Documento
-
Squid Impact Analyser: Uma Ferramenta para Análise de Impacto de Mudança em Linhas de Produto de Software Documento
-
Squid Impact Analyzer: Uma Ferramenta de Analise de Impacto de Mudancas para Linhas de Produto de Software Documento
-
Teoria Fuzzy Intervalar: Uma Proposta de Integração da Matemática Intervalar à Teoria Fuzzy Documento
-
Teoria dos Conjuntos Dominantes e Aplicações em Algumas Classes de Grafos Documento
-
Teoria dos Grafos e Sistema de Informações Geográfica: Uma Alternativa de Integração. Documento
-
Teoria dos Grafos e Sistema de Informações Geográficas: Uma Alternativa de Integração Documento
-
The Impact of Adopting Continuous Integration on the Delivery Time of Pull Requests: An Empirical Study Documento
-
The Interval Constructor on classes of ML-algebras Documento
-
The impact of feature selection methods on online handwritten signature by using clustering-based analysis Documento
-
Transdutores adaptativos programáveis e sua aplicação no desenvolvimento de agentes de diálogos Documento
-
Título N2N framework : uma plataforma para desenvolvimento de sistemas calaborativos distribuídos Documento
-
UM AMBIENTE DE SUPORTE A EXPERIMENTOS CONTROLADOS ESPECIFICADOS EM EXPDSL Documento
-
UMA FERRAMENTA DE ANÁLISE AUTOMATIZADA DE TÉCNICAS DE SELEÇÃO DE TESTES DE REGRESSÃO BASEADA EM MINERAÇÃO DE REPOSITÓRIOS DE SOFTWARE Documento
-
Um Ambiente Interativo de Apoio ao Ensino de Lógica de Programação nos Cursos Técnicos (EaD) do Instituto Metrópole Digital/UFRN. Documento
-
Um Ambiente Multi-Middleware para Desenvolvimento de Aplicações Distribuídas Documento
-
Um Arcabouço para Compartilhamento Eficiente de WLANs Wi-Fi por Fatiamento de Rede no Contexto de Redes Ultra Densas 5G Documento
-
Um Estudo Algoritmico para Otimização do Plano de Tratamento da Radioterapia Conformal Bidimensional Documento
-
Um Estudo Algorítmico da Programação da Intervenção de Sondas de Produção Documento
-
Um Estudo Algorítmico para o Problema do Dimensionamento de Dutos em uma Rede Urbana de Distribuição de Gás Natural Documento
-
Um Estudo Comparativo entre a Evolução do Comportamento Excepcional em Aplicações Java e Android Documento
-
Um Estudo Sobre Aprendizado de Máquina Aplicado à Modelagem de Retorno de Ações Documento
-
Um Framework Fundamentado na Engenharia de Requisitos para Apoiar a Conformidade Legal e Regulatória em Sistemas Computacionais Documento
-
Um Framework para Análise Multidimensional de Intervenções em Saúde Pública Documento
-
Um Framework para criação de jogos voltados para o ensino de lógica de programação Documento
-
Um Middleware Reflexivo e Orientado a Aspectos: Arquitetura e Implementações Documento
-
Um Modelo Semântico de Dados para Cidades Inteligentes Documento
-
Um Modelo de Interconexão de Componentes para Ambientes Multimídia Distribuido Documento
-
Um Modelo de Interconexão de Componentes para Ambientes Multimídia Distribuídos Documento
-
Um Modelo de Objetos Baseado em CORBA para o Gerenciamento Distribuído de Redes de Computadores Documento
-
Um Modelo de Sistema de informação para implantação de Sistemas de Qualidade Baseados na Norma ISO 9000-3 Documento
-
Um Método Para a Modificação de Processos Legados Utilizando SPEM e Processo Unificado Documento
-
Um Problema de Caminho Mais Curto Multiobjetivo na Computação em Nuvem Documento
-
Um Processo Semi-automatizado para Elicitação de Requisitos de Acessibilidade Web Documento
-
Um Serviço de Descoberta Ciente de Contexto para Internet das Coisas Documento
-
Um Sistema de Certificação Digital para Plataformas de Middleware Documento
-
Um Sistema de Gerenciamento de Firewalls e IDS Documento
-
Um Sistema de apoio à decisão para o gerenciamento dinâmico das sondas de produção terrestres na bacia potiguar Documento
-
Um algoritmo transgenético para a resolução do Traveling Purchaser Problem Documento
-
Um arcabouço cross-layer para controle de sessões multiusuário com alta demanda de recursos em redes IoT softwarizadas Documento
-
Um estudo empírico sobre geração de testes com BETA: avaliação e aperfeiçoamento Documento
-
Um framework baseado em modelos para desenvolvimento de sistemas multimídia distribuídos autoadaptativos Documento
-
Um framework conceitual para apoiar a instrumentação da avaliação formativa da aprendizagem em jogos digitais Documento
-
Um framework para integração de plataformas de aprendizado de programação e Computação Desplugada Documento
-
Um framework para o desenvolvimento de sistemas de apoio a atividades práticas tendo como caso de estudo a hotelaria Documento
-
Um modelo conceitual baseado em MDD e padrões para evolução de sistemas OA Documento
-
Um método para desenvolvimento de abordagens generativas com composição de linguagens específicas de domínio Documento
-
Um processo baseado em modelos para promover o alinhamento entre a estratégia de negócio e TI Documento
-
Um serviço de certificação digital para plataformas de middleware Documento
-
Um sistema computacional georreferenciado de apoio à decisão para otimizar o emprego de unidades móveis de pistoneio Documento
-
Um sistema de apoio a decisão para gerenciamento das sondas de produção terrestre na bacia Potiguar Documento
-
Uma Abordagem Anotativa para a Gerência de Variabilidades em Linhas de Processos de Software: Concepção, Implementação de Avaliação Documento
-
Uma Abordagem Dirigida a Modelos para Construção de Aplicações para Redes de Sensores sem Fio Documento
-
Uma Abordagem Dirigida a Modelos para Redes de Sensores sem Fio Documento
-
Uma Abordagem Dirigida por Modelos para Desenvolvimento de Middlewares Auto-Adaptativos para Transmissão de Fluxo de Dados Baseado em Restrições de QoS Documento
-
Uma Abordagem Dirigida por Modelos para Gerência de Variabilidades e Execução de Processos de Software Documento
-
Uma Abordagem Genérica Dirigida à Modelos para Integração entre Projeto Detalhado e Codificação Orientada a Aspectos Documento
-
Uma Abordagem Sistemática para o Teste de Linhas de Produto de Software Documento
-
Uma Abordagem Transgenática para o Problema da Coloração de Grafos Documento
-
Uma Abordagem baseada em Aspectos e Composição Dinâmica para a Construção de Aplicações Adaptativas Cientes ao Contexto Documento
-
Uma Abordagem de Apoio à Extração da Política de Tratamento de Exceções Documento
-
Uma Abordagem para Avaliação e Tratamento de Exceções Propagadas no uso de Serviços Web em .NET Documento
-
Uma Abordagem por Nuvem de Partículas para Problemas de Otimização Combinatória. Documento
-
Uma Análise Comparativa de Sistemas de Combinação de Classificadores com Distribuição Vertical dos Dados Documento
-
Uma Análise Comparativa entre Sistemas de Combinação de Classificadores com Distribuição Vertical dos Dados Documento
-
Uma Análise Experimental de Abordagens Heurísticas aplicadas ao Problema do Caixeiro Viajante Documento
-
Uma Análise Experimental de Algoritmos Exatos Aplicados ao Problema da Árvore Geradora Multiobjetivo Documento
-
Uma Análise da Aplicação do Modelo de Rede Neural RePART em Comitês de Classificadores Documento
-
Uma Análise de Métodos de Distribuição de Atributos em Comitês de Classificadores Documento
-
Uma Aplicação de Algoritmo Genético na otimização do Emprego da Unidade Móvel de Pistoneio Documento
-
Uma Aplicação de GRASP na Otimização do Emprego da Unidade Móvel de Pistoneio Documento
-
Uma Arquitetura Hardware/Software de um Núcleo NCAP segundo o Padrão IEEE 1451: uma prova de conceito Documento
-
Uma Arquitetura de Referência para o Desenvolvimento de Sistemas Interativos Multiplataformas Documento
-
Uma Colônia de Formigas para o Problema de Caminho mais Curto Multiobjetivo Documento
-
Uma Estratégia Genérica para Geração de Código Orientado a Aspectos Documento
-
Uma Estudo Algorítmico de Problemas Logísticos na Indústria de Petróleo e Gás Natural Documento
-
Uma Ferramenta para Geração de Testes de Unidade a partir de Especificações B Documento
-
Uma Linguagem de Descrição Arquitetural baseada em uma Arquitetura de Referência para Sistemas Ubíquos Documento
-
Uma Linguagem para Descrição de Missões em Sistema-de-Sistemas Documento
-
Uma Linha de Processo de Software para Elicitação de Requisitos Baseada na Criatividade Combinacional Documento
-
Uma Linha de Produto de Software para o Dimensionamento de Bombeio Mecânico em Dispositivos Móveis Documento
-
Uma Máquina de Redução de Grafos Extensível para a Implementação de Fluxos de Trabalho Documento
-
Uma Máquina de Redução de Grafos para Serviços Web Documento
-
Uma Nova Forma de Calcular os Centros dos Clusters em Algoritmos de Agrupamento Tipo Fuzzy C-Means Documento
-
Uma Ontologia para a Descrição da Semântica da IMML Documento
-
Uma Plataforma Adaptável para Localização em Ambientes Internos Documento
-
Uma Plataforma Intervalar para Agrupamentos de Dados Documento
-
Uma Proposta de Arcabouço para Tolerância a Falhas Multicamadas em Sistemas IoT Documento
-
Uma Proposta de Automatização do Processo de Rotulagem de Instâncias em Algoritmos de Aprendizado Semissupervisionado Documento
-
Uma Proposta de Processo para Implantação de Dados Abertos em Instituições Públicas Brasileiras Documento
-
Uma Solução Arquitetural para o Desenvolvimento de Sistemas Interativos Multiplataformas Documento
-
Uma abordagem através de algoritmos transgenéticos para o problema da configuração do traçado de uma rede de distribuição de gás natural Documento
-
Uma abordagem de apoio à gerência de projetos de software para análise da contribuição de desenvolvedores Documento
-
Uma abordagem de definição de políticas para offloading de dados no contexto de computação em névoa Documento
-
Uma abordagem na camada de middleware para troca dinâmica de componentes em sistemas multimídia distribuídos baseados no framework Cosmos Documento
-
Uma abordagem para o controle de elasticidade dinâmico voltada a sistemas cloud-network definidos por slices Documento
-
Uma abordagem para o desenvolvimento de jogos digitais educativos no ensino básico Documento
-
Uma abordagem para promover o alinhamento entre a estratégia de negócio e a tecnologia de informação Documento
-
Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software Documento
-
Uma abordagem transgenética para o problema da coloração de grafos Documento
-
Uma análise de integração de técnicas de seleção dinâmica na construção de um sistema de classificação Documento
-
Uma análise de métodos de distribuição de atributos para construção de comitês de classificadores Documento
-
Uma análise experimental de algoritmos transgenéticos aplicados ao problema da árvore geradora biobjetivo Documento
-
Uma biblioteca JAVA para computações intervalares Documento
-
Uma equivalência entre Funções Intervalares Documento
-
Uma estratégia dirigida a modelos e baseada em linguagem de descrição arquitetural para linhas de produtos de software Documento
-
Uma estratégia metaheurística híbrida genética de grupamento para o problema bin packing 1-dimensional. Documento
-
Uma extensão da IMML para apoiar o Design de Interfaces de Usuário Multi-Plataforma Documento
-
Uma ferramenta para suporte formal à evolução e reutilização para linguagens de especificação algébrica com semântica inicial Documento
-
Uma linguagem de modelagem da interação para auxiliar a comunicação designer-usuário Documento
-
Uma plataforma de integração de middleware para computação ubíqua Documento
-
Uma plataforma de monitoramento inteligente de arritmia cardíaca em fluxo de tempo real Documento
-
Uma proposta de framework para facilitar o processo de desenvolvimento de aplicações baseadas em IoT Documento
-
Uma proposta de indicadores para o acompanhamento de alunos em projetos de desenvolvimento colaborativo de software com foco no desenvolvimento de habilidades transversais Documento
-
Uma proposta de modelo conceitual para elicitação de requisitos de sistemas dinâmicos Documento
-
Uma revisão de modelos de algoritmos de otimização para o problema de geração de dados de teste Documento
-
Uma solução de rastreabilidade de artefatos para linhas de produto de software baseada em desenvolvimento dirigido a modelos Documento
-
Understanding the Relationship between Continuous Integration and its Effects on Software Quality Outcomes Documento
-
Uniformly Strongly Prime Ideals on Fuzzy Environment Documento
-
User verification using behavioural cancelable templates Documento
-
Uso da Internet como recurso estratégico na gestão do relacionamento com o cliente: um estduo teórico-exploratório baseado em Web-sites. Documento
-
Uso de Modelos i* para Enriquecer Requisitos em Metodos Ageis Documento
-
Uso de confiabilidade em problema de classificação multirrótulo com o aprendizado semissupervisionado Documento
-
Utilizando Pesos estáticos e dinâmicos em sistemas multi-classificadores com diferentes níveis de diversidade Documento
-
Utilizando Programas Orientada a Aspectos no projeto de Sistemas Hardware Desenvolvidos com SystemC. Documento
-
Utilizando Programação Orientada a Aspectos no Projeto de Sistemas Hardware Desenvolvidos com SystemC Documento
-
Utilizando comitês de classificadores para predição de rendimento escolar Documento
-
Utilizando mapas de conectividade fuzzy no desenvolvimento de algoritmos reparadores de imagens binárias 3D Documento
-
Vai além do desafio! Compreendendo as motivações para participar e colaborar em game jams Documento
-
Veículos Aéreos Não Tripulados e Sistema de Entrega: Estudo, Desenvolvimento e Testes Documento
-
Visual IMML - Um Perfil UML para a Modelagem de Interfaces de Usuário. Documento
-
WPTrans: Um Assistente para Verificação de Programas em Frama-C. Documento
-
WebFlowAH: Um Ambiente para Especificação e Execução ad-hoc de Processos de Negócio Baseados em Serviços Web Documento
-
What is a Fuzzy Bi-implication? Documento
-
X-ARM: Um Modelo de Representação Orientado a Processo para Artefatos de Software Documento
-
X-ARM: Um Modelo de Representação de Artefatos de Software. Documento
-
X-Conf: Uma Infra-Estrutura de Configuração e Gerenciamento de Sistemas de Distribuição de Vídeo Digital Documento
Pesquisas
Contato
telefone
-
(84) 3215-3814 Ramal: 231
endereço de email
Identidade