Pesquisar


Filtros correntes:

Iniciar uma nova pesquisa
Adicionar filtros:

Utilizar filtros para refinar o resultado da pesquisa.


Resultados 1-10 de 17.
Registos:
DataTítuloAutor(es)TipoAcesso
Dez-2001The Design of a COTS Real-Time Distributed Security Kernel (Extended Version)Correia, Miguel; Veríssimo, Paulo; Neves, Nuno FerreirareportopenAccess
Ago-2003Low Complexity Byzantine-Resilient ConsensusCorreia, Miguel; Neves, Nuno Ferreira; Lung, Lau Cheuk; Veríssimo, PauloreportopenAccess
Abr-2003Intrusion-Tolerant Architectures: Concepts and DesignVeríssimo, Paulo; Neves, Nuno Ferreira; Correia, MiguelreportopenAccess
Jul-2004How to Tolerate Half Less One Byzantine Nodes in Practical Distributed SystemCorreia, Miguel; 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
Nov-2007Resilient Computing Curriculum Draft -- ReSIST NoE Deliverable D16Simoncini, L.; Laprie, J.-C.; Kanoun, K.; Fabre, J. C.; Waeselynck, H.; Majzik, I.; Pataricza, A.; Bloomfield, R.; Strigini, L.; Suri, N.; Urvoy-Keller, G.; Cachin, C.; Raynal, Michel; Palanque, P.; Correia, Miguel; Veríssimo, Paulo; Bondavalli, Andrea; Giandomenico, F.; Lami, G.; Pfeifer, H.; Voges, U.; Jimenez-Peris, R.; Karlsson, J.; Ahrendt, W.reportopenAccess
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
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