9FROM: Rev. J. Correia DATE: May 11, 2016 TO: High School Faculty, Staff, Parents, & Students RE: Final Examination Schedule The following is the final exam schedule for high school:

Source URL: www.tcca-nh.com

HABILITADOS 1ª TURMA – deaNOME Lívia Góis Machado Santos Paulina Santos Silva Marcio Correia Barbosa Ailton Freitas de Santana

Source URL: www.fpc.ba.gov.br

10TH EDITION MUSIC TECH FEST THE FESTIVAL OF MUSIC IDEAS Tiago Correia 


Source URL: musictechfest.net

Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems Alysson Neves Bessani† Miguel Correia†

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

• Computing
• Fault-tolerant computer systems
• Concurrent computing
• State machine replication
• Byzantine fault tolerance
• Tuple
• Paxos
• Consensus
• Erlang
• Linda
• Replication

1 Efficient Byzantine Fault Tolerance Supplemental Material Giuliana Santos Veronese, Miguel Correia Member, IEEE, Alysson Neves Bessani, Lau Cheuk Lung and Paulo Verissimo, Fellow, IEEE

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

• Transmission Control Protocol
• IP
• XC

When 3f + 1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus? Alysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, and Paulo Verissimo LaSIGE, Faculdade de Ciˆencias da

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

00 D EP S KY: Dependable and Secure Storage in a Cloud-of-Clouds Alysson Bessani, University of Lisbon, Faculty of Sciences Miguel Correia, Instituto Superior T´ecnico / INESC-ID Bruno Quaresma, University of Lisbon, Fa

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

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

Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces Alysson Neves Bessani† Miguel Correia‡

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

• Computing
• Concurrent computing
• Fault-tolerant computer systems
• Distributed computing architecture
• Distributed computing
• Consensus
• Linearizability
• Tuple space
• Tuple
• Algorithm
• Linda
• Distributed object

Correia, Rion B., K. N. Chan, & L.M. Rocha [2015]. "Polarization in the US Congress." The 8th Annual Conference of the Comparative Agendas Project (CAP). Lisbon, Portugal, June 23-24,

Source URL: cgi.soic.indiana.edu

IEEE TRANSACTIONS ON COMPUTERS, VOL. X, NO. Y, MONTH YEAR 1 An Efficient Byzantine-Resilient Tuple Space Alysson Neves Bessani, Miguel Correia Member, IEEE, Joni da Silva Fraga Member, IEEE and Lau Cheuk Lung

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

• Computing
• Mathematics
• Concurrent computing
• Data management
• Mathematical notation
• Tuple
• Type theory
• State machine replication
• Extensible Storage Engine
• Exponentiation
• Extension