DSpace/Manakin Repository

Navegação Doutorado em Ciência da Computação. por título

Navegação Doutorado em Ciência da Computação. por título

Classificar por: Ordenar: Resultados:

  • A technique to test apis specified in natural language. 
    PONTES, F. B.; http://lattes.cnpq.br/2757376642187399; PONTES, Felipe Barros. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2020-03-05)
    Developers of widely used Application Programming Interfaces (APIs) implement and test APIs based on a document, which is commonly specified using natural language. How- ever, there is limited knowledge on whether API ...
  • Teste baseado em modelos simbólicos para sistemas de tempo real. 
    ANDRADE, W. L.; http://lattes.cnpq.br/3697205933296303; ANDRADE, Wilkerson de Lucena. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-04)
    Sistemas de tempo real são aqueles cujo correto comportamento não depende somente dos resultados gerados, mas também de quando os resultados são gerados. Sistemas de tempo real são utilizados em diferentes contextos, ...
  • Uma técnica para detectar fraquezas de código em programas C. 
    MUNIZ, R. C.; http://lattes.cnpq.br/1454914002384966; MUNIZ, Raphael de Carvalho. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2022-03-04)
    Companies’ investment in implementing means to ensure security in software systems makes us realize the importance of this topic. However, ensuring this feature is not a trivial activity. Several critical systems, such ...
  • 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 ...
  • Towards auditable and intelligent privacy-preserving Record linkage. 
    NÓBREGA, T. P.; http://lattes.cnpq.br/5048923517404787; NÓBREGA, Thiago Pereira da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2022-12-12)
    The Entity Resolution with Privacy Guarantees (REGP) intends to integrate data private/sensitive files from various data sources maintained by different parties. The REGP aims to identify records (for example, people or ...
  • A trusted execution environment-based architecture for cloud/fog-based IOT applications 
    VALADARES, D. C. G.; http://lattes.cnpq.br/2071137340853439; VALADARES, Dalton Cézane Gomes. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2020-11-27)
    The “Internet of Things” (IoT) is a term used, for the first time, in 1999, by Kevin Ashton, when speaking about the possibility of a connection between physical devices and the Inter- net. RFID (Radio Frequency ...
  • 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 ...
  • 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 ...
  • zReader: a mobile game suite for improving children’s reading skills and behavior. 
    GUERRA, Fabrício Vale de Azevedo; http://lattes.cnpq.br/7860769003807018; GUERRA, Fabrício Vale de Azevedo (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-11-12)
    This work describes an empirical, educational and technological research conducted within the context of Brazilian formal literacy education problems. The main purpose of the research was to address the question of whether ...

Buscar DSpace


Busca avançada

Navegar

Minha conta