Repositorio Dspace/Manakin

Listar Doutorado em Ciência da Computação. por fecha de publicación

Listar Doutorado em Ciência da Computação. por fecha de publicación

Ordenar por:Orden:Resultados:

  • Modelo de análise de conflitos em diálogos em aprendizagem colaborativa. 
    PRATA, D. N.; http://lattes.cnpq.br/7533983313189933; PRATA, David Nadler. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-12-19)
    Students not only must have cognitive skills, but also social ones that enable them to share knowledge in collaboration, due to the increasing complexity of the knowledge they must learn. The internet is transforming ...
  • Um modelo computacional para a construção de sistemas educacionais adaptativos e semânticos. 
    Bittencourt, Ig Ibert; http://lattes.cnpq.br/4038730280834132; PINTO, Ig Ibert Bittencourt Santana. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-08-14)
    This research examines the design and effective development of adaptive and semantic Web-based educational systems, integrating artificial intelligence techniques and semantic Web-based technologies. In this sense, this ...
  • Análise de cobertura funcional na fase de integração de blocos de circuitos digitais. 
    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, 2010-04-14)
    One of the biggest challenges in a digital circuit design is to assure that the final product complies with its specifications. Functional verification is a widely employed technique to certify that the digital circuit ...
  • Uma abordagem baseada em testes automáticos de software para diagnóstico de faltas em grades computacionais. 
    DUARTE, A. N.; http://lattes.cnpq.br/1982919735990024; DUARTE, Alexandre Nóbrega. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-05-31)
    A lot of research effort has being put to find better mechanisms for fault treatment on grid computing aiming at improving the reliability of such infrastructures. Ideally, a grid user should be able to submit a set of ...
  • Um modelo formal para avaliar o valor de negócio e sua aplicação no contexto de gestão e governança de TI. 
    DE OLIVEIRA NETO, JOSÉ AUGUSTO; http://lattes.cnpq.br/9814894825037581; OLIVEIRA NETO, José Augusto de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-08-27)
    IT investments in all business activities are in continuous expansion, along with the dependencies between IT performance and results achieved by the business it supports. The business value of IT corresponds to the set ...
  • Aumentando a confiança nos resultados de testes de sistemas multi-threaded: evitando asserções antecipadas e tardias. 
    REBOUÇAS, A. D. D. S.; http://lattes.cnpq.br/1095204533816403; REBOUÇAS, Ayla Débora Dantas de Souza. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-08-30)
    Testing multi-threaded systems is quite a challenge. The inherent non-determinism of these systems makes their implementation and the implementation of their tests far more susceptible to error. It is common to have tests ...
  • ECoCADe: um framework conceitual para apoiar tomadas de decisão baseadas em evidências, contexto e casos. 
    LOPES, E. C.; http://lattes.cnpq.br/7197564797868150; LOPES, Expedito Carlos. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-10-20)
    In the routine of many professionals is a common situation being confronted with a problem that triggers a decision process for its resolution. However, not every problem is considered common. When the problem presents ...
  • Seleção de portfólio no contexto de grades P2P multisserviço. 
    COÊLHO, Á. V. S.; http://lattes.cnpq.br/0191048428072248; COÊLHO, Álvaro Vinícius de Souza. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-10-27)
    The improvement and popularity of connectivity between computers have created an environment where resources used by organizations, in order to achieve the computing they want, don’t needed be in their local infrastructure. ...
  • Análise da codificação de objetos complexos no córtex sensorial primário e hipocampo. 
    VASCONCELOS, N. A. P.; http://lattes.cnpq.br/4110109220389767; VASCONCELOS, Nivaldo Antonio Portela de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-11-25)
    Despite major advances in neuroscience, the coding of complex objects, held by neuronal ensemblesattelencephaliclevel,stillnotveryclear. Someworkshavebeensuccessfulusing the information on the activation of neuronal ...
  • Programação orientada ao problema: uma metodologia para entendimento de problemas e especificação no contexto de ensino de programação para iniciantes. 
    MENDONÇA, Andréa P.; http://lattes.cnpq.br/0938462047218130; MENDONÇA, Andréa Pereira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-11-30)
    Traditionally, introductory programming courses emphasize the development of logical reasoning and the construction of programs, more than any other skill. In theses couses, well-defined problems are resources used to ...
  • Uma linha de produto de software baseada na web semântica para sistemas tutores inteligentes. 
    SILVA, A. P.; http://lattes.cnpq.br/2752203627912781; SILVA, Alan Pedro da. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-02-18)
    This research is related to design and building effective and large scale Intelligent Tutoring Systems under the Semantic Web perspective. It deals with clearly an interdisciplinary theme which surrounds a conjunction ...
  • Teste baseado em modelos simbólicos para sistemas de tempo real. 
    ANDRADE, W. L.; http://lattes.cnpq.br/3697205933296303; ANDRADE, Wilkerson de Lucena. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2011-04)
    Sistemas de tempo real são aqueles cujo correto comportamento não depende somente dos resultados gerados, mas também de quando os resultados são gerados. Sistemas de tempo real são utilizados em diferentes contextos, ...
  • Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT. 
    CARTAXO, E. G.; http://lattes.cnpq.br/5617832076061321; CARTAXO, Emanuela Gadelha. (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)
    Testing is the most commonly applied technique to evaluate the quality of software as part of verification & validation processes. However, it is usually an expensive activity. Promising to reduce costs as well as promoting ...
  • MDA-Veritas: uma arquitetura MDA estendida para transformações de sistemas concorrentes preservadoras de semântica. 
    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, 2011-09-08)
    MDA is a software development trend that aims to shift the focus and efforts of the current development methodologies. The implementation method changes from only code production to the usage of models, metamodels and ...
  • Habilitando a checagem estática de conformidade arquitetural de software em evolução. 
    BITTENCOURT, R. A.; http://lattes.cnpq.br/6148546666142551; BITTENCOURT, Roberto Almeida. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-02-29)
    The refíexion model technique is a static conformance checking technique to keep architecture module views and implementation conformant. It can either prevent or remedy software aging by combating architecture deterioration. ...
  • Investigação do problema de detecção de faces com variações de orientação. 
    PEREIRA, E. T.; http://lattes.cnpq.br/2030738304003254; PEREIRA, Eanes Torres. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-06)
    In this thesis, the problem of detecting faces that present high variations of orientation is investigated. Some factores were identified that may infiuence the detection results when some evaluation metrics are used. ...
  • SESDI: um arcabouço para a recuperação de dados geográficos em infraestruturas de dados espaciais. 
    ANDRADE, F. G.; http://lattes.cnpq.br/5180935741320141; ANDRADE, Fabio Gomes de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2012-08-27)
    In recent years, spatial data infrastructures (SDIs) have gained great popularity as a solution to facilitate the interoperability and the access to geographic data offered by different agencies. Nevertheless, their ...
  • Just in time clouds: uma abordagem baseada em recursos terceirizados para a ampliação da elasticidade de provedores de computação na nuvem. 
    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, 2013-03-05)
    The throughput obtained when executing HTC (High Throughput Computing) applications on a computing infrastructure depends directly on the scale that it offers. In this context, the size of the processing pool is the principal ...
  • Gerenciamento de uma estrutura híbrida de TI dirigido por métricas de negócio. 
    MACIEL JÚNIOR, P. D.; http://lattes.cnpq.br/1101383196957378; MACIEL JÚNIOR, Paulo Ditarso. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-06-14)
    With the emergence of the cloud computing paradigm and the continuous search to reduce the cost of running Information Technology (IT) infrastructures, we are currently experiencing an importam change in the way these ...
  • Abordagem multiagente para a propaganda pervasiva. 
    BUBLITZ, Frederico Moreira.; http://lattes.cnpq.br/3910966211279217; BUBLITZ, Frederico Moreira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-08)
    The Pervasive Advertising stands out from other forms of ad serving by allowing the delivery of context-sensitive advertisements to consumers. Thus, it is possible to deliver the most relevant ads, increasing the ...

Buscar en DSpace


Búsqueda avanzada

Listar

Mi cuenta