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
-
Lições Aprendidas no Projeto e Implementação de uma Ferramenta de Comunicação em Grupo Baseado no Paradigma de Canais de Eventos Documento
-
"Análise e diagramação automática de álbuns fotográficos". Documento
-
A Gamified Approach to Increase Student Engagement in Programming Courses with Badges, Leaderboards and Record-Tracking Documento
-
A Utilização do Algoritmo Quântico de Busca em Problemas da Teoria da Informação. Documento
-
A formação e a prática do profissional de programação incluindo a discussão de estratégias para a aprendizagem continuada. Documento
-
A modelagem do aprendiz em ambientes de aprendizagem por computador baseados em atividades de resolução de problemas. Documento
-
A technique to test apis specified in natural language. Documento
-
A4: um ambiente de apoio à aquisição automática de conhecimento. Documento
-
ABORDAGEM HÍBRIDA PARA A AVALIAÇÃO DE INTERFACES MULTIMODAIS. Documento
-
ALLOS - uma ferramenta para solucionar modelos de redes de filas usando cadeias de Markov Documento
-
ANÁLISE, PROJETO E IMPLEMENTAÇÃO DE UM ESQUEMA MOLAP DE DATA WAREHOUSE, UTILIZANDO O SGBD-OR ORACLE 8.1. Documento
-
ANÁLISE, PROJETO E IMPLEMENTAÇÃO DE UM GERENTE WEB DE METADADOS EXTENSÍVEL PARA UM PROCESSO DE DATA WAREHOUSING. Documento
-
API-GP - Uma Abordagem para Gerência de Produção Documento
-
APRENDIZAGEM E RECUPERAÇÃO DE IMAGENS UTILIZANDO MAPAS AUTO-ORGANIZÁVEIS E REPRESENTAÇÃO LOG-POLAR. Documento
-
ATMLib - Uma Biblioteca de Classes para o Desenvolvimento de Simuladores de Redes ATM: Proposta e Implementação Documento
-
AVALIAÇÃO DE HEURÍSTICAS DE ESCALONAMENTO DE APLICAÇÕES BAG-OF-TASKS EM GRIDS COMPUTACIONAIS ADAPTATIVAS À DISPONIBILIDADE DE INFORMAÇÃO. Documento
-
Abordagem Avaliativa Multidimensional para Previsão da Evasão Discente em Cursos Online Documento
-
Abordagem Híbrida para a Avaliação da Usabilidade de Dispositivos Móveis. Documento
-
Abordagem de Desenvolvimento Evolitivo de Interface com o Usuário Baseada em Modelos e Múltipla Prototipagem: FastInterface Documento
-
Abordagem de Desenvolvimento de Interface do Usuário Baseada em Modelos e Múltipla Prototipagem: FASTINTERFACE. Documento
-
Abordagem orientada a serviços para o gerenciamento de energia em redes pervasivas. Documento
-
Abordagem para a avaliação da acessibilidade de interfaces vocais considerando a modelagem da incerteza Documento
-
Abordagem para a estilização de vídeos digitais. Documento
-
Abordagens para Avaliação Experimental de Teste Baseado em Modelos de Aplicações Reativas. Documento
-
Aceleração de Métodos Iterativos para Solução de Sistemas Lineares - Avaliação Crítica Documento
-
Ad Hoc Grid : Uma Grade Computacional Entre-pares Auto-organizável. Documento
-
Ad hoc grid: uma grade entre-pares auto organizável Documento
-
Adaptação de modelos em redes de petri coloridas. Documento
-
Agile Eteasy: um método para aplicação de testes exploratórios em contextos ágeis. Documento
-
Agrupamento de faces em coleções de fotografias digitais. Documento
-
Agrupamento de faces em vídeos digitais. Documento
-
Algoritmos para Composição Automática de Fotografias. Documento
-
Ambiente Computacional para Gerência Estratégica - Data Warehousing: Uma Survey. Documento
-
An approach for traceability recovery between bug reports and test cases. Documento
-
An approach to rank program transformations based on machine learning. Documento
-
An approach to safely evolve preprocessor-based C program families. Documento
-
Analisando padrões de mobilidade a partir de redes sociais e de dados sociodemográficos abertos. Documento
-
Anaís : um modelo para auxílio à tomada de decisão em casos clínicos considerando diagnóstico coletivo. Documento
-
Anotação automática e semiautomática de pessoas em fotografias digitais utilizando eventos compartilhados. Documento
-
Anotação de pessoas e eventos em fotografias digitais. Documento
-
Análise Comparativa entre Técnicas de Priorização Geral de Casos de Teste no Contexto do Teste Baseado em Especificação Documento
-
Análise Comparativa entre Técnicas de Priorização Geral de Casos de Teste no Contexto do Teste Baseado em Especificação Documento
-
Análise Numérica e Transformação de Laplace Documento
-
Análise Probabilística de Impacto de Mudanças Baseada em Históricos de Mudanças de Software. Documento
-
Análise acústica para classificação de patologias da voz empregando análise de componentes principais, redes neurais artificiais e máquina de vetores de suporte. Documento
-
Análise da Correlação entre Métricas de Evolução e Qualidade de Design de Software. Documento
-
Análise da codificação de objetos complexos no córtex sensorial primário e hipocampo. Documento
-
Análise das Peculiaridades do público brasileiro em Sistema basedos na geolocalização Documento
-
Análise de Mutação Aplicada à Verificação Funcional de IP Core. Documento
-
Análise de Sistemas Em Projeto de Automação Documental Documento
-
Análise de cobertura funcional na fase de integração de blocos de circuitos digitais. Documento
-
Análise de protocolos de roteamento Unicast em redes Ad Hoc móveis baseada em um modelo realístico de bateria. Documento
-
Análise de similaridade entre classes de padrões de ativação neuronal. Documento
-
Análise do efeito dos parâmetros do ambiente em protocolos de roteamento para redes veiculares. Documento
-
Análise do impacto de imprecisões nos intervalos de contato na classificação de objetos no córtex primário e hipocampo. Documento
-
Análise, Projeto e Implementação de um Servidor de DW Extensível. Documento
-
Aplicabilidade de Métricas de Mobilidade em Redes ad hoc Móveis Documento
-
Aplicações da robótica educacional para o desenvolvimento do pensamento computacional no contexto da educação básica. Documento
-
Aprendizado automático de relações semânticas entre tags de folksonomias. Documento
-
Aprendizagem de máquina em um ambiente para negociações automatizadas. Documento
-
Aprimorando a Verificação de Conformidade em Programas Baseados em Contratos Documento
-
Aquisição de Conhecimento e Manutenção para uma Sociedade de Agentes Tutores Artificiais Documento
-
Arcabouço Baseado em Componentes para o Desenvolvimento de Interface de Usuário de Aplicações para SmartTV Documento
-
Arcabouço de Aquisição de Dados de Saúde Através de Jogos Eletrônicos Documento
-
Arcabouço de Software Baseado em Componentes para o Desenvolvimento de Aplicações de Gerenciamento de Energia Documento
-
Arcabouço de desenvolvimento de aplicações de monitoramento remoto e auxílio de pessoas com doença de Alzheimer. Documento
-
Arcabouço para Análise de Eventos em Vídeo Documento
-
Arcabouço para o desenvolvimento de aplicações de realidade aumentada para dispositivos portáteis com o uso de múltiplos sensores. Documento
-
Assistente avançado de suporte ao motorista para redução de risco de tombamento de veículos pesados em curva. Documento
-
Ataques quânticos a geradores de números pseudo-aleatórios. Documento
-
Atenção visual bottom-up guiada por otimização via algoritmos genéticos. Documento
-
Atualização eficiente de visões materializadas em data warehousing. Documento
-
Aumentando a Confiança nos Resultados de Testes de Sistemas Multi-threaded Documento
-
Aumentando a confiança nos resultados de testes de sistemas multi-threaded: evitando asserções antecipadas e tardias. Documento
-
Authoring Gamified Intelligent Tutoring Systems Documento
-
AutoMan: gerência automática de grades computacionais entre-pares. Documento
-
Automatic decomposition of code review changesets in open source software projects. Documento
-
Automatização de feedback para apoiar o aprendizado no processo de resolução de problemas de programação. Documento
-
Automação da técnica de inspeção guiada para conformidade entre requisitos e diagramas UML. Documento
-
Autoria de decisões pedagógicas informadas por dados sob a perspectiva de um MOOC. Documento
-
Auxílio à mobilidade de deficientes visuais por meio de sensores humanos. Documento
-
Avaliando Suites Automaticamente Geradas para Validação de Refatoramentos Documento
-
Avaliando Tecnologias da Informação Emergentes nas Empresas Documento
-
Avaliando mecanismos de gerenciamento de conflitos em social jukeboxes on-line. Documento
-
Avaliação Experimental da Detecção Interativa de Anomalias de Código Documento
-
Avaliação Qualitativa de Interfaces Bancárias, com Proposta de Diretrizes deProjeto Documento
-
Avaliação da Confiabilidade de Simulador em Rede de Sensores Sem Fio com Base em Plataforma Real de Sensoriamento Documento
-
Avaliação da utilização de leaderboards em disciplinas introdutórias de programação. Documento
-
Avaliação de Desempenho em Redes Locais Brasileiras Documento
-
Avaliação de Extração de Características Espaciais para a Análise de Vídeos de Futebol. Documento
-
Avaliação de modelos de mobilidade em redes ad hoc sem fio. Documento
-
Avaliação de uma abordagem personalizada de ensino no contexto de programação introdutória. Documento
-
Avaliação de uso do coeficientes mel-cepstrais na representação das características vocais de um locutor. Documento
-
Avaliação do Impacto de Estratégias de Economia de Energia em Grades Computacionais Entre-Pares Documento
-
Avaliação do Risco Associado a Mudanças de Tecnologia da Informação com Aplicação para a Atividade de Priorização. Documento
-
Avaliação do consumo de energia em protocolos de roteamento para redes tolerantes a atrasos e interrupções. Documento
-
Avaliação do desempenho de uma rede 802.11g em uma usina termoelétrica. Documento
-
Avaliação do impacto de estratégias de economia de energia em grades computacionais entre-pares. Documento
-
Avaliação empírica de aprendizagem incremental de estruturas de redes bayesianas. Documento
-
Avaliação experimental de sistemas de rastreamento ocular do ponto de vista de ações de apontamento e seleção: um estudo de caso. Documento
-
Avaliação experimental do protocolo DCCP para transmissão de conteúdos multimídia em redes sem fio 802.11g e na internet. Documento
-
Avalliação de Heurísticas de Escalonamento de Aplicações Bag-of-Tasks em Grids Computacionais Adaptativas à Disponibilidade de Informação Documento
-
B2FM: um Protocolo de Bloqueio em Duas Fases para Transações Multiníveis Documento
-
BART - UMA BIBLIOTECA ORIENTADA A OBJETOS DE APOIO À RECUPERAÇÃO TEXTUAL Documento
-
BDRV - UM SISTEMA INTEGRADOR DE MÚLTIPLOS BANCOS DE DADOS RELACIONAIS. Documento
-
BVM: reformulação da metodologia de verificação funcional VeriSC. Documento
-
Blocagem em Paralelo para Resolução de Entidades no Contexto de Dados Semiestruturados Documento
-
Bouncer - Uma Solução Distribuída para Controle de Licenças de Software Documento
-
CASTOR: uma técnica de verificação de conformidade para arquiteturas de software baseada em componentes. Documento
-
COMPOR - DESENVOLVIMENTO DE SOFTWARE PARA SISTEMAS MULTI-AGENTES. Documento
-
COMPREENSIBILIDADE DE TEXTOS CONTÍNUOS EM INTERFACES GRÁFICAS. Documento
-
COMPUTAÇÃO EVOLUCIONÁRIA APLICADA À IDENTIFICAÇÃO DE SUBSUNÇÃO DINÂMICA EM TESTES DE MUTAÇÃO Documento
-
CVSYN ? Acoplando um Mecanismo de Notificação Síncrono ao CVS para Otimizar o Desenvolvimento Global de Software Documento
-
CVSyn - acoplando um mecanismo de notificação síncrono ao CVS para otimizar a comunicação no desenvolvimento global de software. Documento
-
Capacidade Quântica de Sigilo Erro-Zero e Informação Acessível Erro- Zero de Fontes Quânticas Documento
-
Capturando a Dinâmica da Gestão da Terceirização de Tecnologia da Informação para o Apoio a Decisões: um estudo de caso na administração pública Documento
-
Caracterização de perfis de comportamento de equipes em League of Legends. Documento
-
Características de personalidade identificadas via textos aplicadas à recomendação por filtragem colaborativa. Documento
-
Characterizing refactoring-inducing pull requests. Documento
-
Classificação de fluxos IP como ferramenta para engenharia de tráfego na internet. Documento
-
Classificação de sinais de voz afetada por patologia nas pregas vocais utilizando reconstrução do espaço de fases. Documento
-
Classificações de notícias falsas baseadas em similaridade semântica a partir de léxicos automaticamente construídos. Documento
-
Combinando Objetos Distribuídos e Arquiteturas Orientadas a Eventos em uma Infra-estrutura de Comunicação para Sistemas Distribuídos Documento
-
Comparações entre Tecnologias Distribuídas JAVA: Estudos de Casos Documento
-
Compreendendo programas por meio de Design by Contract: um estudo com desenvolvedores. Documento
-
Computação algébrica: sistemas de software estrutura e algoritmo de risch. Documento
-
Computação por humanos na perspectiva do engajamento e credibilidade de seres humanos e da replicação de tarefas. Documento
-
Compêndio de computação distribuída. Documento
-
Configurando o Hadoop Através de um Processo Empírico Flexível Documento
-
Concepção e Validação de um Modelo Multidimensional para Data Warehouse Espacial. Documento
-
Conciliando Satisfação e Paridade para Promover Reciprocidade em Federações de Provedores de Computação na Nuvem Documento
-
Configuração das Posições dos Nós de uma Rede de Sensores sem Fio Baseado em Algoritmos Genéticos Documento
-
Context-Aware Path-Based Android Applications Testing Documento
-
Controle de fluxo adaptativo para gateways bluetooth low-energy aplicado a sistemas de monitoramento remoto de pacientes. Documento
-
Contrução de um gerente de Data Warehouse Móvel Documento
-
Convertendo recursos compartilhados no espaço em recursos intermitentes. Documento
-
Criação de Vetores Temáticos de Domínio Específico utilizando Aprendizagem de Máquina Documento
-
Criação de vetores temáticos de domínios para a desambiguação polissêmica de termos. Documento
-
Critérios de geração de casos de teste de sistemas de tempo real. Documento
-
DBFIRE: recuperação de documentos relacionados a consultas a banco de dados. Documento
-
DBMS-ANALYZER: Um Framework para Análise Hilística de Desempenho de SGBDS. Documento
-
DBMS-ANalyzer: Um framework para análise holística de desempenho para SGBDs Documento
-
DEFINIÇÃO E VALIDAÇÃO DE REFATORAMENTOS DE SOFTWARE EM LARGA ESCALA. Documento
-
DESCONT-THM: Um Sistema para o Desenvolvimento de Esquemas Conceituais de Dados em THM (Temporal Hierarchical Data Model) em Frames Documento
-
DESENVOLVIMENTO DE COMPONENTES PARA FACILITAR A MONITORAÇÃO REMOTA DE REDES DE COMPUTADORES USANDO A FERRAMENTA WEBMANAGER. Documento
-
DESENVOLVIMENTO DE UM IP CORE DE PRÉ-PROCESSAMENTO DIGITAL DE SINAIS DE VOZ PARA APLICAÇÃO EM SISTEMAS EMBUTIDOS. Documento
-
DILIFRAME: UM FRAMEWORK PARA O DESENVOLVIMENTO DE BIBLIOTECAS DIGITAIS. Documento
-
DYSCS: uma plataforma para construção de sites de conteúdo social enriquecidos semântica e geograficamente. Documento
-
Da Representação do Conhecimento ao Esboço Conceitual de uma Sociedade de Agentes em Harmonia Documento
-
Data warehouse de trajetórias: um modelo semântico com suporte à agregação por direção dos movimentos. Documento
-
Decomposição e reúso de componentes baseados em metadados para interfaces gráficas do usuário em aplicações corporativas web. Documento
-
Definição das Probabilidades Condicionais de Redes Bayesianas baseadas em Nós Ranqueados Documento
-
Desafios no desenvolvimento de aplicações seguras usando Intel SGX. Documento
-
Descoberta de causa-raiz em ocorrências de sistemas elétricos de potência Documento
-
Descoberta de causa-raiz em ocorrências de sistemas elétricos. Documento
-
Desenvolvimento de Componentes para Facilitar a Monitoração Remota de Rdes de Computadores Usando a Ferramenta WebManager Documento
-
Desenvolvimento de Software para Dispositivos Móveis Baseados na Plataforma maemo (TM) Documento
-
Desenvolvimento de Software para Dispositivos Móveis Baseados na Plataforma maemoTM Documento
-
Desenvolvimento de software guiado por testes de aceitação usando EasyAccept. Documento
-
Desenvolvimento de um IP Core de Pré-processamento Digital de Sinais de Voz para Aplicação em Sistema Embutidos Documento
-
Desenvolvimento do gerenciador de diálogos e de ferramentas de prototipagem do sistema Agile. Documento
-
Detectando ambiguidade em consultas conceituais. Documento
-
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução. Documento
-
Detecção de Comportamentos Não Esperados em Sistemas Distribuídos Documento
-
Detecção de Olhos em Imagens com Faces Humanas. Documento
-
Detecção de Pornografia Infanto-juvenil Baseada em Pornografia Adulta e Estimativa de Idade Facial. Documento
-
Diagramação de interfaces WEB. Documento
-
Diferenças Comportamentais Entre Gêneros em Comunidades de Perguntas e Respostas Documento
-
DigiSeal - Um Estudo de Caso para Modelagem de Transações Temporais Assíncronas na Metodologia VeriSC. Documento
-
Distribuição de Mídias ao Vivo através de uma Rede de Favores Constituída entre Roteadores Documento
-
E-GRUPO - UM AMBIENTE PARA SUPORTE À APRENDIZAGEM COLABORATIVA BASEADA NA WEB. Documento
-
ECoCADe: Um framework conceitual para apoiar tomadas de decisão baseadas em evidências, contexto e casos Documento
-
ECoCADe: um Framework Conceitual para Apoiar Tomadas de Decisão Baseadas de Decisão Baseadas em Evidências, Contexto e Casos. Documento
-
ESPECIFICAÇÃO DE COMPONENTES PARA A MODELAGEM DE REDES LOCAIS DE COMPUTADORES SEM FIO PADRÃO IEEE 802.11. Documento
-
ESTRATÉGIA DE IMPLANTAÇÃO DE PROJETOS DE EDUCAÇÃO A DISTÂNCIA ATRAVÉS DA INTERNET. Documento
-
Early Detection of Refactoring Faults Documento
-
Eficiência de download em enxames BitTorrent. Documento
-
Eficácia no uso de aprendizagem de máquina para estimação de risco em contratos públicos e empresas. Documento
-
Emulação de circuitos quânticos em placa FPGA. Documento
-
Escalonador inteligente de tarefas para aplicações robóticas. Documento
-
Escalonamento Tolerante a Sabotagem em Grades Computacionais Entre-Pares. Documento
-
Escalonamento de aplicações que processam grandes quantidades de dados em grids computacionais. Documento
-
Especificação baseada no padrão UPnP para autenticação e autorização de usuários em ambientes de computação pervasiva. Documento
-
Especificação de Componentes para a Simulação de Redes TCP/IP Documento
-
Especificação de um Protocolo para Recuperação Eficiente de Informações em Caixas Postais Eletrônicas Documento
-
Especificação e implementação de componentes para modelar redes locais sem fio ad hoc padrão IEEE 802.11. Documento
-
Especificação formal da atividade de negociação em serviços semânticos. Documento
-
Especificação formal de sistemas de telefonia em estelle: um estudo de caso. Documento
-
Especificação formal de um sistema de apoio à descoberta. Documento
-
Estimando o valor de uma grade P2P usando provedores de infraestrutura como serviço como parâmetro de comparação. Documento
-
Estratégias de agrupamento de consumidores residenciais para o melhoramento de ações de eficiência energética. Documento
-
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT. Documento
-
Estratégias para controlar o tamanho de suites de teste geradas a partir de abordagens MBT Documento
-
Estratégias para o suporte a ambientes de execução confiável em sistemas de computação na nuvem. Documento
-
Estudo da aplicação do algoritmo Viola-Jones à detecção de pneus com vistas ao reconhecimento de automóveis. Documento
-
Estudo de Viabilidade numa estação de Transferência Documento
-
Estudo de técnicas para classificação de vozes afetadas por patologias. Documento
-
Estudo do uso de vocabulários para analisar o impacto de relatórios de defeitos a código-fonte. Documento
-
Estudo e Experimentação de uma Linguagem de Modelagem Baseada em Redes de Petri e Orientação a Objetos. Documento
-
Estudo e experimentação de uma linguagem de modelagem de sistemas baseada em redes de petri e orientação a objetos. Documento
-
Estudo experimental comparativo de modelos de componentes para o desenvolvimento de software sob o aspecto de evolutibilidade. Documento
-
Evaluating the impact of refactorings on the code comprehension of novices with eye tracking. Documento
-
Expansão semântica de consultas com o auxílio de georreferenciamento de termos. Documento
-
Explorando aprendizagem ativa para reduzir o esforço manual na geração de gabaritos para resolução de entidades. Documento
-
Explorando o compartilhamento de perguntas em redes sociais para fomentar a contribuição em sites Q&A. Documento
-
Extração de Informação Não-Estruturada Usando um Método Supervisionado e Independente de Domínio Documento
-
Extração de Informação não Estruturada, Usando um Método Supervisionado e Independente de Domínio. Documento
-
FEEDBACK ATRAVÉS DA COMPARAÇÃO DE CÓDIGOS NO APOIO AO PROCESSO DE ENSINO-APRENDIZAGEM DE INTRODUÇÃO À PROGRAMAÇÃO Documento
-
FERRAMENTA PARA AUMENTO DA PRODUTIVIDADE NO DESENVOLVIMENTO DE APLICAÇÕES WEB SOBRE A PLATAFORMA J2EE. Documento
-
FLOAPP: Ambiente Integrado para Suporte às Comunidades de Desenvolvedores e Usuárias de Software Livre Documento
-
FLOApp: ambiente integrado para suporte às comunidades de desenvolvimento e usuárias de software livre. Documento
-
FORMALIZAÇÃO A ANÁLISE DE PADRÕES DE PROJETO PARA AGENTES MÓVEIS. Documento
-
Feature Extraction from Semantic Similarity Flows for Text Classification: An Approach Inspired by Audio Analysis Documento
-
Feedback dos Alunos sobre a Qualidade de Código-Fonte para Apoiar o Aprendizado de Introdução à Programação Documento
-
Feedback em ambientes educacionais no domínio de programação. Documento
-
Ferramenta para Avaliação de Interfaces em Ambiente Windows, a partir da monitoração de dados- FAIWIN Documento
-
Ferramenta para a integração e análise de dados da avaliação de interfaces. Documento
-
Fidus: uma ferramenta para busca de informações personalizadas na web. Documento
-
Fostering design by contract by exploiting the relationship between code commentary and contracts. Documento
-
GERAÇÃO DE OBJETIVOS DE TESTE PARA SISTEMAS REATIVOS BASEADA NA TÉCNICA DE VERIFICAÇÃO DE MODELOS CTL. Documento
-
GESTÃO DO CONHECIMENTO NO PROCESSO DE CONCEPÇÃO DE IHC E UMA NOVA ABORDAGEM PARA A OBTENÇÃO DE UMA ESPECIFICAÇÃO CONCEITUAL DA INTERAÇÃO. Documento
-
Gamificação na coleta e mapeamento colaborativo de dados espaciais: um estudo sobre traços de personalidade e motivações. Documento
-
GeoDrill : uso de SQL para integração de fontes de dados espaciais heterogêneas com ou sem esquema. Documento
-
GeoSEn: um motor de busca com enfoque geográfico. Documento
-
GeoSen_Tags:Um motor de busca geográfico com suporte a Tags Documento
-
Gerador de Vídeo Randômico Sintético para Verificação Funcional de Circuitos Decodificadores de Vídeo MPEG-4 Documento
-
Gerador de vídeo pseudo-aleatório sintético na verificação funcional de circuitos decodificadores de vídeo MPEG-4. Documento
-
Geração Automática de Testes com Código Mock Baseados em Interações Documento
-
Geração Semi-Automática de Testbenches para Circuitos Integrados Digitais. Documento
-
Geração automática de manobras para sistemas eletroenergéticos. Documento
-
Geração automática de playlists: entendendo as percepções e expectativas de criadores humanos. Documento
-
Geração automática de scripts de testes em ambiente 61850. Documento
-
Geração automática de testes com objetos mock baseados em interações. Documento
-
Geração automática de testes de conformidade para programas de controladores lógicos programáveis. Documento
-
Geração de Casos de Teste de Interação para Aplicações de Celulares. Documento
-
Geração de casos de teste funcional para aplicações de celulares. Documento
-
Geração de representações não foto-realísticas a partir de fotografias digitais: um estudo de caso com faces humanas. Documento
-
Geração e execução automática de testes para programas de controladores lógicos programáveis para sistemas instrumentados de segurança. Documento
-
Gerenciamento de energia em ambientes corporativos. Documento
-
Gerenciamento de uma Infra-estrutura Híbrida de TI Dirigido por Métricas de Negócios Documento
-
Gerência de nuvens computacionais considerando diferentes classes de serviço. Documento
-
Gerência de recursos em redes compartilhadas com integração de serviços - uma proposta e implementação. Documento
-
Habilitando a Checagem Estática de Conformidade Arquitetural de Software em Evolução Documento
-
Heurísticas de Alocação de Réplicas em Sistemas de Arquivos Distribuídos para Redes Locais Documento
-
Histrategy: uma técnica para a customização guiada de estratégias para a detecção de bad smells. Documento
-
How do work motivation aspects impact software developer turnover? A quantitative study with brazilian developers. Documento
-
INFRA-ESTRUTURA DE SOFTWARE BASEADA EM COMPONENTES PARA A CONSTRUÇÃO DE APLICAÇÕES PARA COMUNIDADES VIRTUAIS MÓVEIS.I Documento
-
INTEGRANDO AGENTES MÓVEIS COM SISTEMAS LEGADOS PARA GERENCIAMENTO DE REDES ATM HETEROGÊNEAS. Documento
-
Identificação de Diretrizes para a Construção de Meta-modelos na Infra-estrutura de MDA Documento
-
Identificação de Vértices em Imagens Multi-Vista de Forma 3D Documento
-
Identificação de litofácies de poços de petróleo utilizando um método baseado em redes neurais artificiais. Documento
-
Impacto do Apoio Metodológico e Ferramental Orientado a Aspectos de Usabilidade no Ensino Prático da Engenharia de Software Documento
-
Impacto do Suporte Metodológico e Ferramental Orientado em Aspectos de Usabilidade no Ensino Prático da Engenharia de Software. Documento
-
Implementação e validação de componentes para a construção de ambientes de simulação de redes TCP/IP. Documento
-
Improving Tail Latency of Interactive Cloud Microservices through Load Eviction and Management of Background Tasks Documento
-
Improving traceability recovery between bug reports and manual test cases. Documento
-
Indexação Semântica de Documentos Textuais Baseada em Fontes Heterogêneas de Informação Documento
-
Inferring passenger-level bus trip traces from schedule, positioning and ticketing data: methods and applications. Documento
-
Infra-estrutura para o Desenvolvimento de Aplicações Cientes de Contexto em Ambientes Pervasivos Documento
-
Infraestrutura para Entrega de Anúncios de Publicidade Pervasiva Personalizados Baseada em Estatísticas de Consumo Documento
-
Infraestrutura para o Desenvolvimento de Aplicações Pervasivas Cientes de Redes Sociais. Documento
-
Infraestrutura para o Desenvolvimento de Aplicações de Larga Escala Baseadas em Localização Documento
-
Infraestrutura para o desenvolvimento de aplicações baseadas em localização e orientadas a domínios. Documento
-
Infraestrutura para o desenvolvimento de aplicações com suporte à comercialização de serviços entre pares em ambientes pervasivos. Documento
-
Infraestrutura para o desenvolvimento de aplicações pervasivas com suporte ao chaveamento automático de tecnologia de comunicação. Documento
-
Infraestrutura para transmissão de conteúdo multimídia com suporte à adaptação de fluxos. Documento
-
Integrando Usabilidade e Engenharia de Software: um modelo para o desenvolvimento de sistemas centrado no usuário Documento
-
Integração de sistemas heterogêneos através da interface com o usuário. Documento
-
Integração de um Sistema de Raciocínio Baseado em Casos e um Agente Inteligente de Diálogo para Resolução de Problemas de Programação. Documento
-
Integração de um Sistema de Raciocínio Baseado em Casos e um Agente Inteligente de Diálogo para o Auxílio na Resolução de Problemas de Programação Documento
-
Integração de um sistema de raciocínio baseado em casos e um agente inteligente de diálogo para resolução de problemas de programação. Documento
-
Integração mineração de dados – SGBD não é uma panacéia: estudo da integração do algoritmo Apriori Quantitativo ao Oracle9i. Documento
-
Investigando como características desejáveis afetam o desempenho de perguntas sobre programação em sites de perguntas e respostas. Documento
-
Investigation of similarity-based test case selection for specification-based regression testing. Documento
-
Investigação de Técnicas para Extração de Características e Indexação usando Redes GHSOM Aplicadas à Recuperação de Imagens Documento
-
Investigação de técnicas para extração de características e indexação usando redes GHSOM aplicadas à recuperação de imagens por conteúdo. Documento
-
Investigação do problema de detecção de faces com variações de orientação. Documento
-
Investigação e Avaliação Experimental de Técnicas de Re-teste Seletivo para Teste de Regressão baseado em Especificação Documento
-
Investigação sobre Uso de Vocabulário de Código Fonte para Identificação de Especialistas Documento
-
Isolamento automático de falhas em sistemas. Documento
-
LPM e LCM - Linguagens para Programação e Configuração de Módulos em Sistemas de Tempo Real Documento
-
Leveraging the Entity Matching Performance Through Adaptive Indexing and Efficient Parallelization Documento
-
Listas usadas como conjuntos: um estudo através de ferramenta de reescrita. Documento
-
Localização e reconhecimento de placas de sinalização utilizando um mecanismo de atenção visual e redes neurais artificiais. Documento
-
MDA-Veritas: Uma arquitetura MDA estendida para transformações de sistemas concorrentes preservadoras de semântica Documento
-
MEDITE: uma metodologia orientada a modelos para a concepção de interfaces ergonômicas Documento
-
MEDIWEB: UM INTEGRADOR SEMÂNTICO DE DADOS NA WEB. Documento
-
MINERAÇÃO DE REGRAS DE CLASSIFICAÇÃO COM SISTEMAS DE BANCO DE DADOS OBJETO-RELACIONAL. Documento
-
MODELO DE ANÁLISE DE DIÁLOGOS EM AMBIENTES COLABORATIVOS DE APRENDIZAGEM Documento
-
Measuring anda Fostering Cognitive Programming Skills in Beginners Documento
-
Melhorando o processamento de dados com Hadoop na nuvem através do uso transparente de instâncias oportunistas com qualidade de serviço. Documento
-
Melhores práticas para a gerência de redes de computadores. Documento
-
Mensuração de habilidades cognitivas preditoras do desenvolvimento de leitura em crianças através de jogos educacionais para dispositivos móveis. Documento
-
MetaTT - uma abordagem baseada em metamodelos para a escrita de transformações de modelo para texto. Documento
-
Metrologia da captura e reprodução de rastros de sistemas de arquivos. Documento
-
Mineração de rationale e consenso em fóruns MOOC para suporte à engenharia da plataforma de software e à qualidade do ensino. Documento
-
Mineração de regras de classificação com sistemas de banco de dados objeto-relacional. Estudo de caso: regras de classificação de litofácies de poços de petróleo. Documento
-
Modelagem acústica no auxílio ao diagnóstico do funcionamento de motores de usinas termoelétricas. Documento
-
Modelagem de sistemas com restrições temporais em redes de petri orientadas a objetos. Documento
-
Modelagem e Análise de Desempenho do Método Adaptativo em Redes ATM Documento
-
Modelagem e descrição formal das fontes do direito como infraestrutura de um sistema de gerenciamento de conhecimento legal. Documento
-
Modelagem e predição de resultados de futebol antes e durante as partidas usando aprendizagem de máquina. Documento
-
Modelagem estatística de mudanças estruturais para simulação de evolução de software. Documento
-
Modelagem executável de sistemas distribuídos em JAVA. Documento
-
Modelo de Análise de Diálogos dos Ganhos de Aprendizagem em Ambientes Colaborativos. Documento
-
Modelo de redes bayesianas para melhoria do trabalho em equipe em projetos ágeis de desenvolvimento de software. Documento
-
Modelo e implementação de objetos móveis em banco de dados objeto-relacional. Documento
-
Modelos Computacionais - Computação Quântica Documento
-
Modelos baseados em PPM para previsão de trajetórias utilizando informações contextuais. Documento
-
Modelos computacionais realistas para dependências entre entidades de software. Documento
-
Modelos e Ferramentas para a Construção de Sistemas Educacionais Adaptativos e Semânticos. Documento
-
Modelos para Business Impact Management Documento
-
Monitor de Desempenho para Redes Ethernet Documento
-
Monthaler, Paul. Processo interdisciplinar de análise e classificação de dados : um estudo de caso em e-mail marketing Documento
-
Métodos para Extração de Atributos em Imagens de Impressão Digital. Documento
-
Métodos para construção de rotas eulerianas em grafos mistos com aplicação na distribuição de bens e serviços. Documento
-
NoBI: uma interface Northbound para a programação dinâmica de redes OpenFlow com suporte à interoperabilidade entre controladores. Documento
-
NoSQL-GeoServices: Um Framework para Interoperabilidade de Dados Geográficos Armazenados em Sistemas NoSQL Documento
-
NodeWiz-R: Um Sistema P2P Relacional para a Descoberta de Recursos. Documento
-
O Impacto de Calotes e Múltiplas Identidades no BitTorrent Documento
-
O impacto da métrica e do escalonador sobre a performance dos supercomputadores paralelos. Documento
-
O impacto de calotes e múltiplas personalidades no BitTorrent. Documento
-
O uso da orientação geográfica de fotografias georreferenciadas na descoberta de conhecimento Documento
-
O uso do pensamento computacional como estratégia para resolução de problemas matemáticos. Documento
-
OMNIPRESENT - UM SISTEMA CIENTE DE CONTEXTO BASEADO EM ARQUITETURA ORIENTADA A SERVIÇO. Documento
-
OURBACKUP: Uma Solução P2P de Backup Baseada em Redes Sociais. Documento
-
On the influence of test adequacy criteria on test suite reduction for model-based testing of real-time systems. Documento
-
Ontology-driven Urban Issues Identification from Social Media Documento
-
Otimização da operação de redes de escoamento de petróleo Documento
-
OurBackup: Sistema peer-to-peer para backups baseado em redes sociais Documento
-
PERSONAE: Um Modelo de Mediação Semântica para Arquiteturas Orientadas a Serviços. Documento
-
PROGRAMA DE EXCELÊNCIA ACADÊMICA: Análise cientométrica da produção científica dos PPGs de Astronomia/Física sob aspectos de quantidade, visibilidade, coautoria discente e cooperação internacional Documento
-
PROJETO DE INFRA-ESTRUTURA DE TI PELA PERSPECTIVA DE NEGÓCIO. Documento
-
PROJETO E CONSTRUÇÃO DE UM AMBIENTE PARA EXTRAIR CONHECIMENTO DE BANCOS DE DADOS DA PETROBRÁS. ESTUDO DE CASO: IDENTIFICAÇÃO AUTOMÁTICA DE LITOFÁCIES EM POÇOS DE PETRÓLEO. Documento
-
PROPOSTA DE SUPORTE COMPUTACIONAL AO MÉTODO MCI. Documento
-
Pareamento privado de atributos no contexto da resolução de entidades com preservação de privacidade. Documento
-
Pensamento computacional na educação básica: uma abordagem para estimular a capacidade de resolução de problemas na matemática. Documento
-
Perfis de contribuidores em sites de perguntas e respostas Documento
-
Personalizando atividades para estimular o engajamento de aprendizes de programação. Documento
-
Personalização plena em sistemas de e-business: uma abordagem de tomada de decisão. Documento
-
PhotoGeo - uma biblioteca digital de fotografias com suporte de geoprocessamento. Documento
-
Planejamento da qualidade no suporte técnico. Documento
-
Planejamento de capacidade dirigido a negócios para aplicações SaaS de comércio eletrônico. Documento
-
Política adaptativa de gerenciamento dinâmico de energia baseada em timeout para interfaces de rede sem fio. Documento
-
Políticas de Alocação e Migração de Arquivos em Sistemas de Arquivos Distribuídos para Redes Locais Documento
-
Ponto flutuante: análise de erros, processadores e proposição de uma linguagem para estudo de casos. Documento
-
Predição da qualidade de serviço em grades computacionais P2P. Documento
-
Preservando a privacidade de smart grids através de adição de ruído. Documento
-
Previsão automática de evasão estudantil: um estudode caso na UFCG Documento
-
Previsão de Setores e Índice Bovespa por meio de Notícias Econômicas e suas Repercussões em Mídias Sociais Documento
-
Privacy by evidence: a software development methodology to provide privacy assurance. Documento
-
Problemas de Filas - Aplicação da Simulação de Monte Carlo Documento
-
Processamento analítico espacial e exploratório integrando dados estruturados e semiestruturados. Documento
-
Processamento confiável no ambiente operacional Seljuk-Amoeba. Documento
-
Processamento de imagens cintilográficas, aplicado à reorientação em 3D, para avaliação da perfusão miocárdica no diagnóstico da doença arterial coronariana. Documento
-
Processamento paralelo de grandes quantidades de dados sobre um sistema de arquivos distribuído POSIX. Documento
-
Processo de desenvolvimento de software ágil com adição de práticas para melhoria da qualidade dos produtos finais. Documento
-
Programação Orientada ao Problema: Uma Metodologia para Entendimento de Problemas e Especificação no Contexto de Ensino de Programação para Iniciantes Documento
-
Programação orientada ao problema: uma metodologia para entendimento de problemas e especificação no contexto de ensino de programação para iniciantes. Documento
-
Projeto EaD: Uma Ferramenta para Auxiliar a Especificação de Cursos a Distância Documento
-
Projeto de um cross-fortran para microprocessadores. Documento
-
Projeto e Construção de um Ambiente para Extrair Conhecimento de Bancos de Dados da Petrobrás Documento
-
Projeto e Implantação de Esquemas Externos baseados no Modelo de Entidades e Relacionamentos Documento
-
Projeto e Implantação de um serviço de licenciamento Corba Documento
-
Projeto e implementação de módulo TAOS-Graph da ferramenta iTAOS para análise e modelagem da tarefa. Documento
-
Projeto e implementação de um serviço de eventos para o desenvolvimento de aplicações baseadas em componentes. Documento
-
Provendo garantias de confidencialidade e integridade da informação para aplicações publicar/assinar. Documento
-
Provendo segurança e uma semântica de falhas consistente para a comunicação de objetos assíncronos distribuídos. Documento
-
Provendo segurança e uma semântica de falhas consistente para comunicação de objetos distribuídos assíncronos Documento
-
Provendo serviços para tolerância a faltas em sistemas distribuídos. Documento
-
Provisionamento automático de recursos como um serviço de IaaS. Documento
-
Provisionamento vertical de recursos em ambientes de nuvens. Documento
-
Quantifying Computational Thinking Abilities Documento
-
RDF na interoperabilidade entre domínios na web. Documento
-
RECOMENDAÇÕES DE PONTOS DE INTERESSE BASEADAS NO HISTÓRICO E LOCALIZAÇÃO DE CHECK-INS EM REDES SOCIAIS BASEADAS EM LOCALIZAÇÃO Documento
-
RECONHECIMENTO DE CARACTERES MANUSCRITOS UTILIZANDO REGRAS DE ASSOCIAÇÃO. Documento
-
REPRESENTAÇÃO E INDEXAÇÃO DE CASOS EM SISTEMAS DE RACIOCÍNIO BASEADO EM CASOS PARA O DOMÍNIO DA NEUROLOGIA. Documento
-
RISO - TT - extração de expressões temporais em textos. Documento
-
Ranking de relevância baseado em informações geográficas e sociais. Documento
-
Recomendação de Objetos de Aprendizagem baseada em Estilos de Aprendizagem e Traços de Personalidade Documento
-
Recomendação de artigos científicos: um foco na integração de perfis de usuários. Documento
-
Recomendação de cardápios saudáveis e otimizados conforme disponibilidade de alimentos. Documento
-
Recomendação de consultas em bancos de dados Documento
-
Recomendação de requisitos não funcionais em projetos ágeis baseados em Scrum. Documento
-
Recomendação no domínio de TV digital: uma arquitetura baseada na análise de descritivos textuais. Documento
-
Recomendação pedagógica para melhoria da aprendizagem em redações. Documento
-
Recommender systems for UML class diagrams. Documento
-
Reconhecimento automático de palavras isoladas, independente de locutor, para sistemas embarcados. Documento
-
Reconstrução de tomografia computadorizada através de interpolação baseada em registro. Documento
-
Redes de sensores sem fio aplicadas ao monitoramento de motores em ambiente industrial. Documento
-
Redesigning Question & Answer Sites to Promote Culturally Diverse Adoption: What are participants' needs to exchange in StackExchange? Documento
-
Reduzindo Custos da Deduplicação de Dados Utilizando Heurísticas e Computação em Nuvem. Documento
-
Reduzindo a duplicação de código em aplicações corporativas: um arcabouço baseado em padrões de renderização. Documento
-
Reduzindo a duração da fase de partida lenta do TCP através da inferência colaborativa da janela de congestionamento. Documento
-
Refactoring and what else? an exploratory study on floss refactoring. Documento
-
Relevância da Tradução Automática de Textos de Português para Inglês no processo de Classificação Binária de Sentimento de postagens rápidas em Redes Sociais Online Documento
-
Renderização Não Foto-Realística: Uma Abordagem para Abstração de Imagens Coloridas Digitais Documento
-
Renderização não fotorrealística: uma abordagem para abstração de imagens coloridas digitais. Documento
-
Reorganização e Adaptação da Interface Concreta do Usuário. Documento
-
Reputação autônoma como incentivo à colaboração no compartilhamento de recursos computacionais. Documento
-
Revisiting the refactoring names. Documento
-
Rítmusrob - Acionador Percursivo Inteligente Documento
-
S3O - Um Método de Busca de Similaridades em Objetos Estruturados Documento
-
SAMOA - Sistema de Apoio à Modelagem Orientada a Objeto de Aplicações Documento
-
SAT-5: UM SISTEMA DE INFORMAÇÕES EM SOLO PARA OS EXPERIMENTOS DE CARGA ÚTIL A BORDO DO SATÉLITE DE APLICAÇÃO CIENTÍFICA - SACI-1 Documento
-
SAVAD - Sistema de avaliação de desempenho de modelos de redes de filas Documento
-
SDIG-PB: Um sistema distribuído de informação geográfica para auxílio à gestão dos recursos hídricos da Paraíba Documento
-
SEI-COM: Um Serviço de Informações Comerciais na Web com Caraacterísticas Ativas Documento
-
SEI-TUR: UM SISTEMA DE CRIAÇÃO DE ROTEIROS TURÍSTICOS. Documento
-
SESDI: Um Arcabouço para a Recuperação de Dados Geográficos em Infraestruturas de Dados Espaciais Documento
-
SHART-Web: um sistema tutor em harmonia tradicional na web. Documento
-
SIGTRANS - Um Sistema de Planejamento Viário para Transportes Coletivos Documento
-
SIMILE: um simulador reutilizável para avaliação de desempenho de redes locais. Documento
-
SISTEMA DE RECOMENDAÇÃO DE TAGS COM APOIO DE GEOPROCESSAMENTO Documento
-
SISTEMAS ESPECIALISTAS COMO FERRAMENTA AUXILIAR PARA O ENSINO DA DISCIPLINA BASES DA TÉCNICA CIRÚRGICA. Documento
-
SMART-HCI: uma estratégia para aprendizagem organizacional em ambientes de projeto de IHC. Documento
-
SMILE - Uma Ferramenta para Geração Automática, Edição e Simulação de Protótipos de Interface do Usuário. Documento
-
SMILE: Uma Ferramenta para Construção, Edição e Simulação de Protótipos de Interface do Usuário Documento
-
SQL - Fácil: uma interface amigável para acesso a banco de dados relacional. Documento
-
STL como Fonte Padronizadora de Métodos Orientados a Objetos na Especificação de Software Documento
-
STVQE - Spatio Temporal Visual Query Environment Documento
-
SWS-GIS: uma arquitetura baseada em serviços para uma federação de Spatial Data Infrastructures. Documento
-
SaaSim - um framework para simulação de Software as a Service. Documento
-
Scaling testing of refactoring engines. Documento
-
Segmentação Automática de Fluxos Musicais: Uma Abordagem Via Multi-Agentes. Documento
-
Segmentação, Rastreamento de Objetos e Detecção de Eventos Primitivos com Aplicação no Monitoramento Automático de Ações Humanas em Vídeo. Documento
-
Seleção de Portfólio no Contexto de Grades P2P Multi-Serviço Documento
-
Seleção de anúncios em sinalização digital baseada na segmentação de mercado e comportamento do consumidor. Documento
-
Seleção de modelos de classificação através de heurísticas. Documento
-
Serviços governados pela comunidade na borda da rede. Documento
-
Simulação Automática e Gerador de Espaço de Estados de Modelos em RPOO Documento
-
Simulação e Análise de Mecanismos de Controle de Fluxo para Serviços ABR em Redes ATM Documento
-
Sistema Neurosimbólico Para A Construção de Árvores Filogenéticas Documento
-
Sistema Semiautomático de Reconhecimento de Identidade Vocal Forense Documento
-
Sistema computacional para biossensor baseado na ressonância de plasma de superfície. Documento
-
Sistema de Auxílio à Manobras e Liberação de Linhas de Transmissão Utilizando Técnicas de Inteligência Artificial Documento
-
Sistema de Recomendação aplicado a Rede Social GitHub Documento
-
Sistema de Recomendação para Sites de Compras Coletivas Documento
-
Sistema de cadastro para bibliotecas baseado no formato IBICT. Documento
-
Sistema de transmissão de vídeo para vigilância utilizando bluetooth. Documento
-
Sistema pré-posicionador de células em circuitos VLSI standar-cells Documento
-
Sistemas de Efeitos Colaterais em THM Documento
-
Sistemas de Redes de Petri Modulares Baseadas em Objetos Documento
-
Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. Documento
-
Solução Exata de Sistemas de Equações Lineares Determinados Utilizando a Aritmética Residual. Documento
-
Splines e modelagem geométrica. Documento
-
Sumarização Automática de Vídeos de Sessões de Testes de Usabilidade Documento
-
Sumarização Automática de vídeos em Sessões de Teste de Usabilidade Documento
-
Sumarização de vídeos a partir de dados fisiológicos, atenção visual e unidades de ação facial. Documento
-
Suporte à análise e verificação de modelos RPOO. Documento
-
Symbolic Model-Based Testing for Real-Time Systems Documento
-
TEORIA E APLICAÇÃO DE SUPORTE VECTOR MACHINE À APRENDIZAGEM E RECONHECIMENTO DE OBJETOS BASEADO NA APARÊNCIA. Documento
-
TESTE DE INTEGRAÇÃO PARA SISTEMAS BASEADOS EM COMPONENETES. Documento
-
TUTA – um tutor baseado em agentes no contexto do ensino a distância. Documento
-
Tecnica para a geração automática de testes de design apartir de diagramas UML Documento
-
Teste baseado em modelos simbólicos para sistemas de tempo real. Documento
-
Testes de design: uma abordagem baseada em testes para verificação automática de conformidade estrutural entre implementação e regras de design. Documento
-
Towards a test generation approach for compositional real-time systems. Documento
-
Transformação de Esquemas de Objetos Complexos para um Gerenciador Relacional Estendido, Considerando o Padrão ODMG. Documento
-
Técnica Híbrida de Análise de Impacto para Sistemas Orientados a Objetos. Documento
-
Técnicas de transformação de programas fontes: estudo e aplicação na transformação de programas FORTRAN-66 para FORTRAN-77. Documento
-
UM FRAMEWORK PARA A CRIAÇÃO DE DIAGNOSTICADORES DE FALHAS EM SISTEMAS Documento
-
UM MIDDLEWARE EXTENSÍVEL PARA DISPONIBILIZAÇÃO DE SERVIÇOS EM AMBIENTES PERVASIVOS. Documento
-
UM MODELO DE SISTEMA MULTI-AGENTE PARA NEGOCIAÇÃO AUTOMATIZADA NO COMÉRCIO ELETRÔNICO. Documento
-
UM MODELO PARA O DESENVOLVIMENTO DE APLICAÇÕES BASEADAS EM AGENTES MÓVEIS. Documento
-
UM MODELO PARA O TRATAMENTO DE CONFIANÇA SOBRE TRANSAÇÕES DE E-BUSINESS. Documento
-
UMA ABORDAGEM PARA APRENDIZAGEM ORGANIZACIONAL EM AMBIENTES DE PROJETO DE IHC Documento
-
UMA ABORDAGEM PARA MODELAR FENÔMENOS ESPAÇO-TEMPORAIS. Documento
-
UMA FERRAMENTA DE APOIO AO DESENVOLVIMENTO DE WEB SERVICES. Documento
-
UMA FERRAMENTA DE GERENCIA DE PROJETO DE SISTEMAS Documento
-
UMA METODOLOGIA PARA A AVALIAÇÃO DO IMPACTO DE TECNOLOGIAS DA INFORMAÇÃO EMERGENTES NAS EMPRESAS. Documento
-
UMA METODOLOGIA PARA VALIDACAO, ATRAVES DE SIMULACAO, DE ESPECIFICACOES FORMAIS DE PROTOCOLOS DE COMUNICACAO Documento
-
UMATÉCNICA PARA MODELAGEM E VERIFICAÇÃO DE PROGRAMAS JAVA CONCORRENTES AUXILIADA POR ANOTAÇÕES DE CÓDIGO. Documento
-
UNIX CONCEITOS AVANCADOS E PROGRAMACAO DO SHELL Documento
-
Um Ambiente de Programação Concorrente no Sistema Operacional UNIX Documento
-
Um Ambiente para Animação e Simulação de Sistemas de G-Nets Documento
-
Um Estudo Comparativo Entre Técnicas de Geração Semiautomática de Tabelas de Probabilidades de Nós em Redes Bayesianas Documento
-
Um Livro-texto para o Ensino de Projeto de Arquitetura de Software. Documento
-
Um Metodo para o Desenvolvimento e Certificação de Software de Sistemas Embarcados Baseado em Redes de Petri Coloridas e Casos de Garantia Documento
-
Um Modelo Formal para Avaliar o Valor de Negócio e sua Aplicação na Tecnologia da Informação Documento
-
Um Modelo Semântico para Compartilhamento de Recursos Educacionais Documento
-
Um Modelo para Tarifação Confiável em Sistemas de Computação em Nuvem Documento
-
Um Protocolo Multicast de Distribuição de Conteúdo em Redes Ad Hoc Móveis. Documento
-
Um Protocolo Multicast de Distribuição de Conteúdo em Redes Móveis Ad Hoc Documento
-
Um Protocolo de Controle de Concorrência Não Restritivo para Banco de Dados Cooperativos Documento
-
Um Serviço de Informação Bibliográfica via Internet - SEI/BIB Documento
-
Um Sistema de Arquivos Robusto para o Sistema Operacional UNIX Documento
-
Um ambiente colaborativo baseado em localização aplicável ao domínio de cidades inteligentes. Documento
-
Um ambiente colaborativo de representação visual do conhecimento para Web Documento
-
Um ambiente computacional de apoio ao método de avaliação autêntica: projeto POETA (Portfolio Eletrônico Temporal e Ativo). Documento
-
Um ambiente para anotação de localização e eventos em fotografias digitais Documento
-
Um arcabouço cooperativo para uma sociedade de agentes tutores. Documento
-
Um arcabouço não intrusivo para provisionamento automático de recursos em ambientes de IaaS. Documento
-
Um arcabouço para o desenvolvimento de aplicações para monitoramento pervasivo de ambientes. Documento
-
Um compilador para a técnica de descrição formal estelle/83. Documento
-
Um ensemble baseado em árvores de decisão para predizer a ocorrência de aglomerados de ônibus. Documento
-
Um estudo de caso na recomendação de ações de eficiência energética para residências Documento
-
Um estudo qualitativo sobre arquitetura de software no desenvolvimento de sistemas reais. Documento
-
Um estudo sobre a eficácia do ensino a distância de programação para alunos iniciantes. Documento
-
Um estudo sobre consumo energético na indexação de conteúdo visual com síntese em alto nível usando hardware reconfigurável. Documento
-
Um estudo sobre consumo energético na indexação de conteúdo visual utilizando hardware reconfigurável Documento
-
Um estudo sobre os efeitos do Pensamento Computacional na Educação Documento
-
Um framework de apoio à decisão para investimentos em serviços de TI. Documento
-
Um framework para a análise espacial de fontes de dados multidimensionais. Documento
-
Um framework para auxílio na criação de diagnosticadores de falhas em sistemas. Documento
-
Um framework para data warehouse espacial. Documento
-
Um mecanismo de atenção visual integrando evidências espaciais e temporais. Documento
-
Um modelo de monitoria proativa para disciplinas introdutórias de programação. Documento
-
Um modelo de organização de recursos didáticos baseado em componentes para um ambiente de ensino a distância. Documento
-
Um modelo genérico de agente racional baseado em raciocínio assíncrono interativo. Documento
-
Um método automático para o ajuste de segmentadores de imagens baseados em informação de textura e cor. Documento
-
Um método baseado em modelo probabilístico para auxílio na detecção de problemas na utilização do scrum em projetos de desenvolvimento de software. Documento
-
Um método para medição de software com foco na interpretação de medidas. Documento
-
Um processo baseado em redes bayesianas para avaliação da aplicação do scrum em projetos de software. Documento
-
Um protocolo de reposição de sensores via robôs em redes de sensores sem fio. Documento
-
Um protocolo para gerência de handoff em redes pessoais sem fio para aplicações de tempo real. Documento
-
Um serviço de cache de disco para grades computacionais entre-pares. Documento
-
Um simulador discreto escalável e extensível do OurGrid. Documento
-
Um simulador simbólico para circuitos quânticos Documento
-
Um sistema de operações para suporte à gerência de centrais digitais heterogêneas baseado em SNMP. Documento
-
Um sistema tutor acoplado a um portfólio eletrônico no contexto da educação a distância - portfólio - tutor. Documento
-
Uma Abordagem Baseada em Mediação Semântica para Tratar a Heterogeneidade na Descrição de Serviços Documento
-
Uma Abordagem Baseada em Regras para Detecção Automática de Eventos Pré-Definidos em Vídeo Documento
-
Uma Abordagem Dirigida por Modelos para a Geração Automática de Casos de Teste de Integração Usando Padrões de Teste. Documento
-
Uma Abordagem Multiagente para Propaganda Pervasiva Documento
-
Uma Abordagem de Monitoramento dos Sinais Motores da Doença de Parkinson Baseada em Jogos Eletrônicos Documento
-
Uma Abordagem para Adaptação de Clientes do Java Collections Framework Baseada em Técnicas de Migração de APIs Documento
-
Uma Abordagem para Análise de Impacto de Mudanças em Transformações de Modelos Documento
-
Uma Abordagem para Aprimoramento do Balanceamento de Carga do Método de Resolução de Entidades Standard Blocking baseado em MapReduce Documento
-
Uma Abordagem para Classificar Bugs sob a Perspectiva de Máquina de Estados Documento
-
Uma Abordagem para Orquestração do Conhecimento como Suporte ao Planejamento e à Avaliação Curricular em Ciência da Computação Documento
-
Uma Abordagem para Recomendação de Casos de Teste em Projetos Ágeis Baseados em Scrum. Documento
-
Uma Abordagem para Testar Implementações de Refatoramentos Estruturais e Comportamentais de Programas C Documento
-
Uma Abordagem para a Definição de Valores de Referência de Métricas de Software Baseada em Contexto usando Redes Bayesianas Documento
-
Uma Abordagem para a Estimação do Consumo de Energia em Modelos de Simulação Distribuída Documento
-
Uma Abordagem para o Desenvolvimento de Testes de Sistema Automáticos para Aplicações Distribuídas Documento
-
Uma Análise Comparativa do Padrão IEEE 802.11 Operando em 2.4 GHz e 900 MHz. Documento
-
Uma Arquitetura para Computação de Alta Vazão baseada em Redes de Broadcast Documento
-
Uma Estratégia para a Escrita de Cenários de Caso Uso Voltados à Geração Automáica de Casos de Teste. Documento
-
Uma Estratégia para a Escrita de Modelos Voltados à Geração Automática de Casos de Teste Documento
-
Uma Ferramenta para Verificação Interativa de Programas - VIP Documento
-
Uma Infra-Estrutura para o Desenvolvimento de Aplicações Corporativas com Suporte à Evolução Dinâmica e Não Antecipada Documento
-
Uma Infra-Estrutura para o Desenvolvimento de Aplicações Pervasivas Auto-Configuráveis. Documento
-
Uma Infraestrutura de Suporte a Aplicações Cientes de Contexto com o Enfoque no Usuário Final. Documento
-
Uma Política Autonômica de Compartilhamento para Grades Entre-Pares Documento
-
Uma Política para o Direcionamento de Perguntas no Contexto De Redes Sociais Documento
-
Uma Técnica para Compilar Sistemas Configuráveis com #ifdefs Baseada no Impacto da Mudança Documento
-
Uma abordagem baseada em modelos para suporte à validação de sistemas médicos físico-cibernéticos. Documento
-
Uma abordagem baseada em regras para detecção automática de eventos pré-definidos em vídeos. Documento
-
Uma abordagem baseada em testes automáticos de software para diagnóstico de faltas em grades computacionais. Documento
-
Uma abordagem centrada na filtragem colaborativa para redução do custo computacional do método k-Nearest Neighbors. Documento
-
Uma abordagem de análise de sentimentos espaço-temporal em microtextos. Documento
-
Uma abordagem de apoio à decisão para formação de múltiplas equipes em projetos ágeis de software. Documento
-
Uma abordagem em paralelo para matching de grandes ontologias com balanceamento de carga. Documento
-
Uma abordagem evolucionária para o posicionamento dinâmico de máquinas virtuais em datacenters privados, aplicando sobrecarga de recursos. Documento
-
Uma abordagem híbrida para a renderização não fotorrealística de vídeos digitais. Documento
-
Uma abordagem metodológica para a avaliação multidimensional da acessibilidade de interfaces com o usuário para aplicações web. Documento
-
Uma abordagem para a escolha da melhor interface de exibição de anúncios na propaganda pervasiva. Documento
-
Uma abordagem para analisar a atenção de espectadores utilizando visão computacional. Documento
-
Uma abordagem para análise de similaridade e classificação de dados de eletroencefalografia Documento
-
Uma abordagem para análise estática automática de procedimentos armazenados em bancos de dados. Documento
-
Uma abordagem para aumentar a segurança em refatoramentos de programas. Documento
-
Uma abordagem para avaliar a preservação de comportamento de uma transformação baseado em análise de impacto e geração de testes Documento
-
Uma abordagem para classificação e sugestão de atualizações em máquinas de estado a partir de mudanças no código-fonte. Documento
-
Uma abordagem para construção das etapas de análise de um compilador. Documento
-
Uma abordagem para construção de modelos de dispositivos médicos para testes em sistemas médicos físico-cibernéticos Documento
-
Uma abordagem para detecção de discurso de ódio utilizando aprendizado de máquina baseado em cruzamento de idiomas. Documento
-
Uma abordagem para detecção de padrões emergentes Documento
-
Uma abordagem para representação e rastreio de artefatos. Documento
-
Uma abordagem para visualização e análise baseada em clustering de dados espaço-temporais. Documento
-
Uma abordagem quântica para o uso de expressões regulares. Documento
-
Uma análise comparativa do padrão IEEE 802.11 operando em 2,4 GHz e 900 MHz. Documento
-
Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas. Documento
-
Uma arquitetura multimodal para recomendação baseada em conteúdo para TV digital. Documento
-
Uma arquitetura orientada a serviços para roteamento personalizado. Documento
-
Uma arquitetura para sistemas inteligentes de suporte ao usuário. Documento
-
Uma arquitetura para tomada de decisão pedagógica com dados integrados. Documento
-
Uma estratégia para predição da taxa de aprendizagem do gradiente descendente para aceleração da fatoração de matrizes. Documento
-
Uma ferramenta CASE para a metodologia FADO. Documento
-
Uma ferramenta de avaliação de estabilidade dinâmica para sistemas elétricos de potência. Documento
-
Uma ferramenta para a validação de protocolos de comunicação Documento
-
Uma ferramenta para o desenvolvimento de aplicações Web sobre a Plataforma J2EE Documento
-
Uma ferramenta para projeto e simulação de circuitos quânticos. Documento
-
Uma ferramenta robusta de tratamento de eventos em redes elétricas. Documento
-
Uma heurística de escalonamento adaptativa à disponibilidade da informação para aplicações bag-of-tasks data-intensive em grids computacionais. Documento
-
Uma linguagem de aspectos para QVT. Documento
-
Uma linha de produto de software baseada na web semântica para sistemas tutores inteligentes. Documento
-
Uma lógica proposicional de resolução de problemas. Documento
-
Uma metodologia para projeto de banco de dados temporais orientado a objetos. Documento
-
Uma pesquisa qualitativa das práticas de testes de software no contexto das aplicações móveis. Documento
-
Uma técnica de análise de causa raiz para sistemas elétricos de potência. Documento
-
Uma técnica de análise de conformidade comportamental para sistemas distribuídos. Documento
-
Uma técnica de priorização de casos de teste para múltiplas mudanças agregadas. Documento
-
Uma técnica para detectar fraquezas de código em programas C. Documento
-
Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código. Documento
-
Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real. Documento
-
Usando replicação ativa para prover tolerância a falhas de forma transparente a uma implementação da plataforma J2EE. Documento
-
Usando replicação para escalonar aplicações bag-of-tasks em grids computacionais. Documento
-
Uso de aprendizado de máquina para classificação de risco de acidentes em rodovias. Documento
-
Uso de conhecimento preliminar na melhoria do aprendizado em um modelo simbólico-conexionista. Documento
-
Uso de modelos formais em sistemas pervasivos de cuidados de saúde: um estudo de caso em auxílio à prática de exercícios físicos. Documento
-
Utilização de Aritmética Bit-serial para Redução de Consumo de Energia Documento
-
Utilização de Técnicas de Processamento de Texto para a Busca e Análise de Trajetórias Semânticas Documento
-
VERIFICAÇÃO DE MODELOS EM REDES DE PETRI ORIENTADAS A OBJETOS. Documento
-
VIDEOLIB: UMA BIBLIOTECA DIGITAL DE VÍDEO USANDO METADADOS DUBLIN CORE E MPEG-7. Documento
-
Validação visual de programas Ladder baseada em modelos. Documento
-
Verificação de Artefatos de Diagramas de Classe UML através da Aplicação Testes de Design Documento
-
Verificação Distribuída de Modelos: Investigando o Uso de Grades Computacionais. Documento
-
Verificação da Conformidade entre Código Fonte Java e Especificação Formal JML Documento
-
Verificação de Conformidade entre Diagramas de Sequência UML e Código Java Documento
-
Videolib: Uma Biblioteca Digital de Video Usando Metadados MPEG-7 e Dublin Core Documento
-
Visualização de Dados como Suporte ao Design Instrucional Documento
-
WebObjects - Uma Plataforma de Consulta à Web Documento
-
Web´s Composer: Uma Ferramenta Baseada em Ontologias para a Descoberta e Composição de Serviços na Web Documento
-
Wide Work Web - Uma Metodologia para o Desenvolvimento de Aplicações Web num Cenário Global Documento
-
XML-ODBMS: Uma ferramenta de intercâmbio de dados entre banco de dados orientados a objetos Documento
-
XPU - UM MODELO PARA O DESENVOLVIMENTO DE SISTEMAS CENTRADO NO USUÁRIO. Documento
-
eTBc - Uma Abordagem para Geração Automática de Testbenches Documento
-
“Hybrid Ad Hoc Grid: uma grade computacional entre-pares auto-organizável”. Documento
Pesquisas
Contato
telefone
endereço de email
Identidade