Resultados da busca por Autor

1

Active Quorum Systems: Specification and Correctness Proof

por Bessani, Alysson

Publicado em 2010

Acessar documento

Relatório

2

O padrão UMIOP como base para comunicação de grupo confiável em sistemas distribuídos de larga escala

por Bessani, Alysson Neves

Publicado em 2002

Acessar documento

Dissertação

3

Coordenação desacoplada tolerante a faltas bizantinas

por Bessani, Alysson Neves

Publicado em 2006

Acessar documento

Tese

4

Decoupled Quorum-based Byzantine-Resilient Coordination in Open Distributed Systems

por Bessani, Alysson Neves

Publicado em 2007

Acessar documento

Relatório

5

On the Effects of Diversity on Intrusion Tolerance

por Bessani, Alysson Neves

Publicado em 2008

Acessar documento

Relatório

6

Intrusion-Tolerant Protection for Critical Infrastructures

por Bessani, Alysson Neves

Publicado em 2007

Acessar documento

Relatório

7

Towards a Dependable Tuple Space

por Bessani, Alysson Neves

Publicado em 2006

Acessar documento

Relatório

8

Consistency Anchor Formalization and Correctness Proofs

por Miguel, Correia

Publicado em 2014

Outros Autores: “...Bessani, Alysson...”
Acessar documento

Relatório

9

Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines

por Sousa, João

Publicado em 2015

Outros Autores: “...Bessani, Alysson...”
Acessar documento

Relatório

10

INTEGRAÇÃO DE SISTEMAS J2EE A PARTIR DA TECNOLOGIA DE MENSAGENS ASSÍNCRONAS

por RODRIGUES, Evandro Ramazotti

Publicado em 2005

Outros Autores: “...BESSANI, Alysson Neves...”
Acessar documento

Artigo

11

State Machine Replication for the Masses with BFT-SMaRt

por Sousa, João

Publicado em 2013

Outros Autores: “...Bessani, Alysson...”
Acessar documento

Relatório

12

A survey and classification of software-defined storage systems

por Macedo, Ricardo

Publicado em 2020

Outros Autores: “...Bessani, Alysson...”
Acessar documento

Artigo

13

How Practical Are Intrusion-Tolerant Distributed Systems?

por Obelheiro, Rafael R.

Publicado em 2006

Outros Autores: “...Bessani, Alysson Neves...”
Acessar documento

Relatório

14

Resilient Intrusion Tolerance through Proactive and Reactive Recovery

por Sousa, Paulo

Publicado em 2007

Outros Autores: “...Bessani, Alysson Neves...”
Acessar documento

Relatório

15

Cheap Intrusion-Tolerant Protection for CRUTIAL Things

por Correia, Miguel

Publicado em 2009

Outros Autores: “...Bessani, Alysson...”
Acessar documento

Relatório

16

Minimal Byzantine Fault Tolerance: Algorithm and Evaluation

por Veronese, Giuliana Santos

Publicado em 2009

Outros Autores: “...Bessani, Alysson Neves...”
Acessar documento

Relatório

17

Minimal Byzantine Fault Tolerance

por Veronese, Giuliana Santos

Publicado em 2008

Outros Autores: “...Bessani, Alysson Neves...”
Acessar documento

Relatório

18

Improving Byzantine Protocols with Secure Computational Components

por Correia, Miguel

Publicado em 2005

Outros Autores: “...Bessani, Alysson Neves...”
Acessar documento

Relatório

19

Architecture, Services and Protocols for CRUTIAL

por Abou El Kalan, Anas

Publicado em 2009

Outros Autores: “...Bessani, Alysson Neves...”
Acessar documento

Relatório

20

Experimental Validation of Architectural Solutions

por Franceschinis, Giuliana

Publicado em 2009

Outros Autores: “...Bessani, Alysson Neves...”
Acessar documento

Relatório