DSpace/Manakin Repository

Navegação Doutorado em Ciência da Computação. por data do documento

Navegação Doutorado em Ciência da Computação. por data do documento

Classificar por: Ordenar: Resultados:

  • "Análise e diagramação automática de álbuns fotográficos". 
    CAVALCANTI, C. S. V. C.; http://lattes.cnpq.br/2531237708249588; CAVALCANTI, Cláudio Sebastião Vasconcelos da Cunha. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-09-27)
    The popularization of digital photography, due to the continued decline in the costs of photographic equipments, has resulted in a demand for tools and methods to facilitate the selection and organization of very large ...
  • Anotação de pessoas e eventos em fotografias digitais. 
    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, 2013-11-01)
    The popularity of digital cameras has created a new problem: how to store and retrieve efficiently a large number of captured and chaotically stored digital photos in multiple locations without annotation. The photo ...
  • Capacidade quântica de sigilo erro-zero e informação acessível erro-zero de fontes quânticas. 
    COSTA, E. B. G.; http://lattes.cnpq.br/6466781778573760; COSTA, Elloá Barreto Guedes da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-11-13)
    Quantum Information Theory is a research area that investigates the limits of information processing and transmission considering the laws of Quantum Mechanics. The translation of concepts from Classical Information Theory ...
  • Geração e execução automática de testes para programas de controladores lógicos programáveis para sistemas instrumentados de segurança. 
    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, 2014-02)
    Safety Instrumented Systems (SIS) are designed to guarantee the industrial system safety preventing undesirable situations when executing procedures performed automatically or by human being. In the context of SIS, ...
  • Uma abordagem automatizada para testar ferramentas de refatoramento. 
    SOARES, G. A.; http://lattes.cnpq.br/6215732726947926; SOARES, Gustavo Araújo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2014-03)
    Refactoring is a transformation applied to the program to improve its internal structure without changing its external behavior. Although it brings benefits, such as making it easier to maintain the code, it also involves ...
  • Uma abordagem híbrida para a renderização não fotorrealística de vídeos digitais. 
    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, 2014-03-28)
    Non-photorealistic rendering (NPR) or stylized rendering is an important growing area of Computer Graphics and Image Processing. NPR is mainly concerned with the generation of images or videos that can have an expressive ...
  • Rede de atividades de alto nível aplicada à edição, atualização e acompanhamento de design instrucional com suporte a learning analytics. 
    NUNES, I. D.; http://lattes.cnpq.br/2087785677186785; NUNES, Isabel Dillmann. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2014-06-06)
    The Instructional Design (ID) defines the sequence of delivery of learning objects to students. However, the monitoring of student activities at runtime is still difficult to perform an activity. This work proposes the use ...
  • Erosão arquitetural em perspectiva: um estudo sobre as regras arquiteturais, suas violações e como os desenvolvedores lidam com o problema. 
    MONTEIRO, J. A. B.; http://lattes.cnpq.br/7892247821251194; MONTEIRO, João Arthur Brunet. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2014-07-11)
    Architectural erosion is the progressive lack of software structure over time. Previous studies on this subject concentrate on presenting conformance checking techniques and tools, and how effective they are in a single ...
  • Investigation of similarity-based test case selection for specification-based regression testing. 
    OLIVEIRA NETO, F. G.; http://lattes.cnpq.br/4052914754332243; OLIVEIRA NETO, Francisco Gomes de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2014-07-30)
    During software maintenance, several modifications can be performed in a specification model in order to satisfy new requirements. Perform regression testing on modified software is known to be a costly and laborious task. ...
  • DBFIRE: recuperação de documentos relacionados a consultas a banco de dados. 
    CATAO, V. S.; http://lattes.cnpq.br/9004848457100237; CATÃO, Vladimir Soares. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2014-11-21)
  • Uma abordagem para análise de impacto de mudanças em transformações de modelos. 
    VIEIRA, A.; http://lattes.cnpq.br/8727782484975598; VIEIRA, Andreza de Sousa. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2014-12-17)
    The main goal of the MDD (Model-Driven Development) approach is to change the focus from source code to models within the software development process. Elements that play important role in MDD are model transformations, ...
  • Investigação sobre uso de vocabulário de código-fonte para identificação de especialistas. 
    SANTOS,; http://lattes.cnpq.br/1246085373474860; SANTOS, Katyusco de Farias. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-02-28)
    Identifiers and comments from a source code are the software vocabulary. Research point vocabularies as a valuable source of information about the project. To understand we developed a tool that extract them from source ...
  • Towards a test generation approach for compositional real-time systems. 
    DAMASCENO, A. C.; http://lattes.cnpq.br/9758845584752449; DAMASCENO, Adriana Carla. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-03-06)
    We can nd many examples of Real-time Systems (RTS) in critical applications such as patient monitoring, air tra c control and others. A failure in this kind of system can be catastrophic. For example, it can harm human ...
  • Similarity-based test suite reduction in the context of model-based testing. 
    COUTINHO, A. E. V. B.; http://lattes.cnpq.br/1135602078298154; COUTINHO, Ana Emília Victor Barbosa . (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-03-20)
  • Early detection of manual refactoring faults. 
    ALVES, E. L. G.; http://lattes.cnpq.br/2793969744497453; ALVES, Everton Leandro Galdino. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-04-07)
    A recent study states that about 90% of all refactorings are done manually. Manual refactoring edits are error prone, as refactoring requires developers to coordinaterelated transformations and to understand the complex ...
  • 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. 
    OLIVEIRA, E. A. S.; http://lattes.cnpq.br/7627571580413875; OLIVEIRA, Elthon Allex da Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-05-08)
    Several software solutions have been developed for the healthcare area. In this area, we high light the area of physical exercise that has received great attention from World Health Organization for helping decreasing ...
  • Capturando a dinâmica da gestão da terceirização de tecnologia da informação para apoio a decisões: um estudo de caso em organizações públicas. 
    BEZERRA, T. R.; http://lattes.cnpq.br/5285201763618981; BEZERRA, Tárcio Rodrigues. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-08-21)
    Information Technology (IT) can contribute significantly and be used as a tool to boost the development of people and organizations. To promote the effectiveness of this environment, it is appropriate that the IT department ...
  • Uma abordagem para estimação do consumo de energia em modelos de simulação distribuída. 
    OLIVEIRA, H. F. A.; http://lattes.cnpq.br/0097916965255705; OLIVEIRA, Helder Fernando de Araújo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-11-10)
    Energy consumption is a big challenge in SoC (System-on-a-Chip) design. Depending on the project requirements, to guarantee a better accuracy in power estimation, it might be necessary to estimate the power consumption of ...
  • Uma abordagem baseada em modelos para suporte à validação de sistemas médicos físico-cibernéticos. 
    SILVA, L, C.; http://lattes.cnpq.br/0123912674950072; SILVA, Lenardo Chaves e. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-11-12)
    Medical Cyber-Physical Systems (MCPS) are context-aware, life-critical systems with patient safety as the main concern, demanding rigorous processes for validation to guarantee user requirement compliance and ...

Buscar DSpace


Busca avançada

Navegar

Minha conta