Pesquisar


Filtros correntes:
Iniciar uma nova pesquisa
Adicionar filtros:

Utilizar filtros para refinar o resultado da pesquisa.


Resultados 1-10 de 30.
Registos:
DataTítuloAutor(es)TipoAcesso
21-Set-2009Spin One’s Wheels? Byzantine Fault Tolerance with a Spinning PrimaryBessani, Allyson Neves; Veronese, Giuliana; Lung, Lau; Correia, MiguelreportopenAccess
Mai-2009Resilient Computing CoursewareBernardeschi, Cinzia; Bloomfield, Robin; Bondavalli, Andrea; Cachin, Christian; Correia, Miguel; Dacier, Marc; Di Giandomenico, Felicita; Fabre, Jean-Charles; Harrison, Michael; Kaâniche, Mohamed; Kanoun, Karama; Lac, Chidung; Lami, Giuseppe; Laprie, Jean-Claude; Majzik, Istvan; Masci, Paolo; Palanque, Philippe; Pataricza, Andras; Pfeifer, Holger; Raynal, Michel; Simoncini, Luca; Strigini, Lorenzo; Suri, Neeraj; Urvoy-Keller, Guillame; Veríssimo, Paulo; Henke, Friedrich von; Waeselynck, Helene; Winckler, Marco; Ahrendt, Wolfgang; Ammann, Paul; Candea, George; Dix, Alan; Huth, Michael; Jimenez-Peris, Ricardo; Karlsson, Johan; Patino-Martinez, Marta; Pnueli, Amir; Rodrigues, Luis; Ryan, Mark; Trivedi, Kishor S.; Voges, Udo; Baldoni, RobertoreportopenAccess
Dez-2005Improving Byzantine Protocols with Secure Computational ComponentsCorreia, Miguel; Bessani, Alysson Neves; Neves, Nuno Ferreira; Lung, Lau Cheuk; Veríssimo, PauloreportopenAccess
Set-2000The Middleware Architecture of MAFTIA: A BlueprintVeríssimo, Paulo; Neves, Nuno Ferreira; Correia, MiguelreportopenAccess
Mai-2009Resilient Computing CurriculumBernardeschi, Cinzia; Bloomfield, Robin; Bondavalli, Andrea; Cachin, Christian; Correia, Miguel; Dacier, Marc; Di Giandomenico, Felicita; Fabre, Jean-Charles; Harrison, Michael; Kaâniche, Mohamed; Kanoun, Karama; Lac, Chidung; Lami, Giuseppe; Laprie, Jean-Claude; Majzik, Istvan; Masci, Paolo; Palanque, Philippe; Pataricza, Andras; Pfeifer, Holger; Raynal, Michel; Simoncini, Luca; Strigini, Lorenzo; Suri, Neeraj; Urvoy-Keller, Guillaume; Veríssimo, Paulo; von Henke, Friedrich; Waeselynck, Helene; Winckler, Marco; Ahrendt, Wolfgang; Jimenez-Peris, Ricardo; Karlsson, Johan; Voges, Udo; Baldoni, RobertoreportopenAccess
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
Mar-2007Proceedings of the First Workshop on Recent Advances on Intrusion-Tolerant SystemsCorreia, Miguel; Neves, Nuno FerreirabookopenAccess
Dez-2001The Design of a COTS Real-Time Distributed Security Kernel (Extended Version)Correia, Miguel; Veríssimo, Paulo; Neves, Nuno FerreirareportopenAccess
Abr-2003Intrusion-Tolerant Architectures: Concepts and DesignVeríssimo, Paulo; Neves, Nuno Ferreira; Correia, MiguelreportopenAccess
Jun-2009Minimal Byzantine Fault Tolerance: Algorithm and EvaluationVeronese, Giuliana Santos; Correia, Miguel; Bessani, Alysson Neves; Lung, Lau Cheuk; Verissimo, PauloreportopenAccess