Pesquisar


Filtros correntes:
Iniciar uma nova pesquisa
Adicionar filtros:

Utilizar filtros para refinar o resultado da pesquisa.


Resultados 21-30 de 42.
Registos:
DataTítuloAutor(es)TipoAcesso
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
Jul-2001Using the Timely Computing Base for Dependable QoS AdaptationCasimiro, António; Veríssimo, PauloreportopenAccess
Jun-2004From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without SignaturesCorreia, Miguel; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Out-2007A framework for dependable adaptation in probabilistic environmentsCasimiro, António; Lolinni, Paolo; Dixit, Mónica; Bondavalli, Andrea; Veríssimo, PauloreportopenAccess
Set-2005Resilient State Machine ReplicationSousa, Paulo; Neves, Nuno Ferreira; Veríssimo, PauloreportopenAccess
Nov-2001MAFTIA Conceptual Model and ArchitectureAdelsbach, A.; Cachin, C.; Creese, S.; Deswarte, Y.; Kursawe, K.; Laprie, J.-C.; Pfitzmann, B.; Powell, David; Randell, B.; Riodan, J.; Stroud, Robert J.; Veríssimo, Paulo; Waidner, M.; Welch, I. S.reportopenAccess
Abr-2007Intrusion-Tolerant Protection for Critical InfrastructuresBessani, Alysson Neves; Sousa, Paulo; Correia, 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
Mai-1999The Timely Computing BaseVeríssimo, Paulo; Casimiro, AntónioreportopenAccess
Mar-2009Architecture, Services and Protocols for CRUTIALAbou El Kalan, Anas; Baina, Amine; Beitollahi, Hakem; Bessani, Alysson Neves; Bondavalli, Andrea; Correia, Miguel; Daidone, Alessandro; Dantas, Wagner; Deconinck, Geert; Deswarte, Yves; Moniz, Henrique; Neves, Nuno; Sousa, Paulo; Veríssimo, PauloreportopenAccess