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

  • Abordagem multiagente para a propaganda pervasiva. 
    BUBLITZ, Frederico Moreira.; http://lattes.cnpq.br/3910966211279217; BUBLITZ, Frederico Moreira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-08)
    The Pervasive Advertising stands out from other forms of ad serving by allowing the delivery of context-sensitive advertisements to consumers. Thus, it is possible to deliver the most relevant ads, increasing the ...
  • Uma abordagem baseada em testes automáticos de software para diagnóstico de faltas em grades computacionais. 
    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, 2010-05-31)
    A lot of research effort has being put to find better mechanisms for fault treatment on grid computing aiming at improving the reliability of such infrastructures. Ideally, a grid user should be able to submit a set of ...
  • 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)
  • 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 ...
  • Investigando como características desejáveis afetam o desempenho de perguntas sobre programação em sites de perguntas e respostas. 
    SOUZA, C. C.; http://lattes.cnpq.br/4688807528550419; SOUZA, Cleyton Caetano de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-03-06)
    The social query is a way to find information in social media age. It is the process of sharing a problem with the user of an online community and waiting for answers. Getting help demands that someone able and willing ...
  • MDA-Veritas: uma arquitetura MDA estendida para transformações de sistemas concorrentes preservadoras de semântica. 
    BARBOSA, P. E. S.; http://lattes.cnpq.br/9229454955533353; BARBOSA, Paulo Eduardo e Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-09-08)
    MDA is a software development trend that aims to shift the focus and efforts of the current development methodologies. The implementation method changes from only code production to the usage of models, metamodels and ...
  • Learning syntactic program transformations from examples. 
    SOUSA, R. R.; http://lattes.cnpq.br/7392223184852549; SOUSA, Reudismam Rolim de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-08-02)
    Tools such as ErrorProne, ReSharper, and PMD help programmers by automatically detecting and/or removing several suspicious code patterns, potential bugs, or instances of bad code style. These rules could be expressed ...
  • Abordagem avaliativa multidimensional para previsão da evasão do discente em cursos on-line. 
    MORAIS, A. M.; http://lattes.cnpq.br/2552086192905349; MORAIS, Alana Marques de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-04-20)
    The student’s dropout in online courses was pointed out as one of the biggest issue in the area according to the educational organizations. The main result was the high dropout rates in these courses compared to face-to-face ...
  • Conciliando satisfação e paridade para promover reciprocidade em federações de provedores de computação na nuvem. 
    FALCÃO, E. L.; http://lattes.cnpq.br/8335184809043358; FALCÃO, Eduardo de Lucena. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-04-24)
    Private cloud providers could obtain considerable benefits from operating their infrastructures within a federation. Such operation allows a provider’s exceeding demand to be met by other providers experimenting a resource ...
  • Leveraging the entity matching performance through adaptive indexing and efficient parallelization 
    MESTRE, D. G.; http://lattes.cnpq.br/7207365006541712; MESTRE, Demetrio Gomes. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-03-27)
    Entity Matching (EM), i.e., the task of identifying all entities referring to the same realworld object, is an important and difficult task for data sources integration and cleansing. A major difficulty for this task ...
  • Fostering design by contract by exploiting the relationship between code commentary and contracts. 
    MILANEZ, A. F.; http://lattes.cnpq.br/2166423222266686; MILANEZ, Alysson Filgueira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-05-25)
    Contracts in Design by Contract style bring about preciseness for expressing the code behavior; however, developers are resistant to their use. There are several likely reasons for this, such as the trouble to conceive ...
  • Investigation of test case prioritization for model-based testing. 
    OURIQUES, J. F. S.; http://lattes.cnpq.br/5942038723451559; OURIQUES, João Felipe Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-12-12)
    Software Testing is an expensive and laborious task among the Verification and Validation ones. Nevertheless testing is still the main way of assessing the quality of systems under development. In Model-Based Testing ...
  • Um processo baseado em redes bayesianas para avaliação da aplicação do scrum em projetos de software. 
    PERKUSICH, M. B.; http://lattes.cnpq.br/3250186213608951; PERKUSICH, Mirko Barbosa. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-03-05)
    The use of Agile Software Development (ASD) is increasing to satisfy the need to respond to fast moving market demand and gain market share. In contrast with traditional plan-driven processes, ASD are people and ...
  • Privacy by evidence: a software development methodology to provide privacy assurance. 
    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, 2018-02)
    In anincreasinglyconnectedworld,adiversityofsoftwareandsensorscollectdatafromthe environmentanditsinhabitants.Becauseoftherichnessoftheinformationcollected,privacy becomes animportantrequirement.Applicationsarebeingdeve ...
  • Análise da codificação de objetos complexos no córtex sensorial primário e hipocampo. 
    VASCONCELOS, N. A. P.; http://lattes.cnpq.br/4110109220389767; VASCONCELOS, Nivaldo Antonio Portela de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-11-25)
    Despite major advances in neuroscience, the coding of complex objects, held by neuronal ensemblesattelencephaliclevel,stillnotveryclear. Someworkshavebeensuccessfulusing the information on the activation of neuronal ...
  • Aumentando a confiança nos resultados de testes de sistemas multi-threaded: evitando asserções antecipadas e tardias. 
    REBOUÇAS, A. D. D. S.; http://lattes.cnpq.br/1095204533816403; REBOUÇAS, Ayla Débora Dantas de Souza. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-08-30)
    Testing multi-threaded systems is quite a challenge. The inherent non-determinism of these systems makes their implementation and the implementation of their tests far more susceptible to error. It is common to have tests ...
  • 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 ...
  • 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 ...
  • Habilitando a checagem estática de conformidade arquitetural de software em evolução. 
    BITTENCOURT, R. A.; http://lattes.cnpq.br/6148546666142551; BITTENCOURT, Roberto Almeida. (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 refíexion model technique is a static conformance checking technique to keep architecture module views and implementation conformant. It can either prevent or remedy software aging by combating architecture deterioration. ...
  • Gerenciamento de uma estrutura híbrida de TI dirigido por métricas de negócio. 
    MACIEL JÚNIOR, P. D.; http://lattes.cnpq.br/1101383196957378; MACIEL JÚNIOR, Paulo Ditarso. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-06-14)
    With the emergence of the cloud computing paradigm and the continuous search to reduce the cost of running Information Technology (IT) infrastructures, we are currently experiencing an importam change in the way these ...

Buscar DSpace


Busca avançada

Navegar

Minha conta