Type inproceedings
From Navigators
A list of all pages that have property "Type" with value "inproceedings"Previous Results 51– 375 Next (20 | 50 | 100 | 250 | 500)
- Publication:Bessani2014tutorial +
- Publication:Bessani2015biobankcloud-platform +
- Publication:Bftcup08 +
- Publication:Botelho2013ConsistentSDN +
- Publication:Botelho2014ewsdn +
- Publication:Botelho2016 +
- Publication:Brandao11rel +
- Publication:C-silva1998a-fault-tolerant-34 +
- Publication:CANAMP +
- Publication:CAlmeidacic2001 +
- Publication:CODASPY 2016 +
- Publication:Caldeira2015Extreme +
- Publication:Canclock +
- Publication:Carlos-almeida1989the-quasi-synchronous-79 +
- Publication:Carlos-almeida1995an-adaptive-50 +
- Publication:Carlos-almeida1996timing-failure-43 +
- Publication:Carlos-almeida1998using-light-weight-31 +
- Publication:Carraca2014INForum +
- Publication:Casimiro-2017-ADA-Europe +
- Publication:Casimiro09a +
- Publication:Casimiro11a +
- Publication:Casimiro2012DCDV +
- Publication:Casimiro2013karyon +
- Publication:Casimiro2014ADSN +
- Publication:Casimiro2014sies-invited +
- Publication:Casimiro2019SAFECOMP-FA +
- Publication:Casimiro2019SRDS-FA +
- Publication:Cogo13fitch +
- Publication:Cogo14biobank +
- Publication:Cogo17sharing genomes +
- Publication:Cogo19enabling +
- Publication:Cogo2015detector +
- Publication:Cogo2016efficient +
- Publication:Cogo2021Auditable +
- Publication:Consistency15 +
- Publication:Correia09efficient +
- Publication:Correia09west +
- Publication:Correia10a +
- Publication:Correia2012:CoC +
- Publication:Costa2015Medusa +
- Publication:Costa2016BGPSec +
- Publication:CostaPBC11 +
- Publication:Countinho-responseasync +
- Publication:Craveiro09INForum +
- Publication:Craveiro10adaptive +
- Publication:Craveiro10etfa +
- Publication:Craveiro10facs +
- Publication:Craveiro11TowardsSelf +
- Publication:Craveiro12hetcomp +
- Publication:Craveiro12hssim +
- Publication:Craveiro12sapient +
- Publication:Craveiro13laxity +
- Publication:Craveiro13umpr +
- Publication:D-powell1988the-delta-4-168 +
- Publication:DASIA09-2 +
- Publication:DCDS19 Enhancing +
- Publication:DRSS19 slicer +
- Publication:DSN 2017 +
- Publication:DSN BCRB 2018 +
- Publication:DSN03 +
- Publication:DSN2018 Henrique +
- Publication:DSN21-fa +
- Publication:DSN22-fa +
- Publication:DSNa 2016 +
- Publication:DSNb 2016 +
- Publication:Dasia09 +
- Publication:Diniz05dasia +
- Publication:Dixit08a +
- Publication:Dixit09a +
- Publication:Dixit10a +
- Publication:Dixit2012SAC +
- Publication:Domaschka2009dosgi +
- Publication:EDC15 +
- Publication:EDCC 2017 +
- Publication:EDCC 2018 +
- Publication:EDCC2020 CodingStyles +
- Publication:ENASE2020 PHPCorrector +
- Publication:ENASE2021 +
- Publication:ETFA-Vitral +
- Publication:Eduardo-alchieri2008a-dependable-212 +
- Publication:Efoc-lan92 +
- Publication:Emanuel-teixeira2007avaliacao-de-218 +
- Publication:FTCS27 +
- Publication:FTCS29 +
- Publication:Fabio-favarim2006fault-tolerant-multiuser-182 +
- Publication:Fabio-favarim2007exploiting-tuple-190 +
- Publication:Fabio-favarim2007gridts-a-189 +
- Publication:Ferreira2013eld +
- Publication:Ferreira2016-Entropy +
- Publication:Fet-99 +
- Publication:Filipe-araujo2001quality-of-2 +
- Publication:Francisco-vieira2009transparent-byzantine-226 +
- Publication:Francois-aubry2009bft-services-227 +
- Publication:Francois-cosquer1995large-scale-55 +
- Publication:Francois-cosquer1995the-impact-51 +
- Publication:Francois-cosquer1995using-tailored-49 +
- Publication:G-dondossola2006critical-utility-175 +
- Publication:Garcia11osdiversity +
- Publication:Garcia12 diversity +
- Publication:Garcia13siem +
- Publication:Garcia2011dsn poster rejuvenations +
- Publication:Garcia2016lazarus poster +
- Publication:Giuliana-santos2007on-the-195 +
- Publication:Gouveia-2016-CERTS +
- Publication:Gouveia-2016-INForum-Poster +
- Publication:Hamid2013convex +
- Publication:Hans-reiser2007optimizing-byzantine-206 +
- Publication:Henrique-moniz2006experimental-comparison-177 +
- Publication:Henrique-moniz2006randomized-intrusion-tolerant-176 +
- Publication:Henrique-moniz2007intrusion-tolerance-197 +
- Publication:Hugo-miranda1999communication-support-28 +
- Publication:Hugo-miranda1999flexible-communication-25 +
- Publication:Hugo-miranda2000group-communication-10 +
- Publication:Hugo-miranda2001appia-a-6 +
- Publication:Hugo-ortiz2007architecture-and-207 +
- Publication:Hugo-ortiz2008towards-intrusion-tolerant-217 +
- Publication:I2MTC2018 +
- Publication:ICC08-Rufino +
- Publication:INFORUM2019 +
- Publication:INForum 2017 ibe1 +
- Publication:INForum 2017 ibe2 +
- Publication:ISD-INFORUM2014 +
- Publication:ISSTA 2016 +
- Publication:ITEQS2020 +
- Publication:Icc95 +
- Publication:Icdcs93 +
- Publication:Icecs98 +
- Publication:Infocom92 +
- Publication:Inforum2018 ibe1 +
- Publication:Inforum2018 ibe2 +
- Publication:Inforum2018 ibe3 +
- Publication:Ip07-90 +
- Publication:Isorc99 +
- Publication:J-domaschka2008multithreading-strategies-231 +
- Publication:J-pereira2000semantically-reliable-11 +
- Publication:JRufino-2016-OSPERT +
- Publication:JSouza12Inforum +
- Publication:JSouza2013-ECRTS +
- Publication:JSouza2013-LCN +
- Publication:JSouzaAndRuf09-ISWN +
- Publication:JSouzaAndRuf09-WHIWN +
- Publication:Jesus2013 +
- Publication:Jesus2014HIC +
- Publication:Joao-antunes2005diagnostico-de-162 +
- Publication:Joao-antunes2007finding-local-194 +
- Publication:Joao-antunes2008detection-and-219 +
- Publication:Joao-craveiro2009embedded-linux-229 +
- Publication:Joao-rodrigues2001the-design-7 +
- Publication:Joao-ventura2001response-time-4 +
- Publication:Joaosousa2011 +
- Publication:Johansson2014erts2 +
- Publication:Jose-pascoal2005ftp-tolerante-163 +
- Publication:JsouzaRTN14 +
- Publication:Junior10 +
- Publication:Kanjo2013UrbanMood +
- Publication:Kapitza08using +
- Publication:Katherine-guo1997dynamic-light-weight-39 +
- Publication:Kauer11recvm +
- Publication:Khosravani2015convex +
- Publication:Kim2012ChannelCluster +
- Publication:Kreutz13SDN +
- Publication:Kreutz2012DAIS +
- Publication:Kreutz2014DSNFA +
- Publication:Kreutz2014PRDC +
- Publication:LIP6928 +
- Publication:Lmarques10a +
- Publication:Lmarques10b +
- Publication:Lmarques11a +
- Publication:Luis-rodrigues1992xamp-a-63 +
- Publication:Luis-rodrigues1993replicated-object-60 +
- Publication:Luis-rodrigues1993using-atomic-59 +
- Publication:Luis-rodrigues1994how-to-56 +
- Publication:Luis-rodrigues1995causal-separators-54 +
- Publication:Luis-rodrigues1995priority-based-totally-53 +
- Publication:Luis-rodrigues1995reliable-computing-52 +
- Publication:Luis-rodrigues1996a-transparent-41 +
- Publication:Luis-rodrigues1996totally-ordered-45 +
- Publication:Luis-rodrigues1998scalable-atomic-32 +
- Publication:Luis-rodrigues1999scalability-issues-26 +
- Publication:Luis-rodrigues2000atomic-broadcast-20 +
- Publication:Luis-rodrigues2000deadline-constrained-causal-21 +
- Publication:Luis-rodrigues2000partitionable-light-weight-19 +
- Publication:Luis-rodrigues2000quorum-based-replication-17 +
- Publication:Manuel-coutinho2005vitral-a +
- Publication:Marco-vieira2004timely-acid-165 +
- Publication:Marco-vieira2005tacid-transactions-166 +
- Publication:Marco-vieira2007towards-timely-209 +
- Publication:Marques09a +
- Publication:Marques09b +
- Publication:Marques2012ASCOMS +
- Publication:Marques2013:a +
- Publication:Marques2018 +
- Publication:Mendes15inforum +
- Publication:Mendes2012C2FS +
- Publication:Miguel-antunes2001separating-replication-5 +
- Publication:Miguel-correia2001the-architecture-3 +
- Publication:Miguel-correia2002efficient-byzantine-resilient-116 +
- Publication:Miguel-correia2002the-design-115 +
- Publication:Miguel-correia2003a-simple-122 +
- Publication:Miguel-correia2004how-to-151 +
- Publication:Moniz09healer +
- Publication:Moniz10a +
- Publication:NLP4RE2021 +
- Publication:Nascimento2019 +
- Publication:Nezhad2012DSN-FA +
- Publication:NobregaDaCosta13safety +
- Publication:Nogueira11 +
- Publication:Nuno-ferreira-neves2004wormhole-aware-byzantine-148 +
- Publication:Nuno-ferreira-neves2006using-attack-179 +
- Publication:Oliveira2014DIHC +
- Publication:Oliveira2016mwds +
- Publication:Onica15PTP +
- Publication:P-a-barrett1990the-delta-4-169 +
- Publication:PRDC19 slicer +
- Publication:Padhy2011MiddlewarePoster +
- Publication:Pan-jieke2005um-nucleo-164 +
- Publication:Pan-jieke2007specification-based-intrusion-191 +
- Publication:Pascoal08amoba +
- Publication:Pasin09odd +
- Publication:Paulo-sousa2002towards-a-118 +
- Publication:Paulo-sousa2005a-new-156 +
- Publication:Paulo-sousa2005how-resilient-155 +
- Publication:Paulo-sousa2005resilient-state-159 +
- Publication:Paulo-sousa2006proactive-resilience-171 +
- Publication:Paulo-sousa2006proactive-resilience-178 +
- Publication:Paulo-sousa2006proactive-resilience-180 +
- Publication:Paulo-sousa2007hidden-problems-185 +
- Publication:Paulo-sousa2007resilient-intrusion-198 +
- Publication:Paulo-sousa2008the-forever-204 +
- Publication:Paulo-verissimo1988redundant-media-75 +
- Publication:Paulo-verissimo1989amp-a-74 +
- Publication:Paulo-verissimo1990real-time-data-72 +
- Publication:Paulo-verissimo1990reliable-broadcast-73 +
- Publication:Paulo-verissimo1992a-posteriori-66 +
- Publication:Paulo-verissimo1992group-orientation-64 +
- Publication:Paulo-verissimo1992group-orientation-69 +
- Publication:Paulo-verissimo1993the-changing-57 +
- Publication:Paulo-verissimo1996distributed-industrial-44 +
- Publication:Paulo-verissimo1997on-the-36 +
- Publication:Paulo-verissimo2000distributed-computer-controlled-9 +
- Publication:Paulo-verissimo2000the-middleware-12 +
- Publication:Paulo-verissimo2000the-timely-18 +
- Publication:Paulo-verissimo2002cortex-towards-113 +
- Publication:Paulo-verissimo2003an-architecture-142 +
- Publication:Paulo-verissimo2003event-driven-support-119 +
- Publication:Paulo-verissimo2003uncertainty-and-120 +
- Publication:Paulo-verissimo2006crutial-the-173 +
- Publication:Paulo-verissimo2007assumptions-the-186 +
- Publication:Paulo-verissimo2009designing-modular-216 +
- Publication:Pbftbc09 +
- Publication:Pdcs2005 +
- Publication:Pedro-martins2002the-timely-121 +
- Publication:Pedro-martins2004dependable-adaptive-144 +
- Publication:Pid240728 +
- Publication:Pid240866 +
- Publication:Pid280945 +
- Publication:Pid283090 +
- Publication:Pinto2014EWiLi14-Poster +
- Publication:Pinto2014INForum +
- Publication:Quaresma10ds +
- Publication:RCPinto2014rv +
- Publication:Rafael-ferraz2004an-intrusion-tolerant-150 +
- Publication:Ramos2009PowerExcursion +
- Publication:Ramos2009iptvmodel +
- Publication:Ramos2010ChannelSmurfing +
- Publication:Ramos2010Greeniptv +
- Publication:RaptorQ-SP2014 +
- Publication:Reiser-Spare-eurosys11 +
- Publication:Reiser08fgvirt +
- Publication:Reiser09functional +
- Publication:Rosa10inforum +
- Publication:Rosa11INDIN +
- Publication:Rt-ifac10 +
- Publication:Rtss98-wip +
- Publication:Ruano2013seismic +
- Publication:Ruano2014hvac +
- Publication:Ruano2015hvac +
- Publication:Ruano2015station +
- Publication:Ruano2016pvm +
- Publication:Ruano2016spws +
- Publication:Rufino07dasia +
- Publication:Rufino09dasiaair +
- Publication:Rufino10seus +
- Publication:SITAN-DSN2014 +
- Publication:Sacramento TrustCom 2018 +
- Publication:Santos2020longlasting +
- Publication:Schmidt08adaptive +
- Publication:Secrypt19 lads +
- Publication:Secrypt19 teps +
- Publication:Sensors15-Gjesus +
- Publication:SmartMeter-INDIN2013 +
- Publication:Song2009DelayEstimator +
- Publication:Song2010DelayEstimator +
- Publication:Sousa09intrusion +
- Publication:Sousa10typhon +
- Publication:Sousa2011bft-smart +
- Publication:Sousa2013wan-evaluation +
- Publication:Sousa2014bft-smart +
- Publication:Sousa2014sbrc +
- Publication:Sousa2015wheat +
- Publication:Sousa2017hlf-smart-dsn18 +
- Publication:Sousa2017hlf-smart-short +
- Publication:Souza2014WiEEE +
- Publication:SouzaAndRuf-UBICOMM-2011 +
- Publication:Spinning09 +
- Publication:T-distler2008efficient-state-230 +
- Publication:Tiago-jorge2004concretizacao-de-149 +
- Publication:ToCAMS2020 +
- Publication:TrustCom19 pure +
- Publication:Vavala15SRDS +
- Publication:VavalaDSN2017 +
- Publication:VavalaDepend2010 +
- Publication:VavalaIjais2011 +
- Publication:VavalaSRDS2012 +
- Publication:Verissimo12tclouds +
- Publication:Veronese09b +
- Publication:Veronese10ebawa +
- Publication:Viegas2020facing +
- Publication:Viegas2020semisupervised +
- Publication:WAP-DSN2014 +
- Publication:WAP-WWW2014 +
- Publication:Wagner-saback-dantas2007evaluating-byzantine-187 +
- Publication:Wagner-saback-dantas2009not-quickly-225 +
- Publication:Werner-vogels1992fast-group-62 +
- Publication:Werner-vogels1992requirements-for-65 +