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

  • Uma ferramenta para verificação interativa de programas vip. 
    GARCIA, F. P.; http://lattes.cnpq.br/2911843555711554; GARCIA, Francilene Procópio. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1994-04)
    The principal aim of this work is the software implement for the analysis of beginner created computer programs. The program checks are oriented to the identification and correction of logic errors caused by partial or ...
  • Splines e modelagem geométrica. 
    LINS, R. C.; http://lattes.cnpq.br/8623118472645092; LINS, Robson Cavalcanti. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1996-06-26)
    Splines, which are mathematically describable, have very nice properties for modeling curve. A curve defined by a function / satisfying a few conditions can be approximated by splines. Also, given a curve whose defining ...
  • Modelagem de sistemas de informação para apoio à tomada de decisão. 
    FRAZÃO, R. M. N.; FRAZÃO, Ronaldo Martins Nascimento. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1994-04)
    The absence of comprehensive, market-aware methodologies that consider the complexity of the information technology market, creates a hard problem for selecting the best alternatives in information technology. The ...
  • Filtros espaciais de alto desempenho para imagens em sistemas de informações geográficas. 
    BARROS, R. F. Q.; http://lattes.cnpq.br/4164889830896015; BARROS, Rute Freitas Queiroz de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1998-12-18)
    Spatial filters are used for digital images to remove noise or perform some form of segmentation. Based on studies of filter algorithms and their computational complexity, an algorithm is implemented using reconfigurable ...
  • Projeto e implementação de uma ferramenta para gerência de servidores web com suporte a recursos espelhados. 
    COSTA, R. M.; COSTA, Raquel Meneses 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)
    The World Wide Web huge growth on the past years is responsible for some problems faced by its users, the broken-link in a hipertext being one of them. Resource mirroring schemes have been proposed to solve this problem, ...
  • ConTOM: um sistema de consultas gráficas a um branco de dados temporal orientado a objetos. 
    SILVA, S.F.; http://lattes.cnpq.br/8698404338363397; SILVA, Sônia Leila Fernandes. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1995-02-21)
    This paper presents the Graphical Database Query System - ConTOM (TOM Consultations), considering as relevant aspects: the visual specification of the conceptual scheme from a modular perspective, and the process of ...
  • ALLOS: uma ferramenta para solucionar modelos de redes de filas usando cadeias de Markov. 
    OLIVEIRA, S. R. M.; http://lattes.cnpq.br/5321244029568287; OLIVEIRA, Stanley Robson de Medeiros. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1995-06-21)
    The relevance of Markovian models in systems performance evaluation and the The need for efficient model specification and solution tools attention of the new generation of competing systems. These tools should ...
  • Projeto e implementação de um servidor world wide web proxy com suporte a recursos espelhados. 
    FONSÊCA, T. E. A.; FONSÊCA, Tércio Eulálio de Albuquerque. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1998-07-20)
    The unavailability of resources, is one of the main problems faced by the World Wide Web users nowadays. This problem is normally caused by failures in the Web's infra-structure and can be solved by the introduction of ...
  • Desenvolvimento de uma metodologia para resolução de problemas do tipo determine. 
    CAMINHA SANTOS, V. L. P.; http://lattes.cnpq.br/5192328854991448; SANTOS, Vera Lucia Prudência dos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1997-07-03)
    This work presents the Development of a Methodology for Solving "Determine Type" Problems, using Skolemization process as solution. The methodology draft is divided in two steps. On first step there is the problem ...
  • Detectando ambiguidade em consultas conceituais. 
    MOREIRA JÚNIOR, V. M.; http://lattes.cnpq.br/2795576108415626; MOREIRA JÚNIOR, Vicente Manuel. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-07)
    One of the main objectives of information systems is to offer a human-computer interaction the most natural possible. To meet this necessity, from the database query viewpoint, the objective of this dissertation is to ...
  • Um serviço de comunicação síncrono para nodos com semântica de falha controlada utilizando redes assíncronas. 
    CATAO, V. S.; http://lattes.cnpq.br/9004848457100237; CATÃO, Vladimir Soares. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1998-12-31)
    Replicated processing on independent processors is a common way to achieve faulttolerant processing. It is the basis for the reliable processing service offered by the Seljuk-Amoeba operating environment. In order to ...
  • Supervisores distribuídos para sistemas flexíveis de manufatura utilizando redes de petri. 
    RIBEIRO, Z. B. S.; RIBEIRO, Zilma Betania de Sá. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1999-08)
    This work aims at the modeling, using Coloured Petri Nets, of a distributed supervisor for Flexible Manufacturing Systems. To promote the coordination of events in a distributed way, a supervisor is assigned to each cell ...
  • Processamento confiável no ambiente operacional Seljuk-Amoeba. 
    RIBEIRO, E. L. G.; RIBEIRO, Érica de Lima Gallindo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1998-06-26)
    Building distributed applications is not a simple task. Designers of such systems have followed two complementary approaches to reduce design complexity, namely: (i) the use of appropriate development tools; and ii) the ...
  • Um modelo para implementação de um serviço e protocolo de transferência de arquivos em rede. 
    LIMA, C. P. A.; LIMA, Clizenit Pinheiro Assis de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1990-05-04)
    This work models and implements the necessary infrastructure (processes, data structures, basic routines, ...) to support the service and protocol of transfer, access and file management. The deployment model is developed ...
  • SEI-Com - um serviço de informações comerciais na web com característica ativas. 
    NASCIMENTO, C. A.; http://lattes.cnpq.br/1223963520258107; NASCIMENTO, Claudionor Alencar. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1999-03-05)
    After showing some technologies used to access databases through the Internet, we discuss some architectures of integration of the Web with databases and we highlight the fundamental importance of the commercial development ...
  • Controle de concorrência com transações multiníveis. 
    BAPTISTA, C. S.; http://lattes.cnpq.br/0104124422364023; BAPTISTA, Cláudio de Souza. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1991-04-04)
    Concurrency control in Databases has received a lot of attention in recent years to provide increasingly efficient and reliable systems. The news Applications (CAD, CASE, Office Information) have required new techniques ...
  • MAPESGBD - uma metrologia de apoio à decisão para seleção de SGBD. 
    SILVA, A. M. D.; SILVA, Adna Magnólia Dantas. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1996-08-09)
    The ever-growing diversity o f DBMS products makes hard the task of selecting a product that best fits the needs o f an organisation. This work proposes a methodology that aims to be a decision making aid during the ...
  • Avaliando arquiteturas de auditoria de acordos de nível de serviço para Web Services e Grid Services. 
    BARBOSA, A. C. B.; http://lattes.cnpq.br/1574811347632895; BARBOSA, Ana Carolina Benjamim. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-02-22)
    Service level management (SLM) of Web and Grid Services is an important issue that has to be solved in order to achieve large-scale deployment of services. The need to negotiate, measure and audit the quality of the services ...
  • SAT-5: um sistema de informações em solo para os experimentos a bordo do satélite de aplicação científica - SACI-1. 
    PEREIRA JUNIOR, R. A.; http://lattes.cnpq.br/6348527995871693; PEREIRA JÚNIOR, Romualdo Alves. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1998-02-26)
    This work regards the ground station software development for the experiments – PLASMEX, ORCAS, PHOTO and MAGNEX – that constitute the payload of the first small brazilian satellite for scientific applications. Named ...
  • SEI-Tur: um sistema de criação de roteiros turísticos. 
    MAIA, A. C. J.; http://lattes.cnpq.br/5864710077457656; MAIA, Ana Carolina de Jesus. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-04-29)
    The fast growth and popularity of the World Wide Web have widely facilitated the access to information. At the same time, this growth has render more difficult the tasks to collect, to filter, to evaluate and to use this ...

Buscar DSpace


Busca avançada

Navegar

Minha conta