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

  • Authoring gamified intelligent tutoring systems. 
    Dermeval, Diego; http://lattes.cnpq.br/7400572752663161; MATOS, Diego Dermeval Medeiros da Cunha. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-03-17)
    Intelligent Tutoring Systems (ITSs) have been drawing the attention of academics and practitioners since early 70’s. There have been a number of recent studies in support of the effectiveness of ITSs. However, it is very ...
  • Um modelo semântico para compartilhamento de recursos educacionais. 
    BARROS, H.; http://lattes.cnpq.br/2926865445767566; BARROS, Heitor José dos Santos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    The accurate representation of educational resources content makes the process of searching, selection and reusability much more easy and fast. This work discusses Open Issues related to representation of educational ...
  • Explorando a localização e orientação de fotografias pessoais para descoberta de pontos de interesse baseada em agrupamento. 
    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, 2017)
    The knowledge discovery from huge photo repositories has been a very active area of research in the last years. This is due to three facts: the incorporation of digital cameras and geolocation sensors in mobile devices; ...
  • Anaís : um modelo para auxílio à tomada de decisão em casos clínicos considerando diagnóstico coletivo. 
    SANTOS, A. A.; http://lattes.cnpq.br/2454224571306182; SANTOS, Adriano Araújo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    Day after day, medical specialists analyze complex clinical cases and make decisions that can negatively affect their patients' well-being, procedure costs, health insurance costs, and the reputation of medical experts and ...
  • Gerência de nuvens computacionais considerando diferentes classes de serviço. 
    CARVALHO, M W A; http://lattes.cnpq.br/4764601053478564; CARVALHO, Marcus Williams Aquino de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016-03-01)
    Infrastructure as a Service (IaaS) is a cloud computing model that has been growing significantly in recent years. This increasingly adoption attracted users with different types of applications, requirements and budget to ...
  • An approach to safely evolve preprocessor-based C program families. 
    Medeiros, F. M.; http://lattes.cnpq.br/1874496667181567; MEDEIROS, Flávio Mota. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    Since the 70s, the C preprocessor is still widely used in practice in a numbers of projects, including Apache,Linux ,and Libssh, totail or systems to different platforms and application scenarios. In academia,however, the ...
  • Um método para o desenvolvimento e certificação de software de sistemas embarcados baseado em redes de petri coloridas e casos de garantia. 
    CESAR SOBRINHO, A. A. C.; http://lattes.cnpq.br/5640399839698012; CÉSAR SOBRINHO, Álvaro Álvares de Carvalho. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016)
    Embedded systems are part of the general population’s everyday life, from domestic, to industrial and governmental environments. The use of embedded systems has grown as a result, for example, of the dissemination of ...
  • Um modelo para tarifação confiável em computação em nuvem. 
    OLIVEIRA, A. C. A.; http://lattes.cnpq.br/1492085481698131; DANTAS, Ana Cristina Alves de Oliveira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-11-30)
    Cloud computing defines a virtual infrastructure to provide network services on demand. Customers contract services where the primary infrastructure of hardware software is in remote data centers and on the customer own ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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)
  • 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 ...
  • Decomposição e reúso de componentes baseados em metadados para interfaces gráficas do usuário em aplicações corporativas web. 
    MIRANDA, R. A. V.; http://lattes.cnpq.br/4903287306364548; MIRANDA, Rodrigo de Almeida Vilar de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-09-04)
    Developers can use metadata in enterprise applications in order to reduce coupling between graphical user interface and domain model layers. Therefore, user interface components are replaced by meta components, which can ...
  • Modelos baseados em PPM para previsão de trajetórias utilizando informações contextuais. 
    NOBRE NETO, F. D.; http://lattes.cnpq.br/7562809854970378; NOBRE NETO, Francisco Dantas. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-05)
    Thanks to the widely diffusion of smartphones with GPS devices natively embedded, the task of tracking object locations, such as people or vehicles, is more feasible nowadays, fostering new research opportunities. Among ...
  • Um estudo do uso de testes de qualificação na plataforma Amazon Mechanical Turk. 
    SOUSA, Ianna M. S. F.; http://lattes.cnpq.br/8545006395210271; SOUSA, Ianna Maria Sodré Ferreira de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-07-19)
  • Visualização de dados como suporte ao design instrucional. 
    Menezes, Douglas A. T.; http://lattes.cnpq.br/1636071356840776; MENEZES, Douglas Afonso Tenório de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-07)
    The use of virtual learning environments is becoming more frequent, and often the data that are generated in these environments are not properly exploited, which makes it difficult to generate quality indicators of training ...
  • Computação por humanos na perspectiva do engajamento e credibilidade de seres humanos e da replicação de tarefas. 
    SANTOS, L. P.; http://lattes.cnpq.br/2211388362277178; SANTOS, Lesandro Ponciano dos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-11-23)
    Human computation is a computing approach that draws upon human cognitive abilities to solve computational tasks for which there are so far no satisfactory fully automated solutions. In human computation systems, the ...
  • Automatização de feedback para apoiar o aprendizado no processo de resolução de problemas de programação. 
    ARAUJO, E. C.; http://lattes.cnpq.br/8032715047993974; ARAÚJO, Eliane Cristina de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-09-05)
    In programming education, the development of students’ programming skills through practical programming assignments is a fundamental activity. In order to succeed in those assignments, instructors need to provide guidance, ...

Buscar DSpace


Busca avançada

Navegar

Minha conta