DSpace/Manakin Repository

Navegação Mestrado em Ciência da Computação. por título

Navegação Mestrado em Ciência da Computação. por título

Classificar por: Ordenar: Resultados:

  • 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 ...
  • 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 ...
  • 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)
  • BDRV - um sistema integrador de múltiplos bancos de dados relacionais. 
    PIRES, C. E. S.; http://lattes.cnpq.br/4986021622366786; PIRES, Carlos Eduardo Santos. (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)
    The most important asset of an Organization is its information. This asset is nearly always stored in the form of operational systems, or production systems (data sources, by short). Broadly speaking, a data source works ...
  • 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 ...
  • Busca por grupos de pontos de interesse usando processamento qualitativo de regiões espaciais. 
    http://lattes.cnpq.br/4077290483774493; RAFAEL, Gabriel Joseph Ramos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2021-08-19)
    In order to decrease mobility difficulties, create travel itineraries or save time, people usually face the need to find Points of Interest (POI) that share the same spatial extent or are located in interconnected regions. ...
  • BVM: reformulação da metodologia de verificação funcional VeriSC. 
    OLIVEIRA, H. F. A.; http://lattes.cnpq.br/0097916965255705; OLIVEIRA, Helder Fernando 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, 2010-06-16)
    The development process of a complex digital circuit can consist of several stages. One of them is the functional verification. This stage can be considered one of the most important because it aims to demonstrate that a ...
  • Caracterização da comunidade que utiliza dados abertos governamentais sobre a educação brasileira. 
    PEREIRA, L. S.; http://lattes.cnpq.br/8569298868381230; PEREIRA, Lorena Santos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2022-03-11)
    Over the years, civil society and government entities have struggled to tend the civic technologies ecosystem and the use of open data in transparency governmental. Some works focus on assessing the conformity of available ...
  • Caracterização da influência da subjetividade das notícias sobre leitores em portais de notícias. 
    LIMA, D. F.; http://lattes.cnpq.br/0496860960556978; LIMA, Diogo Florêncio de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2021-01-29)
    With the advent of digital journalism, information democratization has become a reality. Nowadays news articles are published as soon as the facts occur and can be accessed from any device connected to the internet. The ...
  • Caracterização de perfis de comportamento de equipes em League of Legends. 
    http://lattes.cnpq.br/2521697028293600; NASCIMENTO JUNIOR, Fernando Felix do. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-12-15)
    Despite the increasing popularity of electronic sports (eSports), there is still a scarcity of academic works exploring the playing behavior of teams. Understanding the features that help to discriminate between successful ...
  • CASTOR: uma técnica de verificação de conformidade para arquiteturas de software baseada em componentes. 
    SILVA JUNIOR, R. D.; http://lattes.cnpq.br/2466562214289092; SILVA JÚNIOR, Rogério Dourado. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-02-10)
    Software plays a critical role in almost every facet of our daily life. While complexity and size are increased by new features and advanced software requirements, the pressure is higher than ever to reduce the time ...
  • Claret: um artefato central para engenharia de requisitos e teste baseado em modelos. 
    http://lattes.cnpq.br/2682324004823239; JORGE, Dalton Nicodemos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-07-17)
    The construction of test cases in the traditional way has been, to a large extent, a slow and costly process in financial terms. In this sense, the automatic generation of model-based tests emerges as a viable alternative ...
  • Classificação de fluxos IP como ferramenta para engenharia de tráfego na internet. 
    BARROS, M. T. A. O.; http://lattes.cnpq.br/5530596957650388; BARROS, Michael Taynnan Albuquerque de Oliveira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-04-23)
    The increase in the number of applications and users in the Internet is the current infrastructure problem which decreases the applications performance on these networks. Also, it is a current research challenge for ...
  • Combinando objetos distribuídos e arquiteturas orientadas a eventos em uma infraestrutura de comunicação para sistemas distribuídos. 
    LIMA, Aliandro Higino Guedes; http://lattes.cnpq.br/3118518380465658; LIMA, Aliandro Higino Guedes. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-09-22)
    In the last decades, much work has been done in order to make the development of distributed systems as simple as the development of centralized systems. However, there are inherent characteristics of a distributed environment ...
  • Comparação entre tecnologias distribuídas Java: estudos de casos. 
    ROCHA, H. L. S.; http://lattes.cnpq.br/0112535865554114; ROCHA, Helder Lima Santos da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1999-02-26)
    This text presents several case studies that compare distributed applications developed in Java running under Windows environment. A number of different scenarios are investigated, comparing several native Java technologies ...
  • Comparing the refactoring mechanics of refactoring detection tools and IDEs 
    SILVA, O. L. D.; http://lattes.cnpq.br/1294001761996285; SILVA, Osmar Leandro Dantas da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2022-04-28)
    Refactoring detection tools, such as REFACTORINGMINER and REFDIFF, are helpful to study refactorings applied to software repositories. To evaluate them, the tools’ authors study software repositories and manually classify ...
  • Compêndio de computação distribuída. 
    TEIXEIRA JÚNIOR, J. H.; http://lattes.cnpq.br/1713896960462255; TEIXEIRA JÚNIOR, José Helvécio. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1995-06-08)
    Distributed Computing is a reality nowadays. The main users of Information Technology are moving from computing paradigms based on a central processor and its dependent devices, towards new paradigms which distribute the ...
  • Um compilador para a técnica de descrição formal estelle/83. 
    FERNEDA, E.; http://lattes.cnpq.br/2531761427648020; FERNEDA, Edilson. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1988-05)
    In this paper we present a compiler, in Prolog, to the formal description (TDF) technique "Extended state transition language (Estelle) ", version of 1383, developed by "International Standards Organization (ISO)." This ...
  • COMPOR - desenvolvimento de software para sistemas multiagentes. 
    ALMEIDA, H. O.; http://lattes.cnpq.br/4993914550234923; ALMEIDA, Hyggo Oliveira de. (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)
    Many researchers have been claimed that the multiagent approach is suitable for the development of complex software systems. Many works have been proposed focusing methodologies and tools to apply the multiagent approach ...
  • Compreendendo programas por meio de Design by Contract: um estudo com desenvolvedores. 
    CARVALHO JUNIOR, N. G.; http://lattes.cnpq.br/3913710112648736; CARVALHO JÚNIOR, Normando Gomes de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017)
    Program comprehension is generally a difficult task, since each part of code meets specific requirements. In some cases, factors - such as comprehend programs that were written by others, limited scope of existing tools, and ...

Buscar DSpace


Busca avançada

Navegar

Minha conta