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

  • Avaliação de protocolos multicast em redes TCP- IP. 
    KROMBAUER, A. H.; http://lattes.cnpq.br/0657883154152274; KROMBAUER, Artur Henrique. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1998-06-15)
    With the development of new computer network applications based on the TCP/IP family protocols, it arises the necessity of improvements in order to give an effective response to the new requirements. The studies and ...
  • GIRL: uma linguagem de modelagem e verificação de requisitos invariantes. 
    BEZERRA, Marzina Vidal Negreiros. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2018-12-14)
    Precise and consistent requirements promote higher quality in the software, reducing its final cost. Studies show that the use of formal methods in requirements specifications promotes the detection of ambiguities and the ...
  • Ambiente computacional para gerência estratégica: data warehousing: uma survey. 
    SOUZA, A. C. G.; http://lattes.cnpq.br/6851470076397751; SOUZA, Aídre da Cunha Guedes de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1999-04)
    The use of management information systems for decision support (EIS - Executive Information System e DSS - Decision Support System) based on data repository of kind Data Warehouse (DW), has been largely increased. Although, ...
  • Um modelo de monitoria proativa para disciplinas introdutórias de programação. 
    http://lattes.cnpq.br/4597818459210098; DANTAS, Sormany 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-31)
    In the traditional monitoring model, the monitors announce the hours of attendance and are waiting for a contact from the students. On the part of the student, the emergence of a doubt leads him to the action of looking ...
  • Extração de passagens de texto usando um método independente de domínio. 
    SILVA, W. J.; http://lattes.cnpq.br/0360011804148231; SILVA, Welmisson Jammesson da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-08-11)
    Information Extraction (IE) is a collection of methods and techniques that have as objective to extract, from semi-structured or non-structured data sources, relevant information. An EI system is able to extract, from ...
  • WIDEWORKWEB – uma metodologia para o desenvolvimento de aplicações web num cenário global. 
    http://lattes.cnpq.br/5196069557142312; DANTAS, Vanessa Farias. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-07-31)
    Communication technologies evolution observed in the last two decades has driven the software community into new development approaches. Projects with geographically distributed teams developing software for culturally ...
  • Um ambiente visual de consulta a banco de dados espaço-temporal. 
    CAVALCANTI, V. M. B.; http://lattes.cnpq.br/2868420260808800; CAVALCANTI, Valéria Maria Bezerra. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-08-26)
    Visual Query Systems (VQS) for Spatio-Temporal Databases, which enable visual formulation of queries involving both spatial and temporal dimensions, are an important research subject. Existing results treat these dimensions ...
  • Controle de um braço robótico utilizando uma abordagem de agente inteligente. 
    SHHEIBIA, Tarig Ali Abdurrahman El. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2001-07-06)
    This research concerns the construction of an intelligent system developed for the manipulation of a robotic arm. The system is composed of a robotic arm divided in three parts, a magnet and a movable chess board, designed ...
  • Um sistema de visão inteligente para detecção e reconhecimento de peças em um tabuleiro de xadrez em tempo real. 
    RIBEIRO, S. F.; http://lattes.cnpq.br/7746450382056661; RIBEIRO, Sérgio Faustino. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2001-07-20)
    This dissertation presents the development of a intelligent vision system, based on artificial neural networks, developed to detect and to recognize pieces of a chessboard in real time. A software, denominated NeuroMorfo, ...
  • Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos. 
    SILVA, T. M.; http://lattes.cnpq.br/4420554987782575; SILVA, Taciano de Morais. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-08-31)
    Object Oriented Petri Nets (RPOO) is a formalism that merges the Petri Nets and Object Oriented semantics. This kind of merging guarantees the maintaining of original features of each one of the paradigms. The integration ...
  • Investigação de técnicas para extração de características e indexação usando redes GHSOM aplicadas à recuperação de imagens por conteúdo. 
    RODRIGUES, S. T. O.; http://lattes.cnpq.br/4133256522230943; RODRIGUES, Saulo de Tarso Oliveira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-08-26)
    This dissertation proposes a content-based image retrieval system with application on the World Wide Web. A literature review has been prepared, including common techniques for feature extraction, indexing, and image ...
  • Uma arquitetura multimodal para recomendação baseada em conteúdo para TV digital. 
    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, 2014-02-24)
    Digital TV content providers are becoming widespread, with hundreds of programs available each day. The information overload makes difficult for the user to find programs of interest. To help the user, recommender systems ...
  • Uma abordagem para a indexação semântica de documentos textuais baseada em fontes heterogêneas de informação. 
    ARAÚJO JÚNIOR, J. G.; http://lattes.cnpq.br/1026450683366163; ARAÚJO JÚNIOR, José Gildo de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-04-19)
    Nowadays, one of the main challenges in the area of Information Retrieval (IR) is the development of systems that correctly process the idea or concept in the queries emitted by users. Conventional IR systems usually ...
  • Um arcabouço não intrusivo para provisionamento automático de recursos em ambientes de IaaS. 
    MORAIS, F. J. A.; http://lattes.cnpq.br/0987042606840444; MORAIS, Fábio Jorge Almeida. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-02-26)
    The paradigm of cloud computing has brought the concept of elasticity, which is the on demand provision of computational resources. This property is the key to reduce the costs derived from the execution of services in ...
  • "Aprimorando a verificação de conformidade em programas baseadas em contratos". 
    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, 2014-06-06)
    Testing is commonly used to check conformance in contract-based programs, as verification by formal proofs is hard to scale and static analysis is, sometimes, limited for detecting general nonconformances. Traditional ...
  • Aprendizagem de máquina em um ambiente para negociações automatizadas. 
    OLIVEIRA, Rômulo. N.; http://lattes.cnpq.br/8255133166870232; OLIVEIRA, Rômulo Nunes de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-03-28)
    Automated negotiation is a hot research topic in AI applied to e-commerce. Particularly, one of the problems concerning the design of negotiation agents is to enclow them with learn ing and adaptation capabilities in order ...
  • Avaliação de esquemas de contabilidade autônoma em grades computacionais peer-to-peer. 
    SANTOS, R. H. A.; http://lattes.cnpq.br/2881133255128586; SANTOS, Robson Hugo Araújo dos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-08-15)
    Peer-to-peer computational grids have evolved considerably in late years because they allow the sharing of computational resource among organizations. It is important that these systems provide incentives for peers to offer ...
  • DYSCS: uma plataforma para construção de sites de conteúdo social enriquecidos semântica e geograficamente. 
    http://lattes.cnpq.br/0660447730958199; MENEZES, Luciana Cavalcante de. (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)
    The Web 2.0 has leaded to huge modifications in the way people relate and share information with each other. In this new scenario, users participate actively in the process of generating content for the web, being responsible ...
  • Um modelo genérico de agente racional baseado em raciocínio assíncrono interativo. 
    MARTINS, L. F.; http://lattes.cnpq.br/2408830707025912; MARTINS, Lidiana de França. (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)
    The ϕ-calculus theoretical tool tries to manage asynchronous interactive reasoning in the empirical sciences context. An instructor (a human specialist agent of the domain) with knowledge about the subject and interest in ...
  • Um protocolo de reposição de sensores via robôs em redes de sensores sem fio. 
    http://lattes.cnpq.br/5089116729963334; VASCONCELOS, Larissa Lucena. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-08-20)
    Wireless sensor networks are very susceptible to sensor failures that may endanger the net work coverage and conectivity and, thus, its desired operation. Since it may not be feasible to physically fix the sensors, a ...

Buscar DSpace


Busca avançada

Navegar

Minha conta