Hélia Correia não é deste mundo. Vive algures entre duendes celtas e dai‑ mons gregos, num tempo mítico habitado por deuses e gatos, onde tudo respira ainda o espírito inicial do mundo. É de lá que lhe vêm as

Source URL: www.tintadachina.pt

SCFS: A Shared Cloud-backed File System Alysson Bessani,1 Ricardo Mendes,1 Tiago Oliveira,1 Nuno Neves,1 Miguel Correia,2 Marcelo Pasin,3 Paulo Verissimo1 1 Faculdade de Ciˆencias/LaSIGE, 2 Instituto Superior T´ecnico

Source URL: www.di.fc.ul.pt

• Computing
• Network file systems
• Cloud infrastructure
• Cloud storage
• Data management
• Data synchronization
• Amazon S3
• File system
• Cloud computing
• Clustered file system
• Backup
• Dropbox

Resilient Intrusion Tolerance through Proactive and Reactive Recovery∗ Paulo Sousa Alysson Neves Bessani Miguel Correia Nuno Ferreira Neves Paulo Verissimo

Source URL: www.di.fc.ul.pt

• Data synchronization
• Fault-tolerant computer systems
• State machine replication
• Replication
• Fault tolerance
• Wormhole
• Replica
• Recovery approach

Not Quickly, Just in Time: Improving the Timeliness and Reliability of Control Traffic in Utility Networks Wagner Saback Dantas, Alysson Neves Bessani, Miguel Correia Universidade de Lisboa, Faculdade de Ciˆencias, LaSI

Source URL: www.di.fc.ul.pt

1 Efficient Byzantine Fault Tolerance Giuliana Santos Veronese, Miguel Correia Member, IEEE, Alysson Neves Bessani, Lau Cheuk Lung and Paulo Verissimo, Fellow, IEEE Abstract—We present two asynchronous Byzantine fault

Source URL: www.di.fc.ul.pt

• Computing
• Fault-tolerant computer systems
• Internet protocols
• Data synchronization
• Internet Standards
• State machine replication
• Hypertext Transfer Protocol
• Replication
• Distributed computing
• Domain Name System

D EP S KY: Dependable and Secure Storage in a Cloud-of-Clouds Alysson Bessani Miguel Correia Bruno Quaresma

Source URL: www.di.fc.ul.pt

• Computing
• Cloud storage
• Network file systems
• Data management
• Object storage
• Data
• Cloud computing
• Computer data storage
• Clustered file system
• Nirvanix
• Amazon S3
• File system

Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection ∗ Paulo Sousa, Alysson N. Bessani, Wagner S. Dantas, F´abio Souto, Miguel Correia, Nuno F. Neves University of Lisboa, Faculdade de Ciˆen

Source URL: www.di.fc.ul.pt

1 Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery Paulo Sousa, Member, IEEE, Alysson Neves Bessani, Miguel Correia, Member, IEEE, Nuno Ferreira Neves, Member, IEEE, Paulo Verissimo, Fellow,

Source URL: www.di.fc.ul.pt

• Computing
• Engineering
• Physics
• Data synchronization
• Fault-tolerant computer systems
• Replication
• Wormhole
• Replica
• Fault tolerance

DepSpace: A Byzantine Fault-Tolerant Coordination Service Alysson Neves Bessani† , Eduardo Pelison Alchieri‡ , Miguel Correia† , Joni da Silva Fraga‡ ‡

Source URL: www.di.fc.ul.pt

• Computing
• Relational model
• Functional languages
• Data management
• Mathematical notation
• Tuple
• Type theory
• State machine replication
• Extensible Storage Engine
• ATS
• Relation

artigo OS TRIÂNGULOS DO MATEUS SERGIO CORREIA JR.

Source URL: www.rpm.org.br