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

  • Tolerância a falhas em java através de comunicação em grupo. 
    CIRNE, L. D.; CIRNE, Lilianne Dantas. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1999-12)
    The intense use of Distributed Systems in different kinds of applications demands more reliability of these applications. The systems should be prepared to tolerate faults, i.e., a system should not interrupt its operation ...
  • Uma metodologia para projeto de bancos de dados temporal orientado a objetos. 
    FURTADO, M. E. S.; http://lattes.cnpq.br/7542338901767495; FURTADO, Maria Elizabeth Sucupira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1993-08-09)
    The object-oriented design is a new view of design which defines structures and behavior of objects systems. This design presents some advantages: better expressiveness power for application modelling, better structure ...
  • Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. 
    RICCIO, N. C. R.; http://lattes.cnpq.br/2232437340737784; RICCIO, Nicia Cristina Rocha. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1995-08-10)
    The intention here is to develop a theory of machine learning (in particular, propositional abductive reasoning) using the framework of D. Gabbay's Labelled Deductive Systems (LDS), in the light of Gillies' perspective ...
  • Sistema neurosimbólico para construção de árvores filogenéticas. 
    LOPES, R. V. V.; http://lattes.cnpq.br/7000283790939630; VIEIRA, Roberta Vilhena. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1997-05)
    This work presents a neurosymbolic system for the construction of phylogenetic trees called SINCA. In this system symbolic and connectionist techniques work cooperatively. The SINCA connectionist module uses a Hopfield ...
  • Um estudo de solução numérica de problemas de valor de contorno para equações diferenciais ordinárias. 
    DaSilva, R. M.; http://lattes.cnpq.br/0711722231846705; SILVA, Rosana Marques da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-05)
    The first purpose of this work is to present a review of methods for numerical solution of boundary-value problems in ordinary differential equations (BVP/ODE). The shooting and multiple shooting, implicit Runge-Kutta, ...
  • Adaptação de modelos em redes de petri coloridas. 
    GORGÔNIO, K. C.; http://lattes.cnpq.br/7626416403074455; GORGÔNIO, Kyller Costa. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2001-12-27)
    In this work we introduce an automatic adaptation approach for Colored Petri Nets models. For this approach we dene a procedure for the synthesis of a new model based on a given model and a set of behavior restrictions. ...
  • O impacto da métrica e do escalonador sobre a performance dos supercomputadores paralelos. 
    MOREIRA, JOSILENE A.; http://lattes.cnpq.br/0217665225894308; MOREIRA, Josilene Aires. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-05-16)
  • Abordagem de desenvolvimento evolutivo de interface do usuário baseada em modelos e múltipla prototipagem: FastInterface. 
    OLIVEIRA, K. M. A.; http://lattes.cnpq.br/1750489760238536; OLIVEIRA, Karolyne Maria Alves de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-08-22)
    This work proposes a user interface development approach based on models and multiple evolving prototyping. The utilization of this type of approach consists of a decisive factor to the effective adoption of models based ...
  • OntoEditor: um editor para manipular ontologias na web. 
    VASCONCELOS, K. F.; http://lattes.cnpq.br/9496757127951925; VASCONCELOS, Karine de Freitas. (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 continuous growth of the Web usage has given rise to new service needs even more specialized and independent from the human interference. Researches takes the consensus that, to reach this level of intelligence, the ...
  • Especificação de componentes para um ambiente de simulação de redes TCP/IP. 
    LULA, Juliana Camboim Lopes de Andrade. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2001-07-25)
    Due to both the complexity held down by the systems of Computer Networks and the fact that some technologies have not yet being explored or even completely implemented, the digital simulation tools are presented as important ...
  • Projeto e construção de um ambiente para extrair conhecimento de bancos de dados da Petrobras. Estudo de caso: identificação automática de litofácies em poços de petróleo. 
    TOEBE, J.; http://lattes.cnpq.br/3080787144714822; TOEBE, Josué. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-12-17)
    A data mining process is a series of steps to obtain knowledge from data. These steps include data preparation, random data sampling, knowledge induction from samples using induction algorithms, and estimation of the ...
  • Suporte à análise e verificação de modelos RPOO. 
    SANTOS, J. A. M.; http://lattes.cnpq.br/1111360838843470; SANTOS, José Amancio Macedo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-02-26)
    Oriented-Object Petri Nets (RPOO) is a formalism that integrates Petri Nets and Object- Oriented concepts. This composited strategy guarantees the preservation of the original characteristics of them both. This is an ...
  • Integração de sistemas heterogêneos através da interface com o usuário. 
    CAVALCANTI, Janeide A.; http://lattes.cnpq.br/8533620712396773; CAVALCANTI, Janeide Albuquerque. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2001-02-02)
    This paper conveys a conception provides by a user interaction paradigm. Having been developed with the purpose of integrating heterogeneous as well as distributed systems integration throw a user surface, such a paper ...
  • Geração automática de testes de conformidade para programas de controladores lógicos programáveis. 
    OLIVEIRA, K. V.; http://lattes.cnpq.br/1121152162202880; OLIVEIRA, Kézia de Vasconcelos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-08-28)
    The goal of this work is to present a method and provide a tool to ensure the safety and dependability in the automation of processes controlled by Programmable Logic controllers (PLCs). Therefore, automatic generation ...
  • Provendo serviços para tolerância a faltas em sistemas distribuídos. 
    VASCONCELOS, S. R. A.; http://lattes.cnpq.br/4171057748451767; VASCONCELOS, Sheila Regine Almeida. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1997-07-02)
    Fault tolerance mechanisms must be introduced into systems if a dependability is to be attained. The Seljuk architecture provides a number of services to facilitate the implementation and support the execution of dependable ...
  • BART- Uma biblioteca orientada a objetos de apoio à recuperação textual. 
    BUSSMANN, J. E. C.; http://lattes.cnpq.br/0639368305080384; BUSSMANN, José Eduardo Carvalho. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1995-12-19)
    The large volume of computer-produced data appearing daily around the world has driven the search for new mechanisms to efficiently store and retrieve such information. It is along these lines that the present work ...
  • Especificação de uma ferramenta para criação de módulo de ajuda baseada em hipertexto: hiperhelp. 
    MIKI, H.; MIKI, Hiroyuki. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-02-21)
    Based on criticism and suggestions in recent studies on the effectiveness of certain types of help systems, this paper presents the design and modeling of an On-Line Help System based on Hypertext technology called HiperHelp. ...
  • Geração semiautomática de testbenches para circuitos integrados digitais. 
    PESSOA, I. M.; http://lattes.cnpq.br/9482034617973689; PESSOA, Isaac Maia. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-04-10)
    Functional verification complexity tends to increase exponentially with design size. The Moore’s law places an ever growing demand on today’s verification engineer to continue to ensure that no bug is missed in the ...
  • Projeto de infraestrutura de TI pela perspectiva de negócio. 
    MARQUES, Filipe Teixeira; http://lattes.cnpq.br/2270430551665600; MARQUES, Filipe Teixeira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-07-07)
    Since Information Technology (IT) plays a crucial role in leveraging the business operations, corporations are getting more dependent on their IT services and infrastructure. This high level of criticality has significantly ...
  • Um framework para data warehouse espacial. 
    CARDOSO, Felipe Menezes; http://lattes.cnpq.br/6887849551616840; CARDOSO, Felipe Menezes. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-08-24)
    DataWarehouse (DW) and OLAP tools (Online Analytical Processing) are two echnologies widely used to help managers in decision support process. Recent researches attempted to integrate spatial data into Data Warehouse ...

Buscar DSpace


Busca avançada

Navegar

Minha conta