Percorrer por autor Neves, Nuno Ferreira

Í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 23.  próximo >
DataTítuloAutor(es)TipoAcesso
Jul-2002Complete Specification of APIs and Protocols for the MAFTIA MiddlewareArmstrong, J.; Cachin, C.; Correia, Miguel; Costa, A.; Miranda, Hugo; Neves, Nuno Ferreira; Neves, Nuno M.; Poritz, J. A.; Randell, B.; Lung, Lau Cheuk; Rodrigues, Luís; Stroud, Robert J.; Veríssimo, Paulo; Waidner, M.; Welch, I. S.reportopenAccess
Jan-2008Experimental Validation of Architectural SolutionsDonatelli, Susanna; Alata, Eric; Antunes, João; Kaâniche, Mohamed; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Set-2001First Specification of APIs and Protocols for the MAFTIA MiddlewareArmstrong, J.; Cachin, C.; Correia, Miguel; Costa, A.; Miranda, Hugo; Neves, Nuno Ferreira; Neves, Nuno M.; Poritz, J. A.; Randell, B.; Lung, Lau Cheuk; Rodrigues, Luís; Stroud, Robert J.; Veríssimo, Paulo; Waidner, M.; Welch, I. S.reportopenAccess
Jun-2004From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without SignaturesCorreia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Out-2005From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without SignaturesCorreia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Fev-2005How dependable are distributed f fault/intrusion-tolerant systems?Sousa, Paulo; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Jul-2004How to Tolerate Half Less One Byzantine Nodes in Practical Distributed SystemCorreia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Dez-2005Improving Byzantine Protocols with Secure Computational ComponentsCorreia, Miguel; Bessani, Alysson Neves; Neves, Nuno Ferreira; Lung, Lau Cheuk; Veríssimo, PauloreportopenAccess
Abr-2003Intrusion-Tolerant Architectures: Concepts and DesignVeríssimo, Paulo; Neves, Nuno Ferreira; Correia, MiguelreportopenAccess
Nov-2004Intrusion-Tolerant Middleware: the MAFTIA approachVeríssimo, Paulo; Neves, Nuno Ferreira; Cachin, C.; Poritz, J. A.; Powell, David; Deswarte, Y.; Stroud, Robert J.; Welch, I. S.reportopenAccess
Abr-2007Intrusion-Tolerant Protection for Critical InfrastructuresBessani, Alysson Neves; Sousa, Paulo; Correia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Ago-2003Low Complexity Byzantine-Resilient ConsensusCorreia, Miguel; Neves, Nuno Ferreira; Lung, Lau Cheuk; Veríssimo, PauloreportopenAccess
Set-2006On the Resilience of Intrusion-Tolerant Distributed SystemsNeves, Nuno Ferreira; Veríssimo, Paulo; Sousa, Paulo; Lopes, AntóniareportopenAccess
Jan-2008Preliminary Specification of Services and ProtocolsNeves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Mai-2005Proactive Resilience through Architectural HybridizationSousa, Paulo; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Mar-2007Proceedings of the First Workshop on Recent Advances on Intrusion-Tolerant SystemsCorreia, Miguel; Neves, Nuno FerreirabookopenAccess
Nov-2007Resilience-Building Technologies: State of Knowledge -- ReSIST NoE Deliverable D12Strigini, L.; Neves, Nuno Ferreira; Raynal, Michel; Harrison, Michael; Kaâniche, Mohamed; Henke, Friedrich vonreportopenAccess
Out-2007Resilient Intrusion Tolerance through Proactive and Reactive RecoverySousa, Paulo; Bessani, Alysson Neves; Correia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Set-2005Resilient State Machine ReplicationSousa, Paulo; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Jan-2001Service and Protocol Architecture for the MAFTIA MiddlewareCachin, C.; Correia, Miguel; McCutcheon, T.; Neves, Nuno Ferreira; Pfitzmann, B.; Randell, B.; Schunter, M.; Stroud, Robert J.; Veríssimo, Paulo; Waidner, M.; Welch, I. S.reportopenAccess