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:

  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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)
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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