Mestrado em Ciência da Computação.: Recent submissions

  • Descoberta de causa-raiz em ocorrências de sistemas elétricos. 
    PIRES, S. S.; http://lattes.cnpq.br/9014390675428541; PIRES, Stéfani Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-08-19)
    This paper presents a root cause analysis technique for electric power systems. The root cause analysis is a way to assist the operator in understanding the occurrence of failure, interpreting the events cascade occurrences. ...
  • DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC. 
    ROCHA, A. K. O.; http://lattes.cnpq.br/3554121354087381; ROCHA, Ana Karina de Oliveira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-05-16)
    The necessity for more complex systems is a reality in almost all electronic application areas. Recent advances in microelectronics make possible the appearance of innovative solutions for several problems of the modern ...
  • FLOApp: ambiente integrado para suporte às comunidades de desenvolvimento e usuárias de software livre. 
    MUNIZ, A. I.; http://lattes.cnpq.br/7904532399755071; MUNIZ, Ana Isabella. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-08-29)
    Development of Free Software if made in cooperative environments, where technical community can contribute by decentralised and integrated fashion, allowing greater control and management of what is being developed and ...
  • Uma técnica de análise de conformidade comportamental para sistemas distribuídos. 
    BEZERRA, A. S.; http://lattes.cnpq.br/2849440258913113; BEZERRA, Amanda Saraiva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-11-28)
    Verify Distributed Systems is very hard. Some techniques, Model Checking for example, trying to grant the behavioral correctness analyzing all the execution paths for these systems. However, this technique is limited to ...
  • Tratamento de eventos em redes elétricas: uma ferramenta. 
    DUARTE, A. N.; http://lattes.cnpq.br/1982919735990024; DUARTE, Alexandre Nóbrega. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-02-25)
    It presents a new tool for the automatic diagnosis of faults in electric networks. The toot uses a hybrid event correlation technique especially created to be used in networks with constant topological modifications. The ...
  • Automatização de testes em equipes ágeis: um estudo qualitativo usando teoria fundamentada. 
    http://lattes.cnpq.br/1583429187292896; ALVES, Gabriella Mayara Tavares. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-08-10)
    With the increasing popularity of agile practices, test activities must adapt to agility in special test automation and anticipated implementation of requirements. Based on this, typically the automation of system tests ...
  • Processamento de imagens cintilográficas, aplicado à reorientação 3D, para avaliação de perfusão miocárdica no diagnóstico da doença arterial coronariana. 
    SOUZA, Ianna Duarte Kobayashi de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-02-29)
    The increase in incidence of coronary artery disease, which affects part of the world population, has intensified advances in nuclear medicine as a means of prevention and diagnosis of this disease. The myocardial scintigraphy ...
  • Ajuste de curvas aplicando a escolha de modelos de predição de canais de comunicações por ondas milimétricas. 
    BEZERRA, T. S.; http://lattes.cnpq.br/3954129541190155; BEZERRA, Teles de Sales. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-12-21)
    Wireless Mobile Communications Systems are on the rise in demand for resources, explained by the increased provision of services to users over the past few decades. One of the resources that is in shortage is the use of ...
  • Emulação de circuitos quânticos em placa FPGA. 
    MONTEIRO, H. A.; http://lattes.cnpq.br/9757094264855906; MONTEIRO, Heron Aragão. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-05-31)
    With the progress of nanotechnology, quantum computing has received great emphasis in scientific circles. Using the basis of quantum mechanics, different quantum algorithms have been proposed. And so far, they have presented ...
  • Preservando a privacidade de smart grids através de adição de ruído. 
    BARBOSA, P. Y. S.; http://lattes.cnpq.br/7939975606505308; BARBOSA, Pedro Yóssis Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2014-02-27)
    Power providers have started replacing traditional electricity meters for Smart Meters, which can transmit power consumption levels to the provider within short intervals. With a Smart Metering infrastructure, there are ...
  • Modelo de segurança independente de plataforma para execução de software não confiável. 
    GURJÃO, T. R. M.; http://lattes.cnpq.br/1180356742373158; GURJÃO, Tales Ribeiro Morais. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016-09-01)
    Attacks on computer systems have always been a problem and have evolved from simple attacks against physical facilities in the 1970s to coordinated attacks using thousands of computers spread around the world. The main ...
  • Infraestrutura para o desenvolvimento de aplicações com suporte à comercialização de serviços entre pares em ambientes pervasivos. 
    SOUZA, L. V.; http://lattes.cnpq.br/4027591205377080; SOUZA, Lucas Vieira de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-02-29)
    The improvement of computational resources of mobile devices and the convergence of new features in these devices has created new opportunities for the world of pervasive computing. These new attributes, combined with ease ...
  • Reconhecimento automático de palavras isoladas, independente de locutor, para sistemas embarcados. 
    NASCIMENTO NETA, M. L.; http://lattes.cnpq.br/1620329332847448; NASCIMENTO NETA, Maria de Lourdes do. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-05-16)
    In this dissertation, a speaker-independent speech recognition system for isolated words is presented. Here, we focus on battery-dependent embedded systems that have the requirement of lower power consumption. Considering ...
  • Uma abordagem para visualização e análise baseada em clustering de dados espaço-temporais. 
    OLIVEIRA, M. G.; http://lattes.cnpq.br/9070169649750195; OLIVEIRA, Maxwell Guimarães de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-08-20)
    Nowadays, there is a considerable amount of spatiotemporal data available in various media, especially on the Internet. The visualization of spatiotemporal data is a complex task that requires a series of visual suitable ...
  • Documentação e validação de arquiteturas de software: uma proposta concreta. 
    SILVA, L. J. V.; http://lattes.cnpq.br/9727531586375884; SILVA, Leandro José Ventura. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-06-26)
    Software architectures provide the system context, guide the development process, assist the communication among stakeholders, increase reuse and help integrate with legacy and third party software and reduce maintenance ...
  • Orquestração de contêineres na nuvem: um modelo de segurança. 
    FERNANDEZ, G. P.; http://lattes.cnpq.br/6314871111810374; FERNANDEZ, Gabriel Pereira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-02-06)
    Cloud computing has become the IT infrastructure organization established paradigm. This scenario has turned into reality because of the scale and service specialization advantages possible in a model that allows for ...
  • Uma infraestrutura de suporte a aplicações cientes de contexto com enfoque no usuário final. 
    FIGUEIRÊDO, H. F.; http://lattes.cnpq.br/9466135849011391; FIGUEIRÊDO, Hugo Feitosa de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-09-18)
    Context-aware applications have become popular as a consequence of the technological advances on mobile devices, sensors, and wireless network communication. However, there are many challenges in the development of these ...
  • Modelagem de sinais de voz via PPM, aplicada ao reconhecimento de padrões vocais patológicos. 
    BARBOSA, H. P.; http://lattes.cnpq.br/3326693065350959; BARBOSA, Hildegard Paulino. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-08)
    Voice is the most widely used means of communication of mankind. However, speech organs are susceptible to several sort of pathologies, which may harm voice production and, therefore, communication. Several techniques have ...
  • PhotoGeo - uma biblioteca digital de fotografias com suporte de geoprocessamento. 
    LACERDA, Y. A.; http://lattes.cnpq.br/5890923112747925; LACERDA, Yuri Almeida. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-05-12)
    Since digital cameras made photography capturing easy, people are producing and storing an enormous amount of digital images. This caused an increased complexity in managing this kind of media file. Furthermore, the mobile ...
  • Uma abordagem em paralelo para matching de grandes ontologias com balanceamento de carga. 
    ARAÚJO, T. B.; http://lattes.cnpq.br/1503278831971137; ARAÚJO, Tiago Brasileiro. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016-03-07)
    Currently, the use of large ontologies in various áreas of knowledge is increasing. Since, these ontologies can present contents overlap, the identification of correspondences among their concepts is necessary. This process ...

Buscar DSpace


Busca avançada

Navegar

Minha conta