Søgeresultater - "CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO"

121

Heterogeneidade em sistemas de descoberta: survey e uma solução descentralizada para descoberta integrada

af Brizolara, Paulo Leonardo Souza
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
122

Enhancing the SZZ Algorithm to Deal with Refactoring Changes

af Campos Neto, Edmilson Barbalho
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

doctoralThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
123

Deciding diﬀerence logic in a Nelson-Oppen combination framework

af Oliveira, Diego Caminha Barbosa de
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
124

Arquitetura de microsserviços para aplicações escaláveis e resilientes em internet das coisas

af Fernandes, Neuman Fabrício de Oliveira
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::ARQUITETURA DE...”

Få fuldtekst

bachelorThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
125

Real-time data processing and multimodal interactive visualization using GPU and data structures for geology and geophysics

af Leandro, Waldson Patrício do Nascimento
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

doctoralThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
126

Modelo de rastreabilidade de requisitos aplicada a gestão de projetos em métodos ágeis

af Silva, Robson Paulo da
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
127

Abordagem orientada a aspectos para o monitoramento de plataformas para cidades inteligentes

af Silva, João Victor Lopes da
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
128

The Interval Constructor on classes of ML-algebras

af Santos, Hélida Salles
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
129

Algoritmos de agrupamento aplicados a dados de expressão gênica de câncer: um estudo comparativo

af Araújo, Daniel Sabino Amorim de
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
130

BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML

af Silva, Salerno Ferreira de Sousa e
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
131

Reengenharia do framework cosmos: uma solução para prover suporte e adaptações abertas.

af Medeiros, Jose Augusto Nascimento de
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
132

Integration of satellite signal acquisition algorithm to the GNSS-SDR framework

af Cordeiro, Angelo Marcelino
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::ARQUITETURA DE...”

Få fuldtekst

bachelorThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
133

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

af Fragoso, Paulo Ewerton Gomes
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
134

BTestBox: uma ferramenta de teste para implementações B

af Oliveira, Diego de Azevedo
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
135

Um middleware reflexivo e orientado a aspectos: arquitetura e implementações

af Cacho, Nelio Alessandro Azevedo
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
136

Uma proposta de automatização do processo de rotulagem de instâncias em algoritmos de aprendizado semissupervisionado

af Vale, Karliane Medeiros Ovidio
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

doctoralThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
137

Mission-driven software-intensive system-of-systems architecture design

af Silva, Eduardo Alexandre Ferreira
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

doctoralThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
138

Investigando a compressão da percepção de distância em ambientes virtuais através da comparação entre dispositivos de visualização

af Souza, Alyson Matheus de Carvalho
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
139

Local livelock analysis of component-based models

af Conserva Filho, Madiel de Souza
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

doctoralThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
140

Uma revisão de modelos e algoritmos de otimização para o problema de geração de dados de teste

af Lucena, Ingrid Morgane Medeiros de
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
141

Proposta de um processador multithreading com características de previsibilidade

af Siqueira, Hadley Magno da Costa
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
142

Reversal fuzzy switch graphs

af Duarte, Suene Campos
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

doctoralThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
143

Utilização de técnicas de aprendizado de máquina para predição de crises epiléticas

af Santos, Kelyson Nunes dos
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
144

An augmented reality pipeline to create scenes with coherent illumination using textured cuboids

af Gadelha, Matheus Abrantes
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
145

Uma extensão de overlaps e naBL-Álgebras para reticulados

af Paiva, Rui Eduardo Brasileiro
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

doctoralThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
146

Algebraic semantics and calculi for Nelson's logics

af Silva, Thiago Nascimento da
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

doctoralThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
147

ECSFlow: implementação de um modelo de tratamento de exceção para C#

af Pranto Filho, Frederico Nunes do
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
148

Especiﬁcação do tipo intervalar parametrizado em CASL

af Melo, Samara Pereira da Costa
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
149

ArchWiSeN: uma estratégia baseada em modelos para desenvolvimento de aplicações para redes de sensores e atuadores sem fio

af Rodrigues, Taniro Chacon
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

doctoralThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
150

Cloud computing assisted smart surveillance based safe transportation system to improve crime assistance on smart cities

af Camboim, Hugo Barros
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
151

Especificação e monitoramento dinâmico da política de tratamento de exceções

af Abrantes, Joilson Vidal
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
152

Algoritmo treansgenético na solução do problema do Caixeiro Viajante

af Bagi, Ligia Bariani
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
153

Beta: a B based testing approach

af Matos, Ernesto Cid Brasil de
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

doctoralThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
154

Um arcabouço cross-layer para controle de sessões multiusuário com alta demanda de recursos em redes IoT softwarizadas

af Silva, Helber Wagner da
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

doctoralThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
155

Entendendo a relação entre integração contínua e cobertura de código

af Silva, José Diego Saraiva da
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

doctoralThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
156

HAPPY MIND: gestão digital de prontuários do setor de psicologia escolar

af Nascimento Neto, Euclides Inacio do
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

bachelorThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
157

Injeção de falhas e verificação de hardware para o CEVERO

af Dantas, Matheus Luna de Oliveira
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::HARDWARE...”

Få fuldtekst

bachelorThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
158

A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code

af Barrocas, Samuel Lincoln Magalhães
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

doctoralThesis

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
159

SMiLe: uma notação textual modular para modelos iStar

af Penha, Fábio Fernandes
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:
160

Tvoice :um sistema de manipulação de linguagens para auxiliar portadores de necessidades especiais através da web

af Gomes, Italo Herbert Santos e
Fag: “...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”

Få fuldtekst

Dissertação

Tilføj til Bogkurv Fjern fra Bogkurv
Føj til favoritter

Na minha lista:

[1]
Forrige
1
2
3
4
5
6
7
8
9
10
11
Næste
[11]