PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO: Recent submissions

  • Aprendizagem e recuperação de imagens utilizando mapas auto-organizáveis e representação log-polar. 
    BATISTA, L. B.; http://lattes.cnpq.br/7048368166246250; BATISTA, Luana Bezerra. (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)
    Everyday, a growing number of organizations is collecting and storing a large amount of digital images. Furthermore, images have also been massively added to the World Wide Web. Therefore, structuring this information, ...
  • Um sistema tutor multiagentes no domínio de redes de petri. 
    GOIS, G. M.; http://lattes.cnpq.br/9336488751488837; GÓIS, Gustavo Meneses. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-08-30)
    This work presents the definition, modeling and analysis of a multi-agent tutor system in the domain of Petri nets. The design of this system is based on an interactive learning environment model with a multi-agent approach, ...
  • Uma ferramenta para projeto e simulação de circuitos quânticos. 
    CABRAL, G. E. M.; http://lattes.cnpq.br/0654291045349611; CABRAL, Gustavo Eulálio Miranda. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-07-21)
    Quantum Computation appeared as a promissing alternative technology capable of turn around the problems predicted to happen soon with the saturation of the current technology (Classical Computation). These problems occur ...
  • Uma ferramenta para a definição e verificação de regras de integridade em banco de dados. 
    DRUMOND, G. F.; http://lattes.cnpq.br/8398374864662567; DRUMOND, Gabriela Ferreira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1990-02-20)
    This work is the description of a tool developed with the objective of automatically generating critical programs. The system, developed by us, allows the definition of Integrity Rules (Ris), using a language in two versions, ...
  • Convertendo recursos compartilhados no espaço em recursos intermitentes. 
    COSTA, L. B.; http://lattes.cnpq.br/9287868588025316; COSTA, Lauro Beltrão. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-12)
    Computational grids are turning from promise to reality. Of course, this is not happening for all applications at once. Bag-of-Tasks (BoT) applications (parallel applications composed of independent tasks) are, due to their ...
  • Modelagem e descrição formal das fontes do direito como infraestrutura de um sistema de gerenciamento de conhecimento legal. 
    http://lattes.cnpq.br/0480708241258533; FREITAS, Halley Ferreira Solano de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-06-17)
    Among knowledge areas that use scientific computing to optimize their applications, this work explores the interdisciplinarity between Law and Computer Science (CS). Law specialists use several sources during their normative ...
  • Análise de mutação aplicada à verificação funcional de IP core. 
    CUNHA, HENRIQUE. N.; http://lattes.cnpq.br/3859652013691424; CUNHA, Henrique do Nascimento. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-08-29)
    There is a growing need to make IP cores more reliable. Hence, it is necessary to use a rigorous functional verification methodology to this kind of product. This process is responsible for 70% of a project’s resources, ...
  • Análise, projeto e implementação de um esquema MOLAP de data warehouse utilizando o SGBD-OR Oracle 8i. 
    NERI, H. R.; http://lattes.cnpq.br/9257773784310175; NERI, Hilmer Rodrigues. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-02-27)
    With the emerging relational objects techonologies in relational database management systems (RDBMS), many researchers have directed their research efforts to evaluate the usability of such technology in OLAP queries. This ...
  • MediWeb: um integrador semântico de dados na web baseado em mediador. 
    ARRUDA, L. S.; http://lattes.cnpq.br/4211275856605705; ARRUDA, Ladjane Silva de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-08-16)
    Semantic Web is a next web generation vision, where information is integrated, processed, interpreted and interchanged among machines in order to provide more sophisticated applications for web users. This vision, ...
  • Estudo e implementação do método mult-grid. 
    FRANÇA, K. M.; http://lattes.cnpq.br/0727535910011193; FRANÇA, Kátia Mara. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1988-03)
    The multi-grid method is a numerical strategy for solving continuous problems such as integral and partial differential equations and minimization problems. In this work we emphasize mainly the numerical solution of problems ...
  • Um sistema de controle de integridade para um modelo de dados aberto. 
    SILVA, Marinaldo Nunes da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-08-28)
    This work was dedicated to the development of a system on top of a relational DBMS, GeRATOM, for the control of data integrity in an open data model (TOM), enabling the processing of predefined implicit integrity rules of ...
  • Uma infraestrutura para o desenvolvimento de aplicações pervasivas autoconfiguráveis. 
    Hozano, Mário; http://lattes.cnpq.br/0875764018578208; SOUZA, Mário Hozano Lucas de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-05-05)
    In the pervasive computing paradigm, the automation of tasks promotes an important feature of smart environments: the invisibility. On the other hand, researches on autonomic computing have achieved significant advances ...
  • Análise, projeto e implementação de um gerente web de metadados extensível para um processo de data warehousing. 
    Colaço Jr., Methanias; http://lattes.cnpq.br/5575237386798588; RODRIGUES JÚNIOR, Methanias Colaço. (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)
    Decision Support Systems based in Data Warehouses has a critical component: the metadata. Known as “information about data”, metadata are required for understanding of data within time and, mainly, make the necessary ...
  • Uma abordagem para aumentar a segurança em refatoramentos de programas. 
    http://lattes.cnpq.br/6215732726947926; SOARES, Gustavo Araújo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-04-12)
    Program Refactorings are behavior-preserving transformations. Each transformation can have a number of preconditions that must be satisfied to assure the behavior reservation. Many IDEs, such as Eclipse and NetBeans, ...
  • Um livro-texto para o ensino de projeto de arquitetura de software. 
    GERMOGLIO, Guilherme; http://lattes.cnpq.br/1488305812137762; BARBOSA, Guilherme Mauro Germoglio. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-09-04)
    The software architecture is the organization of a software system manifested in its modules, their relationships to the environment, and the principles that guide its design and evolution. The design of the software ...
  • Compreensibilidade de textos contínuos em interfaces gráficas. 
    SAMPAIO, G. M. C.; http://lattes.cnpq.br/5784621008004137; SAMPAIO, Grace Maria Cavalcanti. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-02-26)
    With the mass reading on the computer screen, it is necessary to avoid physical and mental tiredeness as well as interferences in the process of acquiring information. To contribute towards the comprehensibility of didactical ...
  • Definição e validação de refatoramentos de software em larga escala. 
    AGUIAR, G. S.; http://lattes.cnpq.br/6946851160427412; AGUIAR, Glaucimar da Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-07-12)
    This dissertation describes how to deal with problems caused by the loss of structure in software systems with thousands of line of code that were produced without the use of refactoring techniques and a good test suite. ...
  • Estudo experimental comparativo de modelos de componentes para o desenvolvimento de software sob o aspecto de evolutibilidade. 
    BARBOSA, N. M. S.; http://lattes.cnpq.br/3796407713375707; BARBOSA, Nádia Milena da Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-05-31)
    The use of component-based software development (CBD) offers advantages as production time, cost and maintainability. Therefore, CBD presents itself as a viable approach to attend the requirements of current systems, such ...
  • Multiplex digital por divisão em códigos cíclicos. 
    GIOZZA, W. F.; http://lattes.cnpq.br/3408305339297459; GIOZZA, William Ferreira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1979-05)
    The economy of transmission lines or channels in communications in general, combined with the growing need reliability of current data communications systems, generate the development of digital multiplex systems smart. This ...
  • Aspectos de herança em uma notação orientada a objetos baseada em redes de petri. 
    COSTA, S. A. D.; http://lattes.cnpq.br/2740893467510305; COSTA, Sandro Alex Damasceno. (BrasilPÓS-GRADUAÇÃO EM LETRAS EM REDE PROFLETRAS (UFRN)UFCGUniversidade Federal de Campina Grande, 1999-02-25)
    This work presents a discussion related to aspects dealing with the inclusion of the inheritance concept in a formal notation, based on Petri nets and Object Oriented concepts. The objective of such notation is the ...

Search DSpace


Advanced Search

Browse

My Account