Pesquisar


Filtros correntes:
Iniciar uma nova pesquisa
Adicionar filtros:

Utilizar filtros para refinar o resultado da pesquisa.


Resultados 1-10 de 42.
Registos:
DataTítuloAutor(es)TipoAcesso
Set-2006On the Resilience of Intrusion-Tolerant Distributed SystemsNeves, Nuno Ferreira; Veríssimo, Paulo; Sousa, Paulo; Lopes, AntóniareportopenAccess
Dez-2002Lessons Learned with NavTech: a Framework for Reliable Large-Scale ApplicationsVeríssimo, PauloreportopenAccess
Jul-2003Preliminary definition of CORTEX programming modelBarron, P.; Biegel, G.; Cahill, V.; Casimiro, António; Clarke, S.; Cunningham, R.; Fitzpatrick, A.; Gaertner, G.; Hughes, B.; Kaiser, J.; Meier, R.; Veríssimo, PauloreportopenAccess
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
Nov-1999Timing Failure Detection with a Timely Computing BaseCasimiro, António; Veríssimo, PauloreportopenAccess
Jul-2003Concretização de um cenário de carros cooperantes num ambiente móvel sem fiosSousa, Paulo; Martins, Pedro; Casimiro, António; Veríssimo, PauloreportopenAccess
Mai-1999The Timely Computing BaseVeríssimo, Paulo; Casimiro, AntónioreportopenAccess