Percorrer por autor Miguel Correia

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou inserir as letras iniciais:  
Mostrar resultados 1-20 de 60.  próximo >
DataTítuloAutor(es)TipoAcesso
2009An Efficient Byzantine-Resilient Tuple SpaceAlysson N..Bessani; Miguel Correia; J.S.Fraga; L.C.LungarticleopenAccess
2004An Intrusion-Tolerant Web Server based on the DISTRACT ArchitectureRafael Ferraz; João Sequeira; Bruno Gonçalves; Miguel Correia; Nuno Ferreira Neves; Paulo VeríssimoarticleopenAccess
2007Automated Rule-Based Diagnosis Through a Distributed Monitor SystemGunjan Khanna; Mike Yu Cheng; Padma Varadharajan; Saurabh Bagchi; Miguel Correia; Paulo VeríssimoarticleopenAccess
2004Byzantine-Resistance Consensus based on a Novel Approach to Intrusion ToleranceMiguel Correia; Nuno Ferreira Neves; Lau Lung; Paulo VeríssimoarticleopenAccess
2009Cheap Intrusion-Tolerant Protection for CRUTIAL ThingsAlysson Bessani; Paulo Sousa; Miguel Correia; Nuno Ferreira Neves; Paulo VeríssimoarticleopenAccess
2004Concretização de um Sistema de Comunicação em Grupo Tolerante a IntrusõesTiago Jorge; José Pascoal; Miguel Correia; Nuno Ferreira Neves; Paulo VeríssimoarticleopenAccess
2008Critical Infrastructure Protection: the CRUTIAL ProjectMiguel Correia; Alysson N. Bessani; Paulo Sousa; Nuno F. Neves; Paulo VeríssimoarticleopenAccess
2007Decoupled Quorum-based Byzantine-Resilient Coordination in Open Distributed SystemsAlysson Neves Bessani; Miguel Correia; Joni Fraga; L.C.LungarticleopenAccess
2008DepSpace: A Byzantine Fault-Tolerant Coordination ServiceAlysson Neves Bessani; Eduardo Adilio Pelinson Alchieri; Miguel Correia; Joni da Silva FragaarticleopenAccess
2008DepSpace: A Byzantine Fault-Tolerant Coordination ServiceAlysson Neves Bessani; Eduardo Adilio Pelinson Alchieri; Miguel Correia; Joni da Silva FragaarticleopenAccess
2007DepSpace: Um Middleware para Coordenacão em Ambientes Dinâmicos e Não ConfiáveisAlysson Neves Bessani; Eduardo Adílio Pelison Alchieri; Miguel Correia; Joni da Silva Fraga; Lau Cheuk LungarticleopenAccess
2009Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learnedPaulo Veríssimo; Alysson Bessani; Miguel Correia; Nuno Ferreira Neves; Paulo SousaarticleopenAccess
2005Diagnóstico de Vulnerabilidades através da Injecção de AtaquesJoão Antunes; Nuno Ferreira Neves; Miguel Correia; Paulo Veríssimo; Rui NevesarticleopenAccess
2009A Distributed Systems Approach to Airborne Self-SeparationHenrique Moniz; Alessandra Tedeschi; Nuno Ferreira Neves; Miguel CorreiabookPartopenAccess
2002Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure ModelMiguel Correia; Lau Lung; Nuno Ferreira Neves; Paulo VeríssimoarticleopenAccess
2007Evaluating Byzantine Quorum SystemsWagner Saback Dantas; Alysson Neves Bessani; Joni Fraga; Miguel CorreiaarticleopenAccess
2007Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational GridsFábio Favarim; Joni Fraga; Lau C. Lung; Miguel Correia; João F. SantosarticleopenAccess
2007Explorando a Abstração Espaço de Tuplas no Escalonamento em Grades ComputacionaisFábio Favarim; Joni Fraga; Lau C. Lung; Miguel Correia; João F. SantosarticleopenAccess
2008Finite Memory: a Vulnerability of Intrusion-Tolerant SystemsGiuliana Santos Veronese; Miguel Correia; Lau Cheuk Lung; Paulo VerissimoarticleopenAccess
2004From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without SignaturesMiguel Correia; Nuno Ferreira Neves; Paulo VeríssimoarticleopenAccess