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

  • SWS-GIS: uma arquitetura baseada em serviços para uma federação de Spatial Data Infrastructures. 
    LEITE JÚNIOR, F. L.; http://lattes.cnpq.br/2373973143434094; LEITE JÚNIOR, Fábio Luiz. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-05-30)
    The huge volume of spatial data available in the Web has increasing rapidly. Currently, the Web has been used not only for searching documents but also for service provision, known as Web services. These services are ...
  • Seleção de modelos de classificação através de heurísticas. 
    SANTOS, David Moises Barreto dos.; http://lattes.cnpq.br/5904935830618045; SANTOS, David Moises Barreto dos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-07-19)
    The automated induction process of classification models is composed of the following steps: sampling, splitting and classification. Due to the diversity of techniques that may be used in each one of these steps, the results ...
  • AutoMan: gerência automática de grades computacionais entre-pares. 
    BRENNAND, C. A. R. L.; http://lattes.cnpq.br/1245516173722185; BRENNAND, Celso Augusto Raposo Lisboa. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-02-29)
    Grid computing has been more and more adopted in eScience and in companies. One important challenge in grid systems is the ability for automatic management, improving grid availability and simplifying administrators work. ...
  • Problemas "flow-shop" e "job-shop". Complexidade dos problemas. Métodos de solução 
    NOGUEIRA, M. S.; NOGUEIRA, Maria Sônia. (BrasilCentro de Ciências e Tecnologia - CCTPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1980-03)
  • Escalonamento de aplicações que processam grandes quantidades de dados em grids computacionais. 
    SANTOS NETO, E. L.; http://lattes.cnpq.br/2149883544244800; SANTOS NETO, Elizeu Lourenço dos. (BrasilCentro de Ciências e Tecnologia - CCTPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-02-18)
    Data-intensive applications executing over a computational grid demand large data transfers. These are costly operations. Therefore, taking them into account is mandatory to achieve efficient scheduling of data-intensive ...
  • Desenvolvimento e aplicação de um modelo de controle de qualidade em uma indústria de materiais elétricos. 
    PALADINI, E. P.; http://lattes.cnpq.br/3266168192830463; PALADINI, Edson Pacheco. (BrasilCentro de Ciências e Tecnologia - CCTPÓS-GRADUAÇÃO EM CIÊNCIA E ENGENHARIA DE MATERIAISUFCGUniversidade Federal de Campina Grande, 1979-03)
    This study has the objective to develope a quality control model to one factory of electrical materials, and, after its application, we intend to give an analysis of the results we reach. The advantages of the model are ...
  • Projeto e implementação de um interpretador PROLOG básico. 
    LACET, Eraldo Cruz. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1985-06)
    This dissertation consists of the design and implementation of a basic PROLOG interpreter (that is, without a large library of predicates and functions, and without optimizations elaborated, such as those for right ...
  • Análise de modelos de estoque incluindo perda. 
    ALOISE, D.J.; http://lattes.cnpq.br/7266011798625538; ALOISE, Dario José. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1983-06)
    This work is adetailed study about the inclusion of waste in deterministic inventory models. We show the failure in the formulation of the first Models about the subject and present the exact model of Weber, opening the ...
  • Base de dados de gerenciamento SNMP/MIB. 
    http://lattes.cnpq.br/3786003389534047; TEIXEIRA, Washington Luiz Evangelista. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1993)
  • Bouncer- uma solução distribuída para controle de licenças de software. 
    BEZERRA, T. R.; http://lattes.cnpq.br/5285201763618981; BEZERRA, Tárcio Rodrigues. (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)
    Piracy is one of the biggest problems that the software industry faces nowadays. One fact that turns the illegal appropriation of software so frequent and attractive is that there is no loss of quality in the digital ...
  • Solução exata de sistemas de equações lineares determinados utilizado a aritmética residual. 
    http://lattes.cnpq.br/8237618630696616; BANDEIRA, Salete Maria Chalub. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1998-09-29)
    The present study, "Exact Solution of Systems Determined Linear Equations Using Residual Arithmetic ", consists of the application of residual arithmetic to the solution of systems of linear equations, whose data correspond ...
  • Uma ferramenta para validação de protocolos de comunicação. 
    FREITAS JÚNIOR, O. G.; http://lattes.cnpq.br/1878932894256747; FREITAS JÚNIOR, Olival de Gusmão. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-04)
    This work presents a t o o l , based on the Duologue Matriz technique, for the validation of communication protocols. This tool helps the designer, in the initial phase of the protocol design, to identify and to ...
  • Um modelo de organização de recursos didáticos baseado em componentes para um ambiente de ensino a distância. 
    CARVALHO, M.N.; CARVALHO, Míriam Nunes. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-07)
    In order to accomplish new needs for uninterrupted learning, various forms have been applied, including Distance Education. The coming of networks and of the Internet have increased communication between students and ...
  • Estratégia de implantação de projetos de educação a distância através da internet. 
    http://lattes.cnpq.br/8681670978842909; ANDRADE, Mário Vasconcelos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-04-26)
    This work discusses Distance Education over the Internet (e-DE) emphasising its strategies, methodologies, and related technologies. We start by presenting some concepts associated with Distance Education, its characteristics, ...
  • Aproximação e interpolação em normas 1, 2 e infinita - uma resenha. 
    http://lattes.cnpq.br/9246421954599342; FRANÇA, Greicy Mara. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1998-12-15)
    In this work we present a study and implementation of algorithms for solution of linear problem in norm 1 and infinite and a study of curve and surface adjustment. One of the fields of mathematics where the computer has ...
  • Uma metodologia de resolução de problemas via refinamento da especificação 
    http://lattes.cnpq.br/0459441512508677; SANTOS, Gilson Oliveira dos. (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 intends to show a problem solving methodology by refinement of specification. Such a process of resolution is composed of some levels of specification. The refinement of specification of problem solving process ...
  • Da representação do conhecimento musical ao esboço conceitual de uma sociedade de agentes em harmonia. 
    TEIXEIRA, L. de M.; http://lattes.cnpq.br/5322366029748328; TEIXEIRA, Luciênio de Macêdo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1997)
    The objective of this work is to propose a musical knowledge representation and manipulation model that can be used in a coherent way in a computational environment to support Harmony teaching. The basis for the definition ...
  • Serviços de processamento tolerantes a faltas para sistemas distribuídos assíncronos. 
    SAMPAIO, L. M. R.; http://lattes.cnpq.br/4584896935221260; SAMPAIO, Lívia Maria Rodrigues. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-10)
    Providing fault tolerance mechanisms through services can decrease the complexity in developing dependable distributed applications. This is because the application programmer will be able to use the services without ...
  • SQL - Fácil: uma interface amigável para acesso a banco de dados relacional. 
    http://lattes.cnpq.br/0098763826166873; BEZERRA, Ed Pôrto. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1989-11-10)
    SQL-FACIL i s a use —friendly interface to access relational database based upon the concept of Un i versal Relation. This interface supports automatic inference for logical navigation, freeing the users from the preoccupation ...
  • MEDITE – uma metodologia orientada a modelos para concepção de interfaces ergonômicas. 
    http://lattes.cnpq.br/8440325168095874; GUERRERO, Claudia Veronica Serey. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-02-22)
    This work presents a proposal of a model-guided methodology to design ergonomical user interface (MEDITE). MEDITE proposes the use of conceptual models in all stages of the design process. This methodology guides the ...

Buscar DSpace


Busca avançada

Navegar

Minha conta