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:

  • Mapeamento do modelo semântico de dados THM para o modelo relacional. 
    CUNHA, J. F.; http://lattes.cnpq.br/0258276234729443; CUNHA, Joseluce de Farias. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1988-03-14)
    All semantic modeling effort is wasted if it stays at the conceptual level without being passed to the operational level. The purpose of this paper is to explore the Temporal-Hierarchical Semantic Data Model (THM) and ...
  • MAPESGBD - uma metrologia de apoio à decisão para seleção de SGBD. 
    SILVA, A. M. D.; SILVA, Adna Magnólia Dantas. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1996-08-09)
    The ever-growing diversity o f DBMS products makes hard the task of selecting a product that best fits the needs o f an organisation. This work proposes a methodology that aims to be a decision making aid during the ...
  • Materialização/utilização eficientes de visões em Data Warehouses. 
    SOUZA, M. F.; SOUZA, Márcio Farias de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1999-06)
    Given the complexity of many queries over a Data Warehouse (DW), it is necessary to precompute and store in the DW the answer sets of some onerous operations, so called materialized views. With this approach, one expects ...
  • Um mecanismo de atenção visual integrando evidências espaciais e temporais. 
    SANTOS, S. M.; http://lattes.cnpq.br/7268770155823328; SANTOS, Sandberg Marcel. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-08-29)
    Biological vision systems have mechanisms that focus on the extraction of the most relevant information for performing a given visual task, so that the overall computational effort is reduced. Inspiredby these mechanisms, ...
  • Mecanismo para detecção e resolução de falhas relacionadas à qualidade de sinal em ambientes WLAN 802.11. 
    CABRAL, Y. K. S.; http://lattes.cnpq.br/9033486953815495; CABRAL, Yngrid Keila Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2021-08-23)
    Wireless networks that follow the IEEE 802.11 standard, popularly known as Wi-Fi networks, are present in the most diverse sectors, whether academic, industrial, commercial, etc. And due to the widespread use of wireless ...
  • Mecanismos de interação para um modelo de redes de Petri orientado a objetos. 
    MEDEIROS, A. K. A.; http://lattes.cnpq.br/2789194000664080; MEDEIROS, Ana Karla Alves de. (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 presents the addition of new abstractions for interaction mechanisms between objects of Rede de Petri Orientada Objetos (RPOO). RPOO is a formal notation well suited for the specification of concurrent and ...
  • 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 ...
  • MEDITE+: utilizando o processo de roteirização para a obtenção do modelo de interação EDITOR estendido. 
    RODRIGUES, C. E. C. L.; http://lattes.cnpq.br/2212821586102363; RODRIGUES, Carlos Eduardo Caminha Lopes. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-06-03)
    The general aim of this dissertation is to define a new methodology on conception and development of human-computer interfaces – MEDITE+ – as a variant of the MEDITE methodology, through the introduction of the scripting ...
  • 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, ...
  • Melhorando o processamento de dados com Hadoop na nuvem através do uso transparente de instâncias oportunistas com qualidade de serviço. 
    NOBREGA, T. M. V.; http://lattes.cnpq.br/8282998852273377; NÓBREGA, Telles Mota Vidal. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2016-08-12)
    Cloud computing offers the users the ease of resources acquisition through the Internet in a fast, cheap and safe manner. However, these clouds have a lot of idle resources due to resource reservation. Aiming to increase ...
  • 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 ...
  • Mensuração de habilidades cognitivas preditoras do desenvolvimento de leitura em crianças através de jogos educacionais para dispositivos móveis. 
    http://lattes.cnpq.br/4603605800436333; SANTOS, Jucelio Soares dos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017-07-07)
    Due to the deficiency in the practice of screening for dyslexia in schools and the lack of computerized resources valid for the use of such, the present research aimed to improve the capacity for screening children in ...
  • MetaTT - uma abordagem baseada em metamodelos para a escrita de transformações de modelo para texto. 
    LEDO, A. R. S. B.; http://lattes.cnpq.br/7609032945390094; LEDO, Anderson Rodrigo Santos Bezerra. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-08)
    Model Driven Development (MDD) is a well-established area in the academic and industrial software engineering communities. A number of benefits are inherent from the adoption of MDD, i.e., a high level of automation and ...
  • 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 ...
  • Uma metodologia para avaliação do impacto de tecnologias da informação emergentes nas empresas. 
    MEDEIROS, E. M. S.; http://lattes.cnpq.br/0876012535528190; MEDEIROS, Elizabet Maria Spohr de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-05-27)
    Although living in the midst of globalization and embracing technological innovation, many executives are plagued with an erroneous thought: they believe that emerging technologies are to be adopted only when they mature, ...
  • Uma metodologia para implementação semiautomática de protocolos de comunicação. 
    LIN. C.W.; http://lattes.cnpq.br/4205400757108096; LIN, Chen Wen. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-08)
    This work presents a methodology for the derivation of semi-automatic implementations of communication protocols specified in the Formal Description Technique (FDT) Extended State transition language ( Estelle ). The main ...
  • 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 ...
  • Uma metodologia para rightsizing em serviços de mensagem. 
    DANTAS, F. A. M.; DANTAS, Flávia Augusta Martins. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1998-12-21)
    The rightsizing of a message service for a client/server model is a complex process that involves issues such as technology changes, mobilization of people, as well as long term results. Furthermore, it happens in a ...
  • Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação. 
    SOUZA, J. N.; SOUZA, José Neuman de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1990-03-26)
    This work presents a méthodologie for validation, by simulation, of protocol formal specifications described with the formal description technique (FDT ) Extended State Transition Language (Estelle), version 1983. This ...
  • Um método automático para o ajuste de segmentadores de imagens baseados em informação de textura e cor. 
    CARDOSO, Fernando H. B.; http://lattes.cnpq.br/9260329080245174; CARDOSO, Fernando Henrique Bezerra. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-08-13)
    The tuning of image segmenters to detect different materials captured in a digital image is usually performed in a manual fashion or taking advantage of little automation. Obtaining such segmenters using a machine learning ...

Buscar DSpace


Busca avançada

Navegar

Minha conta