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

  • Uma metodologia para implementação semiautomática de protocolos de comunicação. 
    LIN. C.W.; http://lattes.cnpq.br/4205400757108096; LIN, Chen Wen. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-08)
    This work presents a methodology for the derivation of semi-automatic implementations of communication protocols specified in the Formal Description Technique (FDT) Extended State transition language ( Estelle ). The main ...
  • Sistema de transmissão de vídeo para vigilância utilizando bluetooth. 
    http://lattes.cnpq.br/6321676636193625; BRITO, Alisson Vasconcelos de (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-02-25)
    The current interest in protection of private property against trangressors and onlookers has increased the demand for better surveillance systems. This work describes a wireless video transmission system for surveillance ...
  • Um modelo de automação do planejamento da qualidade com a utilização de sistemas de help-desk. 
    ALBUQUERQUE, ALFRAM R. R.; http://lattes.cnpq.br/7020501837660717; ALBUQUERQUE, Alfram Roberto Rodrgues de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-08)
    The continuous development of new products and services or improvement of both is the necessary condition for the survival and growth o f corporations that intend to be leaders in their market niche. The attendance ...
  • Estudo e implementação de métodos diretos para solução exata de sistemas lineares. 
    http://lattes.cnpq.br/2703359679579114; COSTA, Adeilton Fernandes da (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1998-07-17)
    The proposal of this work is to implement a method for exact solution of systems linear, non rational, whose coefficients are integers, using a packet of multipoint precision floating point arithmetic. The work presents a ...
  • SIGTRANS: um sistema de informações geográficas para o planejamento viário. 
    ALENCAR, V. C.; http://lattes.cnpq.br/3487530268089418; ALENCAR, Vladimir Costa de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1993-03-23)
    Due to the difficulties in managing viary networks, a Geografic Information System, GIS, was developed for viary planning (GIS is a system which integrates maps and descriptive information). This system helps ...
  • Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação. 
    SOUZA, J. N.; SOUZA, José Neuman de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1990-03-26)
    This work presents a méthodologie for validation, by simulation, of protocol formal specifications described with the formal description technique (FDT ) Extended State Transition Language (Estelle), version 1983. This ...
  • Suporte de ferramenta de software para o padrão pedagógico aula em mapa de conceitos. 
    OLIVEIRA NETO, J. A.; http://lattes.cnpq.br/9814894825037581; OLIVEIRA NETO, José Augusto de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-02-25)
    Pedagogical Patterns (PP) are structured discriptions to organize a lecture. These patterns have been catalogued by a project based on collaboration among teachers from Object Orientation community. Pedagogical Patterns ...
  • Um mecanismo de atenção visual integrando evidências espaciais e temporais. 
    SANTOS, S. M.; http://lattes.cnpq.br/7268770155823328; SANTOS, Sandberg Marcel. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-08-29)
    Biological vision systems have mechanisms that focus on the extraction of the most relevant information for performing a given visual task, so that the overall computational effort is reduced. Inspiredby these mechanisms, ...
  • Desenvolvimento de componentes para facilitar a monitoração remota de redes de computadores usando ferramenta WebManager. 
    SOUZA, E. M.; http://lattes.cnpq.br/2060002119009994; SOUZA, Exson Machado. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-08-28)
    Network equipments are implementing RMON(Remote Monitoring) Probes and offering this tool as an option to improve the Network Management. The RMON supplies data that makes possible to detect ...
  • Sistemas especialistas como ferramenta auxiliar para o ensino da disciplina bases da técnica cirúrgica. 
    ARAGÃO, J. F. B.; http://lattes.cnpq.br/6773007522838099; ARAGÃO, João Fernandes Britto. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-07-01)
    It comes in this work the contribution that the expert systems can offer to the medical students, in matter the one of Surgical Technique Bases, in the sense of having a tool that allows: simulation in most several ...
  • Claret: um artefato central para engenharia de requisitos e teste baseado em modelos. 
    http://lattes.cnpq.br/2682324004823239; JORGE, Dalton Nicodemos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-07-17)
    The construction of test cases in the traditional way has been, to a large extent, a slow and costly process in financial terms. In this sense, the automatic generation of model-based tests emerges as a viable alternative ...
  • Processo interdisciplinar de análise e classificação de dados: um estudo de caso em e-mail marketing. 
    http://lattes.cnpq.br/2145104307682412; MONTHALER, Paul. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-08-31)
    Solutions with Machine Learning are too often reduced to pure math and stats. But the information required for the solution comes from professionals from the context of the collected data, those with expertise in the ...
  • Revisiting the refactoring names. 
    http://lattes.cnpq.br/4592080386248689; OLIVEIRA, Jonhnanthan Victor Pereira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-09-03)
    Refactoring is a key practice in agile methodologies used by a number of developers, and available in professional IDEs. There are some books and papers explaining the refactoring names. Some works identified that the ...
  • Provisionamento vertical de recursos em ambientes de nuvens. 
    http://lattes.cnpq.br/9548167960831148; GOES, Armstrong Mardilson da Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-08-20)
    In the last decade, a large growth on the usage of virtualized infrastructures for application deployment has been observed. Seeking flexibility on resources allocation and lower management cost, many companies adopted ...
  • Agrupamento de faces em coleções de fotografias digitais. 
    MOURA, E. S.; http://lattes.cnpq.br/6035381037948847; MOURA, Eduardo Santiago. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-02-28)
    AS a result of the popularization of the Internet (motivated by social networks like Facebook, Orkut, MySpace) and the increasing proliferation of digital cameras and mobile devices, the automatic organization of large ...
  • Implementação e validação de componentes para a construção de ambientes de simulação de redes TCP/IP. 
    ROCHA, F. G.; http://lattes.cnpq.br/4435595452122184; ROCHA, Flávio Gonçalves da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-08-28)
    Studies and analysis of computation and data communication systems could be complex due to the great amount of resources to be considered and their relationship. As new technologies appear more detailed studies and analysis ...
  • Ataques quânticos a geradores de números pseudo-aleatórios. 
    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, 2011-03-25)
    This dissertation presents a quantum permanent compromise attack to the Blum-Micali pseudorandom generator. The security of this generator, classified as cryptographically secure, is based on the hypothesis of intractability ...
  • Estudo da aplicação do algoritmo Viola-Jones à detecção de pneus com vistas ao reconhecimento de automóveis. 
    RODRIGUES, M. B. E.; http://lattes.cnpq.br/7033192295189045; RODRIGUES, Matheus Bezerra Estrela. (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)
    Motivated by the growing use of electronic surveillance, this research introduces the use of the Viola-Jones algorithm, which is known to be efficient in recognition of human faces in images, changing the object to be ...
  • Infraestrutura para entrega de anúncios de publicidade pervasiva personalizados baseada em estatística de consumo. 
    ROSNER, M. A. C.; http://lattes.cnpq.br/2739498007021071; ROSNER, Marco Antonio Cavalcante. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-03-15)
    In recent years, the use of smartphones has been popularized and, beside of that, there are the growth of broadband access via smartphone. In this scenario, based on Pervasive Computing, Pervasive Advertising appears. The ...
  • Estudo do uso de vocabulários para analisar o impacto de relatórios de defeitos a código-fonte. 
    CAVALCANTI, D. T.; http://lattes.cnpq.br/9474337125322200; CAVALCANTI, Diego Tavares. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-11-26)
    Locating and fixing bugs described in bug reports are routine tasks in software development processes. A major effort must be undertaken to successfully locate the (possibly faulty) entities in the code that must be worked ...

Buscar DSpace


Busca avançada

Navegar

Minha conta