cour_b0e7d86a-b179-4e20-9f09-25d648efa7ab
-
- Visão geral
-
- Publicações
-
- 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
-
A Gamified Approach to Increase Student Engagement in Programming Courses with Badges, Leaderboards and Record-Tracking Documento
-
A TEORIA SÓCIO-INTERACIONISTA E A RESISTÊNCIA DO DOCENTE EM RELAÇÃO AOS PERIFÉRICOS DE ENTRADA E SAÍDA DAS TIC: um estudo nas escolas Bom Sucesso, Seac e Cohab, da rede pública municipal em São Mateus-ES Documento
-
A Utilização do Algoritmo Quântico de Busca em Problemas da Teoria da Informação. 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
-
Abordagem de Desenvolvimento Evolitivo de Interface com o 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
-
Aceleração de Métodos Iterativos para Solução de Sistemas Lineares - Avaliação Crítica Documento
-
Ad hoc grid: uma grade entre-pares auto organizável Documento
-
Agrupamento de faces em coleções de fotografias digitais. Documento
-
Ajuste de Curvas Aplicado a Escolha de Modelos de Predição de Canais de Comunicações por Ondas Milimétricas Documento
-
Algoritmos para Composição Automática de Fotografias. Documento
-
An approach for traceability recovery between bug reports and test cases. Documento
-
An approach to rank program transformations based on machine learning. Documento
-
Analisando padrões de mobilidade a partir de redes sociais e de dados sociodemográficos abertos. Documento
-
Anotação automática e semiautomática de pessoas em fotografias digitais utilizando eventos compartilhados. 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 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 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 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
-
Aplicações da robótica educacional para o desenvolvimento do pensamento computacional no contexto da educação básica. Documento
-
Aprimorando a Verificação de Conformidade em Programas Baseados em Contratos 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
-
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
-
AutoMan: gerência automática de grades computacionais entre-pares. Documento
-
Automatic decomposition of code review changesets in open source software projects. Documento
-
Automação da técnica de inspeção guiada para conformidade entre requisitos e diagramas UML. Documento
-
Auxílio à mobilidade de deficientes visuais por meio de sensores humanos. Documento
-
Avaliando Suites Automaticamente Geradas para Validação de Refatoramentos Documento
-
Avaliando mecanismos de gerenciamento de conflitos em social jukeboxes on-line. 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 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 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
-
BDRV - UM SISTEMA INTEGRADOR DE MÚLTIPLOS BANCOS DE DADOS RELACIONAIS. Documento
-
BVM: reformulação da metodologia de verificação funcional VeriSC. Documento
-
Bouncer - Uma Solução Distribuída para Controle de Licenças de Software Documento
-
CVSYN ? Acoplando um Mecanismo de Notificação Síncrono ao CVS para Otimizar o Desenvolvimento Global de Software Documento
-
Caracterização de perfis de comportamento de equipes em League of Legends. Documento
-
Classificação de fluxos IP como ferramenta para engenharia de tráfego na internet. 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
-
Compêndio de computação distribuída. Documento
-
Configurando o Hadoop Através de um Processo Empírico Flexível Documento
-
Configuração das Posições dos Nós de uma Rede de Sensores sem Fio Baseado em Algoritmos Genéticos 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
-
Critérios de geração de casos de teste de sistemas de tempo real. Documento
-
DBMS-ANalyzer: Um framework para análise holística de desempenho para SGBDs Documento
-
DYSCS: uma plataforma para construção de sites de conteúdo social enriquecidos semântica e geograficamente. Documento
-
Data warehouse de trajetórias: um modelo semântico com suporte à agregação por direção dos movimentos. 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
-
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 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
-
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
-
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
-
E-GRUPO - UM AMBIENTE PARA SUPORTE À APRENDIZAGEM COLABORATIVA BASEADA NA WEB. 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
-
Escalonamento Tolerante a Sabotagem em Grades Computacionais Entre-Pares. 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 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
-
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 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 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 experimental comparativo de modelos de componentes para o desenvolvimento de software sob o aspecto de evolutibilidade. 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
-
FLOAPP: Ambiente Integrado para Suporte às Comunidades de Desenvolvedores e Usuárias de Software Livre 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 a integração e análise de dados da avaliação de interfaces. 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
-
Gerador de Vídeo Randômico Sintético para 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 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 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
-
Gerenciamento de energia em ambientes corporativos. Documento
-
Gerência de recursos em redes compartilhadas com integração de serviços - uma proposta e implementação. Documento
-
How do work motivation aspects impact software developer turnover? A quantitative study with brazilian developers. 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
-
Impacto do Apoio Metodológico e Ferramental Orientado a 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 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 com suporte à comercialização de serviços entre pares em ambientes pervasivos. 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 o Auxílio na Resolução de Problemas de Programação 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 e Avaliação Experimental de Técnicas de Re-teste Seletivo para Teste de Regressão baseado em Especificação Documento
-
Listas usadas como conjuntos: um estudo através de ferramenta de reescrita. 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
-
Mensuração de habilidades cognitivas preditoras do desenvolvimento de leitura em crianças através de jogos educacionais para dispositivos móveis. 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 estatística de mudanças estruturais para simulação de evolução de software. 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 computacionais realistas para dependências entre entidades de software. 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
-
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 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
-
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
-
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
-
PhotoGeo - uma biblioteca digital de fotografias com suporte de geoprocessamento. Documento
-
Planejamento da qualidade de sistemas de home banking: abordagem com foco no usuário e estudo de caso do BB personal banking. 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
-
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
-
Processamento analítico espacial e exploratório integrando dados estruturados e semiestruturados. 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
-
Projeto e Construção de um Ambiente para Extrair Conhecimento de Bancos de Dados da Petrobrás 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 comunicação de objetos distribuídos assíncronos Documento
-
Provisionamento vertical de recursos em ambientes de nuvens. 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
-
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 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
-
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 fotorrealística: uma abordagem para abstração de imagens coloridas digitais. Documento
-
Reputação autônoma como incentivo à colaboração no compartilhamento de recursos computacionais. Documento
-
Revisiting the refactoring names. Documento
-
SALIUS - serviço de armazenamento estável com recuperação para frente baseado na replicação remota de buffers. Documento
-
SAMOA - Sistema de Apoio à Modelagem Orientada a Objeto de Aplicações 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
-
SHART-Web: um sistema tutor em harmonia tradicional na web. Documento
-
SIGTRANS - Um Sistema de Planejamento Viário para Transportes Coletivos Documento
-
SISTEMA DE RECOMENDAÇÃO DE TAGS COM APOIO DE GEOPROCESSAMENTO Documento
-
SMILE: Uma Ferramenta para Construção, Edição e Simulação de Protótipos de Interface do Usuário Documento
-
STVQE - Spatio Temporal Visual Query Environment Documento
-
SaaSim - um framework para simulação de Software as a Service. 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
-
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 Recomendação para Sites de Compras Coletivas Documento
-
Sistema de transmissão de vídeo para vigilância utilizando bluetooth. Documento
-
Splines e modelagem geométrica. Documento
-
Sumarização Automática de vídeos em Sessões de Teste de Usabilidade Documento
-
Suporte à análise e verificação de modelos RPOO. 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
-
Testes de design: uma abordagem baseada em testes para verificação automática de conformidade estrutural entre implementação e regras de design. Documento
-
Técnica Híbrida de Análise de Impacto para Sistemas Orientados a Objetos. Documento
-
UM FRAMEWORK PARA A CRIAÇÃO DE DIAGNOSTICADORES DE FALHAS EM SISTEMAS Documento
-
UMA ABORDAGEM PARA APRENDIZAGEM ORGANIZACIONAL EM AMBIENTES DE PROJETO DE IHC Documento
-
UMA ABORDAGEM PARA MODELAR FENÔMENOS ESPAÇO-TEMPORAIS. Documento
-
Um Estudo Comparativo Entre Técnicas de Geração Semiautomática de Tabelas de Probabilidades de Nós em Redes Bayesianas 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 ambiente colaborativo baseado em localização aplicável ao domínio de cidades inteligentes. 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 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 utilizando hardware reconfigurável Documento
-
Um estudo sobre os efeitos do Pensamento Computacional na Educação Documento
-
Um framework para a análise espacial de fontes de dados multidimensionais. 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 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 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 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 para Adaptação de Clientes do Java Collections Framework Baseada em Técnicas de Migração de APIs 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 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 Análise Comparativa do Padrão IEEE 802.11 Operando em 2.4 GHz e 900 MHz. Documento
-
Uma Estratégia para a Escrita de Modelos Voltados à Geração Automática de Casos de Teste 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 pra 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 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 em paralelo para matching de grandes ontologias com balanceamento de carga. 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 estática automática de procedimentos armazenados em bancos de dados. 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 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 arquitetura multimodal para recomendação baseada em conteúdo para TV digital. Documento
-
Uma arquitetura para sistemas inteligentes de suporte ao usuário. 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 de avaliação de estabilidade dinâmica para sistemas elétricos de potência. 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 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 priorização de casos de teste para múltiplas mudanças agregadas. 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 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
-
Utilização de Aritmética Bit-serial para Redução de Consumo de Energia Documento
-
Validação visual de programas Ladder baseada em modelos. 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
-
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
-
eTBc - Uma Abordagem para Geração Automática de Testbenches Documento
-
“Hybrid Ad Hoc Grid: uma grade computacional entre-pares auto-organizável”. Documento
... mais