- Main Page
|?abstract
5 KB (663 words) - 13:17, 28 March 2022
- Publications/All
|?abstract
|?abstract
732 B (82 words) - 19:07, 14 November 2012
- Publication:Brandao11rel
|abstract=
2 KB (240 words) - 14:40, 14 January 2013
- Publication:Craveiro09msc
|abstract=The Integrated Modular Avionics (IMA) specification defines a partitioned e
2 KB (340 words) - 13:04, 15 January 2013
- Publication:Craveiro10adaptive
|abstract=The AIR (ARINC 653 in Space Real-Time Operating System) technology targets
1 KB (195 words) - 10:58, 17 January 2013
- Publication:Dixit11a
|abstract=Distributed protocols executing in uncertain environments, like the Interne
2 KB (279 words) - 17:36, 21 January 2013
- Publication:Moniz09raptor
|abstract=This chapter introduces the reader to the benefits of distributed computing
1 KB (145 words) - 17:12, 14 January 2013
- Publications
|?abstract
|?abstract
7 KB (836 words) - 13:12, 28 March 2022
- Project:CORTEX
#*defining adequate abstract network models and providing mappings for the various network types envisag
4 KB (639 words) - 10:33, 2 August 2014
- Project:COPE
|Summary===Abstract==
3 KB (485 words) - 17:45, 3 December 2012
- Project:MOOSCO
|Summary==Abstract==
2 KB (281 words) - 17:55, 3 December 2012
- Project:GODC
|Summary===Abstract==
3 KB (444 words) - 15:05, 14 November 2012
- Project:RESIST NoE
|Summary===Abstract==
3 KB (479 words) - 17:42, 3 December 2012
- Project:CaberNet
|Summary===Abstract==
5 KB (766 words) - 07:22, 2 August 2014
- Project:ESFORS
|Summary===Abstract==
5 KB (657 words) - 12:13, 7 December 2012
- Publication:Brandao2012reliabilityJBCS
|abstract=This paper considers the estimation of reliability and availability of intr
1 KB (201 words) - 15:37, 23 January 2013
- Publication:Bessani11depsky
|abstract=
2 KB (246 words) - 14:40, 14 January 2013
- Publication:Quaresma10ds
|abstract=
1 KB (148 words) - 14:40, 14 January 2013
- Publication:Spinning09
|abstract=
1 KB (186 words) - 14:41, 14 January 2013
- Publication:Veronese09b
|abstract=
2 KB (211 words) - 14:41, 14 January 2013
- Publication:Reiser-Spare-eurosys11
|abstract=
2 KB (311 words) - 14:40, 14 January 2013
- Publication:SouzaAndRuf-UBICOMM-2011
|abstract=
2 KB (207 words) - 14:40, 14 January 2013
- Publication:Antunes11b
|abstract=
1 KB (190 words) - 14:40, 14 January 2013
- Publication:Lmarques11a
|abstract=
1 KB (190 words) - 14:40, 14 January 2013
- Publication:Pbftbc09
|abstract=
1 KB (189 words) - 14:41, 14 January 2013
- Publication:Couto09b
|abstract=The increasing use of citation impact indexes for evaluation and comparison
2 KB (292 words) - 17:00, 14 January 2013
- Publication:Casimiro09a
|abstract=
2 KB (271 words) - 14:41, 14 January 2013
- Publication:Dixit09b
|abstract=Distributed protocols executing in uncertain environments, like the Interne
2 KB (268 words) - 16:55, 21 January 2013
- Publication:Correia10a
|abstract=
2 KB (240 words) - 14:40, 14 January 2013
- Publication:Junior10
|abstract=
1 KB (153 words) - 14:40, 14 January 2013
- Publication:Alchieri10wsds
|abstract=
1 KB (146 words) - 14:40, 14 January 2013
- Publication:Antunes11d
|abstract=
1 KB (185 words) - 14:40, 14 January 2013
- Publication:Sousa10highly
|abstract=
2 KB (218 words) - 14:40, 14 January 2013
- Publication:Moniz10a
|abstract=
2 KB (212 words) - 14:40, 14 January 2013
- Publication:Antunes10
|abstract=
2 KB (278 words) - 14:40, 14 January 2013
- Publication:Antunes10b
|abstract=
Fast Abstract in Supplement of the International Conference on Dependable Systems and Net
993 B (129 words) - 14:40, 14 January 2013
- Publication:Bessani10aqs-tr
|abstract=
873 B (104 words) - 14:40, 14 January 2013
- Publication:Lmarques10b
|abstract=
2 KB (276 words) - 14:40, 14 January 2013
- Publication:Lmarques10a
|abstract=
866 B (106 words) - 14:40, 14 January 2013
- Publication:Rosa10inforum
|abstract=The AIR architecture, developed to meet the interests of the aerospace
1 KB (181 words) - 10:53, 17 January 2013
- Publication:Antunes11ewdc
|abstract=
2 KB (209 words) - 14:40, 14 January 2013
- Publication:Casimiro11a
|abstract=
1 KB (170 words) - 14:40, 14 January 2013
- Publication:Kauer11recvm
|abstract=
2 KB (241 words) - 14:40, 14 January 2013
- Publication:Craveiro11ECRTSwip
|abstract=Time- and space-partitioned systems (TSP) are a current trend in aerospace.
1 KB (203 words) - 14:55, 14 January 2013
- Publication:Craveiro12sapient
|abstract=This paper describes the SAPIENT (Scheduling Analysis Principles and Tool f
1 KB (141 words) - 14:34, 3 December 2012
- Publication:Garcia11osdiversity
|abstract=
2 KB (212 words) - 14:40, 14 January 2013
- Publication:Sousa10typhon
|abstract=The Kerberos v5 standard specifies how the clients and services of a distri
1 KB (191 words) - 18:13, 17 July 2014
- Publication:Craveiro10etfa
|abstract=Aerospace mission systems’ size, weight and power consumption requirement
1 KB (172 words) - 10:55, 17 January 2013
- Publication:Bessani10aqs-hd
|abstract=
1 KB (126 words) - 14:40, 14 January 2013
- Publication:Moniz10ritas
|abstract=
1 KB (195 words) - 14:40, 14 January 2013
- Publication:Veronese10ebawa
|abstract=
2 KB (229 words) - 14:40, 14 January 2013
- Publication:Nogueira11
|abstract=Hard real-time operating systems have been mostly designed
1 KB (203 words) - 10:17, 23 July 2014
- Publication:Rufino10seus
|abstract=Future space systems require innovative computing system architectures, on
1 KB (206 words) - 10:55, 17 January 2013
- Publication:Craveiro10facs
|abstract=Space systems of the future demand for innovative computer architectures, e
|intype=Fast Abstract in the Doctoral Track of
2 KB (276 words) - 10:56, 17 January 2013
- Publication:Couto09a
|abstract=The increasing use of citation impact metrics for evaluation and comparison
2 KB (233 words) - 16:59, 14 January 2013
- Publication:Dixit10a
|abstract=
2 KB (219 words) - 14:40, 14 January 2013
- Publication:Dixit10b
|abstract=Algorithms for solving distributed system problems, such as consensus,
1 KB (216 words) - 17:01, 14 January 2013
- Publication:Rufino10ads
|abstract=Aerospace systems have strict dependability and real-time
2 KB (220 words) - 10:57, 17 January 2013
- Publication:Moniz09healer
|abstract=
2 KB (239 words) - 14:41, 14 January 2013
- Publication:JSouzaAndRuf09-ISWN
|abstract=
1 KB (188 words) - 14:41, 14 January 2013
- Publication:Craveiro09INForum
|abstract=The ARINC 653-based AIR (ARINC 653 in Space Real-Time Operating System) arc
1 KB (195 words) - 10:53, 17 January 2013
- Publication:Marques09b
|abstract=
1 KB (174 words) - 14:41, 14 January 2013
- Publication:JSouzaAndRuf09-WHIWN
|abstract=
1 KB (175 words) - 14:41, 14 January 2013
- Publication:Antunes09
|abstract=
2 KB (221 words) - 14:41, 14 January 2013
- Publication:Correia09efficient
|abstract=
1 KB (164 words) - 14:41, 14 January 2013
- Publication:Pasin09odd
|abstract=
2 KB (259 words) - 14:41, 14 January 2013
- Publication:Cheapcis09
|abstract=
2 KB (241 words) - 14:41, 14 January 2013
- Publication:Bessani09tc2
|abstract=
2 KB (212 words) - 14:41, 14 January 2013
- Publication:Domaschka2009dosgi
|abstract=
580 B (65 words) - 14:41, 14 January 2013
- Publication:Marques09a
|abstract=
1 KB (175 words) - 14:41, 14 January 2013
- Publication:Sousa09intrusion
|abstract=
2 KB (208 words) - 14:41, 14 January 2013
- Publication:Correia09west
|abstract=
1 KB (154 words) - 14:41, 14 January 2013
- Publication:Alysson-bessani2009enhancing-fault-224
|abstract=
1 KB (176 words) - 14:41, 14 January 2013
- Publication:Wagner-saback-dantas2009not-quickly-225
|abstract=
2 KB (209 words) - 14:41, 14 January 2013
- Publication:Francisco-vieira2009transparent-byzantine-226
|abstract=
...ernational Conference on Dependable Systems and Networks (DSN 2009) - Fast Abstract, Estoril, Portugal, Jun-Jul 2009.
1 KB (132 words) - 14:41, 14 January 2013
- Publication:Francois-aubry2009bft-services-227
|abstract=
...ernational Conference on Dependable Systems and Networks (DSN 2009) - Fast Abstract, Estoril, Portugal, Jun-Jul 2009.
1 KB (175 words) - 14:41, 14 January 2013
- Publication:Reiser09functional
|abstract=Hybrid wormhole-based architectures have recently been proposed as an appro
1 KB (166 words) - 18:10, 14 January 2013
- Publication:Rufino09dasiaair
|abstract=The Integrated Modular Avionics and the ARINC 653 specifications are assum
1 KB (196 words) - 10:53, 17 January 2013
- Publication:Verissimo09his
|abstract=Intrusion Tolerance has become a reference paradigm for dealing with intrus
776 B (101 words) - 17:21, 14 January 2013
- Publication:Joao-craveiro2009embedded-linux-229
|abstract=The ARINC 653 specification, defined for aeronautical applications, has the
1 KB (217 words) - 10:52, 17 January 2013
- Publication:DASIA09-2
|abstract=RTEMS CENTRE – Support and Maintenance Centre to RTEMS Operating System
2 KB (345 words) - 17:54, 14 January 2013
- Publication:Dasia09
|abstract=The ARINC 653 standard has taken a leading role
1 KB (214 words) - 08:49, 2 April 2017
- Publication:Dixit09a
|abstract=
1 KB (197 words) - 14:41, 14 January 2013
- Publication:Bessani09tpds
|abstract=
1 KB (199 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2009designing-modular-216
|abstract=
2 KB (210 words) - 14:41, 14 January 2013
- Publication:J-domaschka2008multithreading-strategies-231
|abstract=Replication of objects usually makes deterministic behaviour mandatory for
2 KB (199 words) - 17:09, 14 January 2013
- Publication:Alysson-bessani2008the-crutial-213
|abstract=
1 KB (195 words) - 14:41, 14 January 2013
- Publication:Alysson-bessani2008forever-faultintrusion-221
|abstract=
1 KB (139 words) - 14:41, 14 January 2013
- Publication:Bftcup08
|abstract=
2 KB (223 words) - 14:41, 14 January 2013
- Publication:Joao-antunes2008detection-and-219
|abstract=Systems connected to the Internet are highly susceptible to denial-of-servi
1 KB (207 words) - 17:10, 14 January 2013
- Publication:27th-DASC-paper
|abstract=
2 KB (223 words) - 14:41, 14 January 2013
- Publication:Dixit08a
|abstract=
2 KB (235 words) - 14:41, 14 January 2013
- Publication:Hugo-ortiz2008towards-intrusion-tolerant-217
|abstract=
2 KB (263 words) - 14:41, 14 January 2013
- Publication:Eduardo-alchieri2008a-dependable-212
|abstract=
1 KB (153 words) - 14:41, 14 January 2013
- Publication:Correia08jpdc
|abstract=
821 B (110 words) - 14:41, 14 January 2013
- Publication:Countinho-responseasync
|abstract=
2 KB (260 words) - 14:41, 14 January 2013
- Publication:Kapitza08using
|abstract=
2 KB (238 words) - 14:41, 14 January 2013
- Publication:Schmidt08adaptive
|abstract=
2 KB (215 words) - 14:41, 14 January 2013
- Publication:Pascoal08amoba
|abstract=
1 KB (178 words) - 14:41, 14 January 2013
- Publication:Alysson-bessani2008depspace-a-203
|abstract=
2 KB (203 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2008the-forever-204
|abstract=
1 KB (144 words) - 14:41, 14 January 2013
- Publication:T-distler2008efficient-state-230
|abstract=
1 KB (158 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2008a-framework-205
|abstract=
2 KB (235 words) - 14:41, 14 January 2013
- Publication:ICC08-Rufino
|abstract=
2 KB (209 words) - 14:41, 14 January 2013
- Publication:Reiser08fgvirt
|abstract=
1 KB (178 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2008the-crutial-192
|abstract=Critical infrastructures have evolved in the past decades to become largely
1 KB (190 words) - 18:15, 14 January 2013
- Publication:Steven-m-bellovin2008information-assurance-199
|abstract=
1 KB (168 words) - 14:41, 14 January 2013
- Publication:Air-final-report
...on; (ii) addresses how space and time partitioning could be provided in an abstract processor infrastructure, as well as those requirements can be mapped into
2 KB (224 words) - 13:00, 15 January 2013
- Publication:Air-summary-report
|abstract=This document summarizes the main results of AIR, an innovation initiative
1 KB (151 words) - 13:01, 15 January 2013
- Publication:Paulo-sousa2007resilient-intrusion-198
|abstract=
679 B (73 words) - 14:41, 14 January 2013
- Publication:Henrique-moniz2007intrusion-tolerance-197
|abstract=
713 B (79 words) - 14:41, 14 January 2013
- Publication:Ip07-90
|abstract=
1 KB (169 words) - 14:41, 14 January 2013
- Publication:Joao-antunes2007finding-local-194
|abstract=
625 B (67 words) - 14:41, 14 January 2013
- Publication:Emanuel-teixeira2007avaliacao-de-218
|abstract=
2 KB (244 words) - 14:41, 14 January 2013
- Publication:Gunjan-khanna2007automated-rule-based-193
|abstract=In today's world where distributed systems form many of our critical infras
2 KB (262 words) - 18:15, 14 January 2013
- Publication:Hans-reiser2007optimizing-byzantine-206
|abstract=
1 KB (180 words) - 14:41, 14 January 2013
- Publication:Wagner-saback-dantas2007evaluating-byzantine-187
|abstract=Replication is a mechanism extensively used to guarantee the availability a
1 KB (187 words) - 18:12, 14 January 2013
- Publication:Alysson-bessani2007when-3f1-196
|abstract=
632 B (68 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2007assumptions-the-186
|abstract=
643 B (70 words) - 14:41, 14 January 2013
- Publication:Alessandro-daidone2007analysis-of-214
|abstract=Critical infrastructures like the power grid are emerging as collection of
2 KB (317 words) - 10:57, 17 January 2013
- Publication:Paulo-verissimo2007the-crutial-215
|abstract=In this chapter we discuss the susceptibility of critical information infra
1 KB (184 words) - 17:18, 14 January 2013
- Publication:Hugo-ortiz2007architecture-and-207
|abstract=
2 KB (224 words) - 14:41, 14 January 2013
- Publication:Alysson-bessani2007decoupled-quorum-based-188
|abstract=Open distributed systems are typically composed by an unknown number of pro
1 KB (209 words) - 18:16, 14 January 2013
- Publication:Fabio-favarim2007gridts-a-189
|abstract=This paper proposes GRIDTS, a grid infrastructure in which the resources se
1 KB (150 words) - 18:17, 14 January 2013
- Publication:Antonio-casimiro2007middleware-support-208
|abstract=
In this fast abstract we address some work done in the context of TACID, concerned with the devel
1 KB (138 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2007generic-events-architecture-211
|abstract=In a future networked physical world, a myriad of smart sensors and actuato
2 KB (241 words) - 17:06, 14 January 2013
- Publication:Rufino07dasia
|abstract=
1 KB (159 words) - 14:41, 14 January 2013
- Publication:Fabio-favarim2007exploiting-tuple-190
|abstract=Scheduling tasks on large-scale computational grids is difficult due to the
1 KB (166 words) - 18:18, 14 January 2013
- Publication:Alysson-bessani2007intrusion-tolerant-protection-184
http://www.di.fc.ul.pt/sobre/abstract.php/?report_ref=2007-08
|abstract=
622 B (69 words) - 14:41, 14 January 2013
- Publication:Marco-vieira2007towards-timely-209
|abstract=
2 KB (212 words) - 14:41, 14 January 2013
- Publication:Pan-jieke2007specification-based-intrusion-191
|abstract=Layered network architectures (OSI, TCP/IP) separate functionality in layer
1 KB (146 words) - 18:18, 14 January 2013
- Publication:Miguel-correia2007worm-it--181
|abstract=
610 B (66 words) - 14:41, 14 January 2013
- Publication:Pid283090
|abstract=
1 KB (143 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2006proactive-resilience-180
|abstract=
565 B (56 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2006proactive-resilience-178
|abstract=
699 B (77 words) - 14:41, 14 January 2013
- Publication:Henrique-moniz2006experimental-comparison-177
|abstract=
650 B (72 words) - 14:41, 14 January 2013
- Publication:Fabio-favarim2006fault-tolerant-multiuser-182
|abstract=
608 B (65 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2006on-the-210
|abstract=
1 KB (191 words) - 14:41, 14 January 2013
- Publication:ETFA-Vitral
|abstract=
1 KB (126 words) - 14:41, 14 January 2013
- Publication:Pid280945
|abstract=
1 KB (162 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2006intrusion-tolerant-middleware-172
|abstract=
641 B (75 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2006crutial-the-173
|abstract=
660 B (69 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2006thou-shalt-174
|abstract=
633 B (71 words) - 14:41, 14 January 2013
- Publication:Alysson-bessani2006sharing-memory-183
|abstract=
617 B (66 words) - 14:41, 14 January 2013
- Publication:Henrique-moniz2006randomized-intrusion-tolerant-176
|abstract=
649 B (68 words) - 14:41, 14 January 2013
- Publication:Nuno-ferreira-neves2006using-attack-179
|abstract=
2 KB (220 words) - 14:41, 14 January 2013
- Publication:Pid240728
|abstract=
1 KB (182 words) - 14:41, 14 January 2013
- Publication:Pid240866
|abstract=
2 KB (237 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2006proactive-resilience-171
|abstract=
612 B (65 words) - 14:41, 14 January 2013
- Publication:G-dondossola2006critical-utility-175
|abstract=
668 B (74 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2006travelling-through-170
|abstract=
570 B (62 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2006from-consensus-161
|abstract=
598 B (62 words) - 14:41, 14 January 2013
- Publication:Nuno-ferreira-neves2005solving-vector-167
|abstract=
534 B (59 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2005resilient-state-159
|abstract=
576 B (63 words) - 14:41, 14 January 2013
- Publication:019
|abstract=
1 KB (149 words) - 14:41, 14 January 2013
- Publication:Manuel-coutinho2005vitral-a
|abstract=
2 KB (268 words) - 14:41, 14 January 2013
- Publication:Pdcs2005
|abstract=
2 KB (204 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2005low-complexity-145
|abstract=
639 B (70 words) - 14:41, 14 January 2013
- Publication:Joao-antunes2005diagnostico-de-162
|abstract=
1 KB (203 words) - 14:41, 14 January 2013
- Publication:Jose-pascoal2005ftp-tolerante-163
|abstract=A segurança de serviços distribuídos na Internet é uma preocupação co
1 KB (188 words) - 18:19, 14 January 2013
- Publication:Pan-jieke2005um-nucleo-164
|abstract=A tolerância a faltas desde há muitos anos que trata do problema de proje
1 KB (179 words) - 18:20, 14 January 2013
- Publication:Miguel-correia2005servicos-distribuidos-160
|abstract=A ideia de aplicar conceitos, mecanismos e arquitecturas da área da confia
1 KB (216 words) - 18:20, 14 January 2013
- Publication:Marco-vieira2005tacid-transactions-166
|abstract=
608 B (64 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2005how-resilient-155
|abstract=
653 B (73 words) - 14:41, 14 January 2013
- Publication:Diniz05dasia
|abstract=In this paper it is proposed that the ARINC 653 avionics standard is a good
891 B (129 words) - 08:47, 2 April 2017
- Publication:Martins10dso
|abstract=
2 KB (224 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2005proactive-resilience-158
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2005-08
|abstract=
562 B (62 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2005a-new-156
|abstract=
609 B (68 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2004how-to-151
|abstract=
637 B (73 words) - 14:41, 14 January 2013
- Publication:Rafael-ferraz2004an-intrusion-tolerant-150
|abstract=
649 B (72 words) - 14:41, 14 January 2013
- Publication:Tiago-jorge2004concretizacao-de-149
|abstract=
637 B (74 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2004how-to-152
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2004-06
|abstract=
603 B (70 words) - 14:41, 14 January 2013
- Publication:Pedro-martins2004dependable-adaptive-144
|abstract=
609 B (64 words) - 14:41, 14 January 2013
- Publication:Marco-vieira2004timely-acid-165
|abstract=
Fast Abstract at the 2004 International Conference on Dependable Systems and Networks, Fl
569 B (59 words) - 14:41, 14 January 2013
- Publication:Nuno-ferreira-neves2004wormhole-aware-byzantine-148
|abstract=
611 B (65 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2004from-consensus-153
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2004-05
|abstract=
618 B (68 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2004an-architectural-146
|abstract=
576 B (62 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2003an-architecture-142
|abstract=
583 B (65 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2003low-complexity-141
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-25
|abstract=
616 B (69 words) - 14:41, 14 January 2013
- Publication:DSN03
|abstract=
2 KB (226 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2003a-simple-122
|abstract=
648 B (74 words) - 14:41, 14 January 2013
- Publication:G-blair2003analysis-and-132
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-21
|abstract=
603 B (70 words) - 14:41, 14 January 2013
- Publication:V-cahill2003proof-of-concept-prototypes-133
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-20
|abstract=
593 B (68 words) - 14:41, 14 January 2013
- Publication:G-biegel2003the-cortex-134
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-19
|abstract=
673 B (84 words) - 14:41, 14 January 2013
- Publication:G-blair2003preliminary-specification-135
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-18
|abstract=
642 B (75 words) - 14:41, 14 January 2013
- Publication:A-adelsbach2003conceptual-model-130
|abstract=This deliverable builds on the work reported in (MAFTIA 2000) and (Powell a
865 B (126 words) - 12:58, 15 January 2013
- Publication:Paulo-verissimo2003uncertainty-and-120
|abstract=
654 B (67 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2003event-driven-support-119
|abstract=
605 B (61 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2002lessons-learned-125
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2002-17
|abstract=
592 B (67 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2002towards-a-118
|abstract=
512 B (54 words) - 14:41, 14 January 2013
- Publication:Pedro-martins2002the-timely-121
|abstract=
505 B (54 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2002efficient-byzantine-resilient-116
|abstract=
642 B (70 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2002the-timely-112
|abstract=
549 B (61 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2002intrusion-tolerant-architectures-124
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-05
|abstract=
577 B (63 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2002intrusion-tolerance-117
http://www.di.fc.ul.pt/sobre/abstract.php/?report_ref=2002-06
|abstract=
560 B (63 words) - 14:41, 14 January 2013
- Publication:J-armstrong2002complete-specification-128
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2002-11
|abstract=
759 B (98 words) - 14:41, 14 January 2013
- Publication:Rufino02phd
|abstract=Standard fieldbuses are nowadays a cost-effective solution for distributed
2 KB (257 words) - 13:06, 15 January 2013
- Publication:Antonio-casimiro2002generic-timing-111
|abstract=
577 B (65 words) - 14:41, 14 January 2013
- Publication:C-brudna2002preliminary-definition-136
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-17
|abstract=
606 B (70 words) - 14:41, 14 January 2013
- Publication:P-barron2002preliminary-definition-138
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-15
|abstract=
666 B (80 words) - 14:41, 14 January 2013
- Publication:G-biegel2002preliminary-definition-137
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-16
|abstract=
601 B (70 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2002cortex-towards-113
|abstract=
576 B (62 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2002cortex-towards-126
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2002-01
|abstract=
610 B (70 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2002recent-advances-106
|abstract=
Fast Abstract at the International Conference on Dependable Systems and Networks
641 B (74 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2001measuring-distributed-104
|abstract=
593 B (65 words) - 14:41, 14 January 2013
- Publication:A-adelsbach2001maftia-conceptual-131
|abstract=This document builds on the work reported in MAFTIA deliverable D1. It cont
800 B (119 words) - 17:59, 14 January 2013
- Publication:G-biegel2001definition-of-139
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-14
|abstract=
675 B (82 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2001using-the-105
|abstract=
591 B (66 words) - 14:41, 14 January 2013
- Publication:Nuno-ferreira-neves2001first-specification-100
http://www.di.fc.ul.pt/sobre/abstract.php/?report_ref=2001-06
|abstract=
572 B (66 words) - 14:41, 14 January 2013
- Publication:CAlmeidacic2001
|abstract=
2 KB (234 words) - 14:41, 14 January 2013
- Publication:Alexandre-pinto2001light-weight-groups-1
|abstract=This paper reports a practical experience of implementing a group communica
1,010 B (144 words) - 18:01, 14 January 2013
- Publication:Filipe-araujo2001quality-of-2
|abstract=
478 B (54 words) - 14:41, 14 January 2013
- Publication:Joao-ventura2001response-time-4
|abstract=
523 B (57 words) - 14:41, 14 January 2013
- Publication:Miguel-antunes2001separating-replication-5
|abstract=
695 B (77 words) - 14:41, 14 January 2013
- Publication:Hugo-miranda2001appia-a-6
|abstract=
572 B (62 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2001the-architecture-3
|abstract=
648 B (72 words) - 14:41, 14 January 2013
- Publication:Joao-rodrigues2001the-design-7
|abstract=
498 B (56 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2001distributed-systems-94
|abstract=N/A
237 B (35 words) - 18:05, 14 January 2013
- Publication:Paulo-verissimo2001service-and-101
http://www.di.fc.ul.pt/sobre/abstract.php/?report_ref=2001-01
|abstract=
562 B (64 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2001the-design-103
|abstract=
575 B (63 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues2000a-dynamic-8
|abstract=
491 B (55 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2000distributed-computer-controlled-9
|abstract=
633 B (70 words) - 14:41, 14 January 2013
- Publication:Hugo-miranda2000group-communication-10
|abstract=
666 B (74 words) - 14:41, 14 January 2013
- Publication:J-pereira2000semantically-reliable-11
|abstract=
486 B (52 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2000the-middleware-12
|abstract=
596 B (64 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2000the-middleware-13
|abstract=
581 B (64 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2000global-computing-14
|abstract=
518 B (56 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2000how-to-16
|abstract=In a recent paper we introduced a new model to deal with the problem of han
2 KB (234 words) - 18:11, 14 January 2013
- Publication:Luis-rodrigues2000quorum-based-replication-17
|abstract=
503 B (50 words) - 14:41, 14 January 2013
- Publication:C-cachin2000maftia-reference-102
http://www.di.fc.ul.pt/sobre/abstract.php/?report_ref=2000-05
|abstract=
790 B (107 words) - 14:41, 14 January 2013
- Publication:Pedro-martins2000event-timestamping-76
|abstract=
530 B (61 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2000the-timely-18
|abstract=
620 B (71 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues2000atomic-broadcast-20
|abstract=
501 B (53 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues2000deadline-constrained-causal-21
|abstract=
528 B (56 words) - 14:41, 14 January 2013
- Publication:A-mostefaoui2000the-logically-15
|abstract=Communication is logically instantaneous (LI) when there is a logical time
793 B (107 words) - 11:01, 17 January 2013
- Publication:Antonio-casimiro1999timing-failure-77
|abstract=
561 B (63 words) - 14:41, 14 January 2013
- Publication:Hugo-miranda1999flexible-communication-25
|abstract=
526 B (55 words) - 14:41, 14 January 2013
- Publication:Fet-99
|abstract=
1 KB (149 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues1999scalability-issues-26
|abstract=
628 B (66 words) - 14:41, 14 January 2013
- Publication:FTCS29
|abstract=
1 KB (139 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1999the-timely-27
|abstract=
543 B (60 words) - 14:41, 14 January 2013
- Publication:Isorc99
|abstract=
1 KB (134 words) - 14:41, 14 January 2013
- Publication:Hugo-miranda1999communication-support-28
|abstract=
566 B (59 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro1999timing-failure-29
|abstract=
607 B (66 words) - 14:41, 14 January 2013
- Publication:Canclock
|abstract=This paper presents a new fault-tolerant clock synchronization algorithm de
1 KB (184 words) - 18:08, 14 January 2013
- Publication:Carlos-almeida1998using-light-weight-31
|abstract=
543 B (57 words) - 14:41, 14 January 2013
- Publication:Rtss98-wip
|abstract=
1 KB (122 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues1998scalable-atomic-32
|abstract=
585 B (61 words) - 14:41, 14 January 2013
- Publication:Icecs98
|abstract=
617 B (65 words) - 14:41, 14 January 2013
- Publication:C-silva1998a-fault-tolerant-34
|abstract=
610 B (63 words) - 14:41, 14 January 2013