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

  • Geolocalizador: um sistema de referência espaço-temporal indireta na web. 
    PAZINATTO, E.; http://lattes.cnpq.br/9710841138808150; PAZINATTO, Eder. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-01-24)
    The Internet has underpinned applications in different domains. One of the application domains that has been pushed towards web-based systems is spatial information systems. Currently, a huge volume of spatial data is being ...
  • Formalização e análise de padrões de projeto para agentes móveis. 
    LIMA, Emerson Ferreira de Araújo; http://lattes.cnpq.br/9849289684304480; LIMA, Emerson Ferreira de Araújo. (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)
    Mobile Agents are programs that can autonomously migrate between different computers, continuing their execution in the point where they stopped before migrating. Many case studies have shown the applicability of this ...
  • Projeto e implementação de um serviço de detecção de falhas com semântica perfeita para redes locais. 
    OLIVEIRA, E. W. A.; http://lattes.cnpq.br/2894993072804612; OLIVEIRA, Ely Wagner Aguiar de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-08-29)
    In the intention to extend its services, several sectors of our society, as banks, hospitals and industries, increase even more its degree of dependence of the correct functioning of distributed systems. In parallel to ...
  • Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código. 
    OLIVEIRA, E. A. da 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, 2006-06-02)
    Formal methods have been used so much nowadays in development projects in where there is a requirement for the software behavior being as it is expected to be. However, there are few projects that are disposed to invest ...
  • Avaliação de modelos de mobilidade em redes ad hoc sem fio. 
    CAVALCANTI, E. R.; http://lattes.cnpq.br/6315076254860302; CAVALCANTI, Elmano Ramalho. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-06-17)
    One of the most important components in a simulation of a mobile ad hoc networks is the mobility model. Recent researches show that this component significantly influences the performance of protocols. Mobility metrics ...
  • Projeto e construção de um gerente de data warehouses móveis. 
    DIAS, P. M.; http://lattes.cnpq.br/4116664871464149; DIAS, Plácido Marinho. (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 emergence and constantly growing popularity of portable devices such as notebooks, laptops and personal digital assistants (PDAs), and the advances in the technology of wireless communication networking, have motivated ...
  • Integração de bancos de dados federados na web usando agentes móveis. 
    MEDCRAFT, P. S.; http://lattes.cnpq.br/9189838030703382; MEDCRAFT, Philip Stephen. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-02-24)
    The classic problem of information integration has been addressed for a long time. The Semantic Web project is aiming to define an infrastructure that enables machine communication on the web. This is a vision that tackles ...
  • Personae: um modelo de mediação semântica para arquiteturas orientadas a serviços. 
    SILVA, P. A.; http://lattes.cnpq.br/1271566719998197; SILVA, Patrício de Alencar. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-05-18)
    Nowadays, personalization is a strong trend in service provisioning. This trend can also be noticed on the Web, where some degree of automation in processes such as information discovery and selection points to a concern ...
  • Uma metodologia para avaliação do impacto de tecnologias da informação emergentes nas empresas. 
    MEDEIROS, E. M. S.; http://lattes.cnpq.br/0876012535528190; MEDEIROS, Elizabet Maria Spohr de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-05-27)
    Although living in the midst of globalization and embracing technological innovation, many executives are plagued with an erroneous thought: they believe that emerging technologies are to be adopted only when they mature, ...
  • Diliframe: um framework para o desenvolvimento de bibliotecas digitais. 
    ARAUJO, E. C.; http://lattes.cnpq.br/8032715047993974; ARAÚJO, Eliane Cristina de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-11-29)
    This dissertation presents Diliframe: a framework for the development of digital libraries. The aim is to facilitate the development of these systems through reuse achieved with the framework. Diliframe is build upon a ...
  • Análise, projeto e implementação de um servidor de DW extensível. 
    JORGE, E. M. F.; http://lattes.cnpq.br/6716225567627323; JORGE, Eduardo Manuel de Freitas. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2001-02-17)
    Research in Decision Support Systems is flourishing, Data Warehousing being the one with the most repercussion, since it provides a complete solution, contemplating steps from data collection until its transformation in ...
  • Gestão do conhecimento no processo de concepção de IHC e uma nova abordagem para a obtenção de uma especificação conceitual da interação. 
    SUÁREZ, P. R.; http://lattes.cnpq.br/9197555912095838; SUÁREZ, Pablo Ribeiro. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-02-16)
    The main objective of a human-computer interface’s designer should be to produce an interface that turns the system easy to learn, easy to understand and easy to use. To reach it, the designer needs to have in your hands, ...
  • Otimização da localização de transformadores em redes de distribuição. 
    ARAÚJO, F. J.; http://lattes.cnpq.br/9112511053307536; ARAÚJO, Francisco José de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1980-06)
    This study consists of the establishment of a function to control the load of transformers, criteria for balancing in the phases of the transformer, as well as the development of an algorithm to obtain the best allocation ...
  • Um ambiente de programação concorrente no sistema operacional UNIX. 
    PEREIRA, J. C. R.; http://lattes.cnpq.br/8964727800410017; PEREIRA, João Carlos Rodrigues. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1986-08)
    This thesis deals with the notational aspects of concurrent programming. The principal concepts and notations used to specify concurrent execution, process synchronization and communication are presented. The use of UNIX ...
  • Estudo e implementação de métodos iterativos para solução de sistemas de equações lineares integrados a uma biblioteca numérica. 
    SOARES, M. N. A.; SOARES, Maria das Neves Almeida. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1983-10)
    This work consists of a study of iterative methods for solving systems of linear equations aiming at the implementation of these methods in a library of numerical algorithms under development at DSC / UFPB. Initially, an ...
  • SAVAD: sistema de avaliação de desempenho de modelos de redes de filas. 
    SOUTO, F. A. C.; http://lattes.cnpq.br/4515679451261695; SOUTO, Francisco de Assis Coutinho. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1993-12-10)
    Systems that exhibit resource contention usually are modelled using the networks of queues paradigm Examples of that systems are computer networks, traffic systems, manufacturing process, bank branches, etc. This ...
  • Intforbayes: uma ferramenta para sistemas especialistas bayesianos. 
    LYRA, I. A.; http://lattes.cnpq.br/2140596753401184; LYRA, Isaque Alves de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1991-07-17)
    This work describes IntForBayes, a "shell" for the development and consultation of special systems, whose main advantages are: intelligence in determining the order and number of questions to be asked (this intelligence ...
  • Um sistema baseado em conhecimento para integração de esquemas de banco de dados. 
    MOREIRA, I. D.; http://lattes.cnpq.br/6656527064193134; MOREIRA, Isaac Douglas. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1991-12)
    This work presents a Knowledge based system to integrate database schemas. The system incorporates the main aspects of the most significant methodology to integrate the schemas. It's an evolutionary and flexible system ...
  • Arquitetura e implementação de interface de linha física para um comutador ATM. 
    TOURÉ, M.; TOURÉ, Mamadou. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1998-10-30)
    This Master Degree dissertation describes the physical interface (ILF) architecture of a AIM lw4N switch (COMATM). The ILF is a flexible and modular architecture which can be use-' with physical layer standards 155Mbps ...
  • Um ambiente para edição e animação de sistemas de G-Nets. 
    MIRANDA, M. V. C.; http://lattes.cnpq.br/8046990008328337; MIRANDA, Márcia Verônica Costa. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1996-12-30)
    This work presents an interative graphical tool to the specification, modeling, and design of software systems, named NetGraph. The tool aims at aiding the designer to model systems based on a class of object based Petri ...

Buscar DSpace


Busca avançada

Navegar

Minha conta