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

  • Ferramenta para suporte à gerência de redes locais. 
    ROGOSKI, Jorge Henrique.; http://lattes.cnpq.br/4632413684095285; ROGOSKI, Jorge Henrique. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1990-11)
    This work describes the design and implementation of a tool to assist in local computer network management activities. The project was based on Ethernet-type local area networks, as they are currently the most used in the ...
  • Especificação formal de sistemas de telefonia em estelle: um estudo de caso. 
    ANDRADE, R. M. C.; http://lattes.cnpq.br/9576713124661835; ANDRADE, Rossana Maria de Castro. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-12)
    The Formal Description Technique ( F D T ) Extended State Transition Language (Estelle), standardized by International Organization for Standardization (ISO), was developed for the formal specification of distributed ...
  • Fast poisson solvers: um estudo comparativo. 
    FRANÇA, D.; FRANÇA, Deoversino. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1987-02)
    In this work four variants of fast poisson solvers are studied. The four variants, the basic FFT method, the cyclic reduction method (Buneman algorithm), the Fourier Analysis / cyclic reduction (FACR) method (1, j), and ...
  • Melhores práticas para a gerência de redes de computadores. 
    LOPES, R. V.; http://lattes.cnpq.br/0577503698179302; LOPES, Raquel Vigolvino. (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)
    Network Management has been the subject of study of great studious, as Rose, Waldbüsser, Perkins and McCloghrie. Although the management literature is very vast on the instrumentation level, there isn’t exist an specific ...
  • Modelos computacionais realistas para dependências entre entidades de software. 
    http://lattes.cnpq.br/7697794806460975; SOUZA, Rodrigo Rocha Gomes e. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-08-31)
    The analysis of dependencies between source code entities of a software system is performed by several reverse engineering tools in order to reveal information that is useful for software maintenance. There is, however, a ...
  • Hashing: uma visão geral e estudo para máquinas com memória virtual paginada. 
    SILVA, H. M.; http://lattes.cnpq.br/3487464815409292; SILVA, Hélio de Menezes. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1976-05)
    Initially, a study is made of various aspects related to hashing, aiming to offer the system analyst everything he needs to know about the subject. Then a hashing analysis is performed for machines with paged virtual memory, ...
  • Backforneb: uma ferramenta para construção de sistemas especialistas diagnosticadores. 
    AQUINO, M. S.; http://lattes.cnpq.br/5254054475798355; AQUINO, Marcus Salerno de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1987-10)
    This paper describes the design and implementation of a tool for developing general purpose diagnostic systems (BACKFORNEB). Knowledge is represented in the form of rules and the promissory propagation of facts in the ...
  • Especificação formal de um sistema de apoio à descoberta. 
    NÓBREGA, G. M. da.; http://lattes.cnpq.br/2899317637335635; NÓBREGA, Germana Menezes da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1998-11)
    In the context of agent based systems, a rational agent may be seen as a system appearing to the user as being capable of reasoning, handling interactions, beliefs, as well as incomplete, imprecise and erroneous knowledge. ...
  • Desenvolvimento do gerenciador de diálogos e de ferramentas de prototipagem do sistema Agile. 
    PROCOPIO, C. D.; http://lattes.cnpq.br/8888904578821936; PROCÓPIO , Cláudia Dantas. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-04-30)
    This dissertation describes the development of a Dialog Manager module, which make up together with the Presentation Manager module described in (SANTOS 92), a system that provides features for rapid interface prototyping ...
  • Provendo segurança e uma semântica de falhas consistente para a comunicação de objetos assíncronos distribuídos. 
    http://lattes.cnpq.br/4903287306364548; MIRANDA, Rodrigo de Almeida Vilar 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-10)
    The development of distributed systems is a very complex activity, but it can be aided by appropriate middleware platforms. This work encompasses the niche of peer-to-peer distributed systems developed in Java, whose ...
  • Webquest: uma ferramenta web configurável para a sondagem da satisfação subjetiva do usuário. 
    OLIVEIRA, R. C. L.; http://lattes.cnpq.br/3908962751826725; OLIVEIRA, Rodrigo César Lobo de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-06-28)
    This work presents WebQuest, a tool conceived to support the prospection of the user profile and its subjective satisfaction with interactive systems. In its Web version, this tool enables the evaluator to reach a more ...
  • Avaliação do risco associado a mudanças de TI com aplicação para a atividade de priorização. 
    SANTOS, Rodrigo Almeida dos; http://lattes.cnpq.br/4185801780002714; SANTOS, Rodrigo Almeida dos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-08-01)
    In order to support strategical decisions and achieve business objectives, it is ommonplace for Information Technology (IT) companies to make changes in their IT infrastructure. Such changes are part of daily operations ...
  • Um modelo de sistema multiagente para negociação automatizada no comércio eletrônico. 
    NUNES FILHO, R. R. G.; http://lattes.cnpq.br/1760182180822152; NUNES FILHO, Ricardo Rubens Gomes. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-02-17)
    The Internet brought new paradigms to people, for instance, the possibility to perform commercial transactions using the available communication and information technologies. In this way, many research solutions have ...
  • Um suporte para gerência de produção com uso de redes industriais. 
    CRUZ, F. W.; http://lattes.cnpq.br/5121339738881627; CRUZ, Fernando William. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1994-10)
    Production Management is an important activity in the industrial environment. Currently, industrial network technology can be used to implement applications in an efficient form. This work describes the implementation ...
  • Especificação formal, em estelle, de sistemas digitais. 
    ARAÚJO, A. J. P.; ARAÚJO, Alfredo Jackson Pereira de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1994-04-28)
    The main goal of this work is to show how the formal description technique Estelle. early used to describe communication protocols, can be employed to make specifications into digital systems area. This approach is very ...
  • A formação e a prática do profissional de programação incluindo a discussão de estratégias para a aprendizagem continuada. 
    SOUSA, D. M. T.; http://lattes.cnpq.br/0353331129592565; SOUSA, Dênio Mariz Timóteo de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1998-10)
    This work approaches three basic aspects of the life of a computing professional, focusing particularly on the area of programming: i) its education; ii) its practice in the market place; and iii) the mechanisms used for ...
  • Um estudo comparativo entre algoritmos indutivos incrementais e não incrementais utilizados na geração de bases de conhecimento a partir de exemplos. 
    BEZERRA, H. C. F.; BEZERRA, Haroldo Cesar Frota. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1995-12-07)
    The critical phase of the process of building expert systems is the responsible for generating the knowledge base because she is expensive difficult and greatly influences the final quality of these systems. Induction ...
  • Desenvolvimento de uma estação de rede MAP para a automação industrial. 
    TURNELL, D. J.; http://lattes.cnpq.br/9509471389644717; TURNELL, David John. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1990-09)
    This work describes the design and implementation of a communications front-end processor (PFC) f o r MAP type networks. In the f i r s t part of t h i s work i s a presentation of the development of the hardware in the ...
  • Projeto e implementação de esquemas externos baseados no modelo de entidades e relacionamentos. 
    LIMA, L. R. S.; http://lattes.cnpq.br/5065415982348064; LIMA, Luciano Romero Soares 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-27)
    This work aims to provide the most diverse database managers with a standardized Conceptual Model, in which each user, or group of users, has access to only one part of the database (External Scheme), whose reach depends ...
  • Normalizador: uma ferramenta para geração de esquemas relacionais normalizados. 
    FARIAS, J. A. L.; FARIAS, Jorge Augusto Lacerda de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-12-11)
    Obtain a relational schema normalized to a database designers goal. This enables greater confidence and independence during database upgrade. This paper presents a relational database design support tool that automates the ...

Buscar DSpace


Busca avançada

Navegar

Minha conta