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:

  • 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 ...
  • Um método baseado em modelo probabilístico para auxílio na detecção de problemas na utilização do scrum em projetos de desenvolvimento de software. 
    PERKUSICH, M. B.; http://lattes.cnpq.br/3250186213608951; PERKUSICH, Mirko Barbosa. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-08-30)
    There is a high rate of software development projects that fail. Whenever problems can be detected ahead of time, projects may have better chances of success, and therefore save money and time. Recently, the usage of ...
  • Método de análise composta aplicado ao controle acadêmico. 
    SOUZA, C. F. M.; http://lattes.cnpq.br/9062496843412248; SOUZA, Clóvis Fortunato da Mata. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1977-07)
    In this dissertation, a study of an applied software development methodology is carried out. The objective of this work is to present the method called Composite Analysis, and then apply it in the development of the Academic ...
  • Um método de teste funcional para verificação de componentes. 
    FARIAS, C. M.; http://lattes.cnpq.br/0098969128484565; FARIAS, Carina Machado de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2003-02-27)
    Interest in component-based software development has increased significantly due its promise to reduce development costs and time through reuse. The majority of existing methodologies has focus in the analysis and design ...
  • Métodos de compactação e descompactação de informação. 
    SANTOS, J. P.; http://lattes.cnpq.br/6526050617910624; SANTOS, Jozemar Pereira dos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1975-03)
    Efficient methods of compacting and decompressing information are being developed, given the wide trend regarding the storage of large programs, large texts, databases etc. This work aims to develop and implement two methods ...
  • Métodos para construção de rotas eulerianas em grafos mistos com aplicação na distribuição de bens e serviços. 
    COSTA, M. A. B.; http://lattes.cnpq.br/7001161318166531; COSTA, Miguel Antonio Bueno. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1982-08)
    The main objective of this study is the development of methods that solve the Chinese Postman Problem in mixed graphs, aiming at direct applications in the distribution of public goods and services. Due to these applications, ...
  • MHITS – um sistema tutor inteligente em harmonia musical. 
    CAMINHA, A. O.; http://lattes.cnpq.br/8112885412528720; CAMINHA, Adriano de Oliveira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-02-29)
  • Um middleware extensível para disponibilização de serviços em ambientes pervasivos. 
    http://lattes.cnpq.br/2192118955006184; LOUREIRO FILHO, Emerson Cavalcante. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-07-19)
    The advances in hardware and wirelessnetworking technology have enabled the realization of so-called paradigm of pervasive computing, also known as ubiquitous computing. Insuch a paradigm, computing is embedded in everyday ...
  • Mineração de regras de classificação com sistemas de banco de dados objeto-relacional. Estudo de caso: regras de classificação de litofácies de poços de petróleo. 
    VASCONCELOS, B. S.; http://lattes.cnpq.br/7307233509221693; VASCONCELOS, Benitz de Souza. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-10-30)
    In Data Mining applications, the quality of the induced knowledge is proportional to the volume of data available for mining. Taking this into account, the integration of Data Mining algorithms with DBMSs has been intensively ...
  • Modelagem acústica no auxílio ao diagnóstico do funcionamento de motores de usinas termoelétricas. 
    TEIXEIRA JÚNIOR, A. G.; http://lattes.cnpq.br/3695506891372095; TEIXEIRA JÚNIOR, Adalberto Gomes. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2015-07)
    The sound generated by an engine during operation contains information about its conditions, becoming an important source of information to evaluate its status without requiring intervention in equipment. The fault ...
  • Modelagem de sinais de voz via PPM, aplicada ao reconhecimento de padrões vocais patológicos. 
    BARBOSA, H. P.; http://lattes.cnpq.br/3326693065350959; BARBOSA, Hildegard Paulino. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-08)
    Voice is the most widely used means of communication of mankind. However, speech organs are susceptible to several sort of pathologies, which may harm voice production and, therefore, communication. Several techniques have ...
  • Modelagem de sistemas com restrições temporais em redes de petri orientadas a objetos. 
    GUERRA, Fabrício Vale de Azevedo; http://lattes.cnpq.br/7860769003807018; GUERRA, Fabrício Vale de Azevedo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2005-08-30)
    Over the last years, with the crescent and rapid advance of distributed and parallel systems, timed models have become subject of several researches. Over different areas, different timed models have been proposed to model ...

Buscar DSpace


Busca avançada

Navegar

Minha conta