141
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Deciding difference logic in a Nelson-Oppen combination framework
Dissertação
142
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Um arcabouço cross-layer para controle de sessões multiusuário com alta demanda de recursos em redes IoT softwarizadas
Tese
143
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Enhancing the SZZ Algorithm to Deal with Refactoring Changes
Tese
144
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Especificação do tipo intervalar parametrizado em CASL
Dissertação
145
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Geração de testes a partir de gramáticas: áreas de aplicação
Dissertação
146
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Midgard: um middleware baseado em componentes e orientado a recursos para redes de sensores sem fio
Dissertação
147
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Raio de estabilidade e controle robusto de sistemas lineares com saltos Markovianos a tempo contínuo
Tese
148
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Avaliação distribuída de centralidade em redes complexas
Dissertação
149
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Certificação de composições de serviços web semânticos
Tese
150
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
SDNoC 42: modelo de SDNoC baseada em otimização de caminhos mínimos
Dissertação
151
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Extraindo dados de tráfego a partir de vídeos em tempo real
Dissertação
152
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Investigando o uso de aulas on-line de programação de jogos digitais no ensino básico
Tese
153
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Veículos aéreos não tripulados e sistema de entrega: estudo, desenvolvimento e testes
Dissertação
154
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Prova automática de satisfatibilidade módulo teoria aplicada ao método B
Dissertação
155
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Estendendo CRefine para o suporte de táticas de refinamento
Dissertação
156
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Avaliando a robustez e manutenibilidade do comportamento excepcional de aplicações C#
Dissertação
157
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
SMiLe: uma notação textual modular para modelos iStar
Dissertação
158
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Meta-heurísticas híbridas aplicadas ao problema da árvore geradora multiobjetivo
Dissertação
159
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Reengenharia do framework cosmos: uma solução para prover suporte e adaptações abertas.
Dissertação
160
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Real-time data processing and multimodal interactive visualization using GPU and data structures for geology and geophysics
Tese