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:

  • UNIFIC: uma API para a unificação da programação entre diferentes GUIs. 
    SILVA, L. G.; SILVA, Lílian Gibson. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1993-12)
    Nowadays, a problem that must be solved by designers of Grafical User Inferface (GUI) applications is their portability to different graphical environments. This work presents the specification, implementation and tutorial ...
  • UNIX: conceitos avançados e programação do shell. 
    MEDEIROS, A. F. C.; http://lattes.cnpq.br/5061312286412870; MEDEIROS, Álvaro Francisco de Castro. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1991-12-23)
    We have witnessed, in the last two decades, great improvements in hardware technology. Powerful computers have been realeased in to the marketplace with increased frequency. However, despite the enhacements in ...
  • Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real. 
    http://lattes.cnpq.br/2793969744497453; ALVES, Everton Leandro Galdino. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-06-30)
    Nowadays, the activities of project and test of real-time systems (RTS) are still considered extremely challenging. The quality of this activities are direct proporcional to how experientes are the designers and testers ...
  • Usando o encadeamento de transações para implementar um controle fim-a-fim de fraudes em aplicações distribuídas. 
    COSTA, R. E. O.; http://lattes.cnpq.br/3145331081780004; COSTA, Rostand Edson Oliveira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1999-04-06)
    This work presents an algorithm that can be incorporated into the application layer for detection of frauds in distributed applications that deal with electronic transactions. Based in a simple concept and easy implementation, ...
  • Usando replicação ativa para prover tolerância a falhas de forma transparente a uma implementação da plataforma J2EE. 
    COSTA, A. A.; http://lattes.cnpq.br/5322161340808559; COSTA, André Andrade. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-12-06)
    The use of developing platforms to support the implementation of distributed applications has become a trend. These platforms provide a number of specialized services that help programmers to focus on the business logic ...
  • Usando replicação para escalonar aplicações bag-of-tasks em grids computacionais. 
    Paranhos, Daniel; http://lattes.cnpq.br/6916708715076085; SILVA, Daniel Paranhos da. (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)
    Scheduling independent tasks on heterogeneous environments, like Computational Grids, is not trivial. To make a good scheduling plan on this kind of environments, the scheduler usually needs some information such as host ...
  • Uso de aprendizado de máquina para classificação de risco de acidentes em rodovias. 
    http://lattes.cnpq.br/9747902267969441; AMORIM, Brunna de Sousa Pereira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2019-08-21)
    In order to decrease the number of road accidents, solutions to identify influencing factors of road accidents and its risk areas are being researched throughout the world. However, road accident studies depend upon its ...
  • Uso de conhecimento preliminar na melhoria do aprendizado em um modelo simbólico-conexionista. 
    DONATO JÚNIOR, E. T.; http://lattes.cnpq.br/6465859482633047; DONATO JÚNIOR, Edmundo Tojal. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1994-03-11)
    The Combinatorial Neural Model (MNC) is a neural network of superior order that is adequate to classification tasks. The training of this network is performed by an algorithm based on backpropagation, through punishments ...
  • O uso de semântica na melhoria dos métodos indutivos de aquisição automática de conhecimento. 
    CIRNE FILHO, W. C.; http://lattes.cnpq.br/5908699791494075; CIRNE FILHO, Walfredo da Costa. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1992-12-02)
    In this paper, we investigate how using expert-acquired semantics can improve the quality of responses provided by induction-based automatic learning algorithms. Initially we show how to introduce the use of semantics in ...
  • O uso do pensamento computacional como estratégia para resolução de problemas matemáticos. 
    MESTRE, P. A. A.; http://lattes.cnpq.br/0996537501960826; MESTRE, Palloma Alencar Alves. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2017)
    Computational Thinking (PC) comprises a set of computational abilities to solve problems of the various areas of knowledge, combining mathematical and engineering thinking. These skills are fundamental to everyone, not ...
  • Utilização de aritmética bit-serial para redução de consumo de energia. 
    http://lattes.cnpq.br/6649044900887120; FARIA, Roberto Medeiros de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2014-12)
    Today, one of the biggest concerns, if not the largest, for the semiconductor industry is the development of chips with low power consumption. There are several physical phenomena that cause power consumption in CMOS ...
  • A utilização do algoritmo quântico de busca em problemas da teoria da informação. 
    OLIVEIRA, N. A.; http://lattes.cnpq.br/6060951165195947; OLIVEIRA, Nigini Abilio. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-07-12)
    This work presents two results related to Quantum Search Algorithm (Grover’s Algorithm) application in Information Theory problems. The first one aims to test the quality of a Linear Block Code, given that they have an ...
  • Validação do formalismo TAOS para a análise da tarefa no contexto da concepção de interfaces homem-computador. 
    Muñoz, Ivette; http://lattes.cnpq.br/4609811632387529; MUÑOZ, Ivette Kafure. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2000-02-25)
    In spite of the recent advances in the human-computer interaction field, there is a lack of compatibility between the cognitive and functional representation of the user task. Therefore this work reviews the state of the ...
  • Validação visual de programas Ladder baseada em modelos. 
    http://lattes.cnpq.br/8869126946646971; SAMPAIO, Leonardo Rodrigues. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-02-25)
    Control systems are frequently used in industry in the execution of critical tasks. Flaws in this operations may cause expensive losses and can put the plant safety at risk. Therefore, it is necessary to define techniques, ...
  • Verificação de artefatos de diagramas de classe UML através da aplicação de testes de design. 
    PIRES, Waldemar; http://lattes.cnpq.br/8662463350773114; FERREIRA NETO, Waldemar Pires. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-04-17)
    In this work we propose and investigate a completely automatic technique to execute conformance verification between an implementation in Java and its design expressed by UML class diagram. This verification is performed ...
  • Verificação de conformidade entre diagramas de sequência UML e código Java. 
    RABELO JÚNIOR, S. E. P.; http://lattes.cnpq.br/8210915700863422; RABELO JÚNIOR, Sebastião Estefânio Pinto. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-11-11)
    Currently, sequence diagrams are the most popular UML diagrams used to describe behavioral aspects of software systems. On the other hand, Java as one of the most popular object-oriented language used in lhe world. Despite ...
  • Verificação de modelos em redes de petri orientadas a objetos. 
    RODRIGUES, C. L.; http://lattes.cnpq.br/2590620617848677; RODRIGUES, Cássio Leonardo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-02-18)
    Today, hardware and software systems are used in situations where failures are unacceptable, for example, in electronic commerce, telephone systems, banks systems, hospitals systems etc. An essential activity to guarantee ...
  • Verificação distribuída de modelos: investigando o uso de grades computacionais. 
    BARBOSA, P. E. S.; http://lattes.cnpq.br/9229454955533353; BARBOSA, Paulo Eduardo e Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-02-23)
    Every programmer or software engineer deals with a chronic problem during the conception of their systems: violations in the project requirements. These violations need to be discovered early be cause they generally produce ...
  • VideoLib: uma biblioteca digital de vídeo usando metadados Dublin Core e MPEG-7. 
    RÊGO, A. S. C.; http://lattes.cnpq.br/1582109846489096; RÊGO, Alex Sandro da Cunha. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-02-16)
    Recently, a large amount of digital video can be found on the Web, and this number is increasing rapidly. The video manipulation becomes complex due to the great volume, semantic heterogeneity interpreted by different ...
  • WebObjects: uma plataforma de consulta à web. 
    SILVA, F. S.; http://lattes.cnpq.br/2115297163159491; SILVA, Fábio Soares. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-08-29)
    The main objective of the WebObjects Framework is to allow, in a transparent way, querying data on the Web, using a query language with a high-level abstraction. To achieve this, the Web has been modeled as an object ...

Buscar DSpace


Busca avançada

Navegar

Minha conta