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

  • Uma abordagem para classificar bugs sob a perspectiva de máquina de estados. 
    LIMA, M. A. E. A.; http://lattes.cnpq.br/5783905837905959; LIMA, Melquisedec Albert Einstein de Andrade. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2019-12-09)
    Among the models approached by the UML language, there is the state machine model, which allows modeling the behavior of an isolated software object, showing explicitly how the object responds to external stimulus. When ...
  • Um simulador para avaliação de desempenho de redes locais. 
    CAUPER FILHO, A.; http://lattes.cnpq.br/4510254918455470; CAUPER FILHO, Antonio. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1987-12-22)
    It's always very important to know if a resource is being used or it's going to be well used. In case of locals NETWARE (LAN) is not different. However, we develop here a simulator that helps to find out if a LAN, to ...
  • Sistema semiautomático de reconhecimento de identidade vocal forense. 
    MOREIRA, D. C.; http://lattes.cnpq.br/5264368962812385; MOREIRA, Danilo Coura. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-09)
    Due to the development of telephone networks, the use of this environment to support criminals to commit crimes is increasingly common. Based, then, on the possibility of individualizing one person from their vocal ...
  • Uma abordagem para análise estática automática de procedimentos armazenados em bancos de dados. 
    NASCIMENTO FILHO, D. C.; http://lattes.cnpq.br/3151296501932443; NASCIMENTO FILHO, Dimas Cassimiro do. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-03-01)
    Stored Procedures are commonly used by applications to access and manipulate data in databases. If procedures are inefficiently implemented, excessive delays are passed to the application layer and can bring significant ...
  • Especificação e implementação de componentes para modelar redes locais sem fio ad hoc padrão IEEE 802.11. 
    SOUTO, L. M.; http://lattes.cnpq.br/4061558068153613; SOUTO, Leidjane Matos de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-02-02)
    This Master Dissertation presents the specification and the implementation of software components aiming to facilitate the building level high simulation tools that are applied in both modeling and performance evaluation ...
  • Uma heurística de escalonamento adaptativa à disponibilidade da informação para aplicações bag-of-tasks data-intensive em grids computacionais. 
    ASSIS, Leonardo de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-09-02)
    The technology of grid was created to facilitate the resource sharing among individuals belonging to different administrative domains. In recent years, the use of grid computing is increasingly common due to the large ...
  • Análise probabilística de impacto de mudanças baseada em históricos de mudanças do software. 
    HATTORI, L. P.; http://lattes.cnpq.br/8147803733617660; HATTORI, Lile Palma. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-02-27)
    In order to attend the continuous need for evolution, software systems are subjected to constant changes. Both during software development and maintenance there is a need to incorporate changes, which can be caused by, for ...
  • Aprendizagem e recuperação de imagens utilizando mapas auto-organizáveis e representação log-polar. 
    BATISTA, L. B.; http://lattes.cnpq.br/7048368166246250; BATISTA, Luana Bezerra. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-02-19)
    Everyday, a growing number of organizations is collecting and storing a large amount of digital images. Furthermore, images have also been massively added to the World Wide Web. Therefore, structuring this information, ...
  • Um sistema tutor multiagentes no domínio de redes de petri. 
    GOIS, G. M.; http://lattes.cnpq.br/9336488751488837; GÓIS, Gustavo Meneses. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-08-30)
    This work presents the definition, modeling and analysis of a multi-agent tutor system in the domain of Petri nets. The design of this system is based on an interactive learning environment model with a multi-agent approach, ...
  • Uma ferramenta para projeto e simulação de circuitos quânticos. 
    CABRAL, G. E. M.; http://lattes.cnpq.br/0654291045349611; CABRAL, Gustavo Eulálio Miranda. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-07-21)
    Quantum Computation appeared as a promissing alternative technology capable of turn around the problems predicted to happen soon with the saturation of the current technology (Classical Computation). These problems occur ...
  • Uma ferramenta para a definição e verificação de regras de integridade em banco de dados. 
    DRUMOND, G. F.; http://lattes.cnpq.br/8398374864662567; DRUMOND, Gabriela Ferreira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1990-02-20)
    This work is the description of a tool developed with the objective of automatically generating critical programs. The system, developed by us, allows the definition of Integrity Rules (Ris), using a language in two versions, ...
  • Convertendo recursos compartilhados no espaço em recursos intermitentes. 
    COSTA, L. B.; http://lattes.cnpq.br/9287868588025316; COSTA, Lauro Beltrão. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-12)
    Computational grids are turning from promise to reality. Of course, this is not happening for all applications at once. Bag-of-Tasks (BoT) applications (parallel applications composed of independent tasks) are, due to their ...
  • Modelagem e descrição formal das fontes do direito como infraestrutura de um sistema de gerenciamento de conhecimento legal. 
    http://lattes.cnpq.br/0480708241258533; FREITAS, Halley Ferreira Solano de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-06-17)
    Among knowledge areas that use scientific computing to optimize their applications, this work explores the interdisciplinarity between Law and Computer Science (CS). Law specialists use several sources during their normative ...
  • Análise de mutação aplicada à verificação funcional de IP core. 
    CUNHA, HENRIQUE. N.; http://lattes.cnpq.br/3859652013691424; CUNHA, Henrique do Nascimento. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-08-29)
    There is a growing need to make IP cores more reliable. Hence, it is necessary to use a rigorous functional verification methodology to this kind of product. This process is responsible for 70% of a project’s resources, ...
  • Análise, projeto e implementação de um esquema MOLAP de data warehouse utilizando o SGBD-OR Oracle 8i. 
    NERI, H. R.; http://lattes.cnpq.br/9257773784310175; NERI, Hilmer Rodrigues. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-02-27)
    With the emerging relational objects techonologies in relational database management systems (RDBMS), many researchers have directed their research efforts to evaluate the usability of such technology in OLAP queries. This ...
  • MediWeb: um integrador semântico de dados na web baseado em mediador. 
    ARRUDA, L. S.; http://lattes.cnpq.br/4211275856605705; ARRUDA, Ladjane Silva de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-08-16)
    Semantic Web is a next web generation vision, where information is integrated, processed, interpreted and interchanged among machines in order to provide more sophisticated applications for web users. This vision, ...
  • Estudo e implementação do método mult-grid. 
    FRANÇA, K. M.; http://lattes.cnpq.br/0727535910011193; FRANÇA, Kátia Mara. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1988-03)
    The multi-grid method is a numerical strategy for solving continuous problems such as integral and partial differential equations and minimization problems. In this work we emphasize mainly the numerical solution of problems ...
  • Um sistema de controle de integridade para um modelo de dados aberto. 
    SILVA, Marinaldo Nunes da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-08-28)
    This work was dedicated to the development of a system on top of a relational DBMS, GeRATOM, for the control of data integrity in an open data model (TOM), enabling the processing of predefined implicit integrity rules of ...
  • Uma infraestrutura para o desenvolvimento de aplicações pervasivas autoconfiguráveis. 
    Hozano, Mário; http://lattes.cnpq.br/0875764018578208; SOUZA, Mário Hozano Lucas de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-05-05)
    In the pervasive computing paradigm, the automation of tasks promotes an important feature of smart environments: the invisibility. On the other hand, researches on autonomic computing have achieved significant advances ...
  • Análise, projeto e implementação de um gerente web de metadados extensível para um processo de data warehousing. 
    Colaço Jr., Methanias; http://lattes.cnpq.br/5575237386798588; RODRIGUES JÚNIOR, Methanias Colaço. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-06-19)
    Decision Support Systems based in Data Warehouses has a critical component: the metadata. Known as “information about data”, metadata are required for understanding of data within time and, mainly, make the necessary ...

Buscar en DSpace


Búsqueda avanzada

Listar

Mi cuenta