DSpace/Manakin Repository

Navegação Mestrado em Ciência da Computação. por título

Navegação Mestrado em Ciência da Computação. por título

Classificar por: Ordenar: Resultados:

  • Gamificação na coleta e mapeamento colaborativo de dados espaciais: um estudo sobre traços de personalidade e motivações. 
    http://lattes.cnpq.br/6109859315834624; HONÓRIO, Joaquim José Cintra Maia. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2019-02-27)
    The technological advances of recent decades such as the proliferation of mobile devices with GPS, improved connectivity and the ease of production of online content brought by Web 2.0, have provided radical changes in ...
  • Generated tests in the context of maintenance tasks: a series of empirical studies. 
    HERCULANO, W. B. R.; http://lattes.cnpq.br/5991303240914778; HERCULANO, Wesley Brenno Rodrigues. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2022-10-04)
    Maintenance tasks are often time-consuming and hard to manage. To cope with that, developers often use failing test cases to guide their maintenance efforts. Therefore, working with good test cases is essential to the ...
  • GeoDrill : uso de SQL para integração de fontes de dados espaciais heterogêneas com ou sem esquema. 
    http://lattes.cnpq.br/5456214966384238; ACIOLI FILHO, José Amilton Moura. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016-09-02)
    With the evolution of the web and information systems, organizations have obtained data of various formats, structures and types, specially the spatial one. Due to different characteristics presented in data, such data ...
  • Geolocalizador: um sistema de referência espaço-temporal indireta na web. 
    PAZINATTO, E.; http://lattes.cnpq.br/9710841138808150; PAZINATTO, Eder. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-01-24)
    The Internet has underpinned applications in different domains. One of the application domains that has been pushed towards web-based systems is spatial information systems. Currently, a huge volume of spatial data is being ...
  • GeoSEn: um motor de busca com enfoque geográfico. 
    CAMPELO, CLAUDIO E. C.; http://lattes.cnpq.br/2042247762832979; CAMPELO, Cláudio Elízio Calazans. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-11-07)
    Geographic Information Retrieval (GIR) is a recent research area which has become very attractive. Regarding the fast growth of the amount of information available on the Web, the provision of simple and efficient retrieval ...
  • GeoSen_Tags: um motor de busca geográfico com suporte a Tags. 
    http://lattes.cnpq.br/8567542948019912; FERNANDES, Ricardo Madeira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-08-31)
    Nowadays, search engines have increased their capability of indexing data available on the Web, making the task of providing relevant information to users even more difficult. Advanced search options, such as date, language ...
  • Geração automática de casos de teste para sistemas baseados em agentes móveis. 
    FIGUEIREDO, A. L. L.; http://lattes.cnpq.br/4979118853748310; FIGUEIREDO, André Luiz Lima de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-06-06)
    Looking for reliability regarding to their systems correction, developers have, increasingly, used software testing. This activity can be defined as a set of experiments performed over an implementation, which the results ...
  • Geração automática de manobras para sistemas eletroenergéticos. 
    CRISPIM, C. F.; http://lattes.cnpq.br/1003952087245826; CRISPIM, Camilla Falconi. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-03-15)
    Switching sequences executed in the electrical grid aim to prevent electric power provision interruptions, which may be caused by random events, such as equipment faults or overloads; or equipment maintenance. Switching ...
  • Geração automática de playlists: entendendo as percepções e expectativas de criadores humanos. 
    http://lattes.cnpq.br/2568002029375186; AMARAL, Vítor de Souza. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
  • Geração automática de scripts de testes em ambiente 61850. 
    CRUZ, A. F.; CRUZ, Alan de Farias. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-11-30)
    The IEC 61850 is the new substation communication protocol; it provides standard input/output messages between intelligent Electronic Device - (IED). The electrical signals from the substation equipments were replaced ...
  • Geração automática de testes com objetos mock baseados em interações. 
    http://lattes.cnpq.br/0595422027989879; SOUTO, Sabrina de Figueirêdo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-08-31)
    The main purpose of unit tests is to verify the correct work of software and search for defects in the smallest part of the system, in isolated way. However, this isolation not always is possible due to the relationship ...
  • Geração automática de testes de conformidade para programas de controladores lógicos programáveis. 
    OLIVEIRA, K. V.; http://lattes.cnpq.br/1121152162202880; OLIVEIRA, Kézia de Vasconcelos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-08-28)
    The goal of this work is to present a method and provide a tool to ensure the safety and dependability in the automation of processes controlled by Programmable Logic controllers (PLCs). Therefore, automatic generation ...
  • Geração de casos de teste de interação para aplicações de celulares. 
    http://lattes.cnpq.br/3697205933296303; ANDRADE, Wilkerson de Lucena. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-03-02)
    The mobile phone market has become even more competitive, demanding high quality standards. In this context, applications are developed as sets of functionalities, called features. Such features are combined in use case ...
  • Geração de casos de teste funcional para aplicações de celulares. 
    CARTAXO, E. G.; http://lattes.cnpq.br/5617832076061321; CARTAXO, Emanuela Gadelha. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-10-02)
    In the mobile phone market, feature-based development has been considered for the applications construction. Features are developed and tested as an independent module. There is a lack for approaches directed to the ...
  • Geração de manobras finais de recomposição de subestações do sistema elétrico. 
    FREITAS, R. A.; http://lattes.cnpq.br/2528892577283369; FREITAS, Renato Almeida de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-02-25)
    In the context of the Companhia Hidro Elétrica do São Francisco (CHESF), power system restoration is subject to failures by virtue of mis interpretation,during real-time execution,of the OIs (Operation Instructions). An ...
  • Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL. 
    SILVA, D. A.; http://lattes.cnpq.br/0957879919581462; SILVA, Daniel Aguiar da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-05-26)
    Techniques and tools for model based testing have been developed to make the process of testing distributed concurrent reactive systems more efficient and rigorous. The inherent nondeterminism of these systems can make ...
  • Geração de representações não foto-realísticas a partir de fotografias digitais: um estudo de caso com faces humanas. 
    ARRUDA, F. A. P. V.; http://lattes.cnpq.br/6388763736916508; ARRUDA, Francisco de Assis Pereira Vasconcelos de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-08)
    Non-photorealistic rendering (NPR) is an area common to both computer graphics and digital image processing, which focuses on generating simple and comprehensible images from complex scenes, using various levels ...
  • Geração semiautomática de testbenches para circuitos integrados digitais. 
    PESSOA, I. M.; http://lattes.cnpq.br/9482034617973689; PESSOA, Isaac Maia. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-04-10)
    Functional verification complexity tends to increase exponentially with design size. The Moore’s law places an ever growing demand on today’s verification engineer to continue to ensure that no bug is missed in the ...
  • Gerador de vídeo pseudo-aleatório sintético na verificação funcional de circuitos decodificadores de vídeo MPEG-4. 
    SILVEIRA, G. S.; http://lattes.cnpq.br/2934289095298260; SILVEIRA, George Sobral. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-06-20)
    The advent of the new VLSI technology and SoC design methodologies has brought about an explosive growth to the complexity of modern electronic circuits. As a result, the functional verification has become the main ...
  • Gerenciamento de desconexões planejadas em redes móveis. 
    MOTA, J. C.; http://lattes.cnpq.br/6572680735293256; MOTA, José Carlos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1997-12-19)
    This work has had as its aim to carry on an analyses on several problems and challenges about to be faced by researches in several acting areas, such as hardware, software, or even for battery charge capacity level of ...

Buscar DSpace


Busca avançada

Navegar

Minha conta