DSpace/Manakin Repository

Navegação Doutorado em Ciência da Computação. por assunto "Ciência da Computação."

Navegação Doutorado em Ciência da Computação. por assunto "Ciência da Computação."

Classificar por: Ordenar: Resultados:

  • 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 ...
  • Uma abordagem para recomendação de casos de teste em projetos ágeis baseados em Scrum. 
    http://lattes.cnpq.br/4483720738278386; SOUZA FILHO, Ednaldo Dilorenzo de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2021-08-23)
    The use of agile methodologies for software development has increased significantly in recent years, bringing many changes to the traditional model. These changes had a great impact on the way the tests are developed and ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • ECoCADe: um framework conceitual para apoiar tomadas de decisão baseadas em evidências, contexto e casos. 
    LOPES, E. C.; http://lattes.cnpq.br/7197564797868150; LOPES, Expedito Carlos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-10-20)
    In the routine of many professionals is a common situation being confronted with a problem that triggers a decision process for its resolution. However, not every problem is considered common. When the problem presents ...
  • 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 ...
  • 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 ...
  • 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. ...
  • Improving tail latency of interactive cloud microservices through management of background tasks. 
    http://lattes.cnpq.br/8895463227448929; FIREMAN, Daniel Lacet de Faria. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2021-07-30)
    The increase in use cases with strict latency requirements, e.g., e-commerce and real-time data management, has been pushing towards greater control over performance variability. That is because even infrequent spikes might ...
  • Investigação do problema de detecção de faces com variações de orientação. 
    PEREIRA, E. T.; http://lattes.cnpq.br/2030738304003254; PEREIRA, Eanes Torres. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-06)
    In this thesis, the problem of detecting faces that present high variations of orientation is investigated. Some factores were identified that may infiuence the detection results when some evaluation metrics are used. ...
  • 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 ...
  • 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. ...
  • 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 ...
  • 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 ...
  • 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)
  • 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 ...

Buscar DSpace


Busca avançada

Navegar

Minha conta