Mostrando
1 - 20
resultados de
244
para a busca '
Miguel, Correia
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Miguel, Correia
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 20
resultados de
244
para a busca '
Miguel, Correia
'
, tempo de busca: 0,02s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Consistency Anchor Formalization and Correctness Proofs
por
Miguel
,
Correia
Publicado em 2014
Acessar documento
Relatório
2
A Wormhole-based Intrusion-Tolerant Group Communication System - WIT-GCS
por
Miguel
Correia
Publicado em 2003
Acessar documento
Artigo
3
Byzantine-Resistance Consensus based on a Novel Approach to Intrusion Tolerance
por
Miguel
Correia
Publicado em 2004
Acessar documento
Artigo
4
The Design of a COTS Real-Time Distributed Security Kernel
por
Miguel
Correia
Publicado em 2002
Acessar documento
Artigo
5
The Design of a COTS Real-Time Distributed Security Kernel
por
Miguel
Correia
Publicado em 2001
Acessar documento
Artigo
6
Worm-IT – A Wormhole-based Intrusion-Tolerant Group Communication System
por
Miguel
Correia
Publicado em 2007
Acessar documento
Artigo
7
Improving Byzantine Protocols with Secure Computational Components
por
Miguel
Correia
Publicado em 2005
Acessar documento
Artigo
8
Critical Infrastructure Protection: the CRUTIAL Project
por
Miguel
Correia
Publicado em 2008
Acessar documento
Artigo
9
A avaliação externa de escolas no concelho do Porto (Portugal): perspetivas de gestores de agrupamentos de escolas = External evaluation of schools in Porto (Portugal): perspective...
por
Miguel
Correia
Publicado em 2019
Acessar documento
Artigo
10
Cidade: um espaço de educação e participação cidadã
por
Miguel
Correia
Publicado em 2019
Acessar documento
Livro
11
Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model
por
Miguel
Correia
Publicado em 2002
Acessar documento
Artigo
12
How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems
por
Miguel
Correia
Publicado em 2004
Acessar documento
Artigo
13
The Architecture of a Secure Group Communication System based on Intrusion Tolerance
por
Miguel
Correia
Publicado em 2001
Acessar documento
Artigo
14
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures
por
Miguel
Correia
Publicado em 2004
Acessar documento
Artigo
15
Serviços Distribuídos Tolerantes a Intrusões: resultados recentes e problemas abertos
por
Miguel
Correia
Publicado em 2005
Acessar documento
Artigo
16
On Byzantine Generals with Alternative Plans
por
Miguel
Correia
Publicado em 2008
Acessar documento
Artigo
17
Low Complexity Byzantine-Resilient Consensus
por
Miguel
Correia
Publicado em 2005
Acessar documento
Artigo
18
Low Complexity Byzantine-Resilient Consensus
por
Miguel
Correia
Publicado em 2003
Acessar documento
Artigo
19
How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems
por
Miguel
Correia
Publicado em 2004
Acessar documento
Artigo
20
Reconhecimento e análise de rachaduras a partir de imagens para monitoramento em regiões com atividade sísmica frequente
por
Lima, João
Miguel
Correia
Publicado em 2019
Acessar documento
Dissertação
1
2
3
4
5
6
7
8
9
10
11
Seguinte
[13]
Exportar CSV
Exportar RIS
Carregando...