Dependable computing: 14th European workshop, EWDC 2013, Coimbra, Portugal, May 15 - 16, 2013 ; proceedings
Gespeichert in:
Format: | Tagungsbericht Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
Schriftenreihe: | Lecture notes in computer science
7869 |
Schlagworte: | |
Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
Beschreibung: | XI, 205 S. graph. Darst. 235 mm x 155 mm |
ISBN: | 3642387888 9783642387883 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV041096486 | ||
003 | DE-604 | ||
005 | 20140305 | ||
007 | t| | ||
008 | 130619s2013 gw d||| |||| 10||| eng d | ||
015 | |a 13,N21 |2 dnb | ||
016 | 7 | |a 1034514873 |2 DE-101 | |
020 | |a 3642387888 |9 3-642-38788-8 | ||
020 | |a 9783642387883 |c Pb. : EUR 49.22 (DE) (freier Pr.), EUR 50.60 (AT) (freier Pr.), sfr 61.50 (freier Pr.) |9 978-3-642-38788-3 | ||
024 | 3 | |a 9783642387883 | |
035 | |a (OCoLC)876632659 | ||
035 | |a (DE-599)DNB1034514873 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a gw |c XA-DE-BE | ||
049 | |a DE-83 |a DE-11 |a DE-91G | ||
082 | 0 | |a 004.2 |2 22/ger | |
084 | |a 004 |2 sdnb | ||
245 | 1 | 0 | |a Dependable computing |b 14th European workshop, EWDC 2013, Coimbra, Portugal, May 15 - 16, 2013 ; proceedings |c Marco Vieira ... (eds.) |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
300 | |a XI, 205 S. |b graph. Darst. |c 235 mm x 155 mm | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 7869 | |
650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Funktionssicherheit |0 (DE-588)4760707-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Computersicherheit |0 (DE-588)4274324-2 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Fehlererkennung |0 (DE-588)4133764-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Coimbra |2 gnd-content | |
689 | 0 | 0 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
689 | 0 | 1 | |a Computersicherheit |0 (DE-588)4274324-2 |D s |
689 | 0 | 2 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
689 | 0 | 3 | |a Fehlererkennung |0 (DE-588)4133764-5 |D s |
689 | 0 | 4 | |a Funktionssicherheit |0 (DE-588)4760707-5 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Vieira, Marco |e Sonstige |4 oth | |
711 | 2 | |a EWDC |n 14 |d 2013 |c Coimbra |j Sonstige |0 (DE-588)1036198731 |4 oth | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-38789-0 |
830 | 0 | |a Lecture notes in computer science |v 7869 |w (DE-604)BV000000607 |9 7869 | |
856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4327701&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026072978&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026072978 |
Datensatz im Suchindex
_version_ | 1820875463336132608 |
---|---|
adam_text |
TABLE OF CONTENTS
WIRELESS SENSOR NETWORKS
ENHANCING INTRUSION DETECTION IN WIRELESS SENSOR NETWORKS
THROUGH DECISION TREES 1
ALESSIA GAROFALO. CESARIO DI SARNO, AND VALERIO FORMICOLA
MIDDLEWARE SUPPORT FOR ADAPTIVE REAL-TIME APPLICATIONS IN WIRELESS
SENSOR NETWORKS 16
JOAO ALVES, ANTONIO CASIMIRO, AND LUIS MARQUES
CLOUD COMPUTING AND SERVICES
FORMAL ANALYSIS OF DYNAMIC DOMAIN ESTABLISHMENT PROTOCOL IN CLOUD
LOGGING SERVICE 24
WEI HU AND DONGYAO JI
MODEL-DRIVEN EVALUATION OF USER-PERCEIVED SERVICE AVAILABILITY 39
ANDREAS DITTRICH AND RAFAEL REZENDE
EXPLOITING SDN APPROACH TO TACKLE CLOUD COMPUTING SECURITY ISSUES
IN THE ATC SCENARIO 54
GABRIELLA CARROZZA, VITTORIO MANETTI, ANTONIO MAROTTA,
ROBERTO CANONICO, AND STEFANO AVALLONE
TESTING AND FAULT DETECTION
INTERCEPT: PROFILING WINDOWS NETWORK DEVICE DRIVERS 61
MANUEL MENDONGA AND NUNO NEVES
THE CHALLENGE OF DETECTION AND DIAGNOSIS OF FUGACIOUS HARDWARE
FAULTS IN VLSI DESIGNS 76
JAIME ESPINOSA, DAVID DE ANDRES, JUAN-CARLOS RUIZ, AND PEDRO GIL
GRAPHSEQ REVISITED: MORE EFFICIENT SEARCH FOR PATTERNS IN MOBILITY
TRACES 88
PIERRE ANDRE. NICOLAS RIVIERE, AND HELENE WAESELYNCK
FAULT INJECTION AND BENCHMARKING
ISSUES AND ONGOING WORK ON STATE-DRIVEN WORKLOAD GENERATION
FOR DISTRIBUTED SYSTEMS 96
ROBERTO NATELLA AND FABIO SCIPPACERCOLA
HTTP://D-NB.INFO/1034514873
X TABLE OF CONTENTS
TOWARDS BENCHMARKING OF FUNCTIONAL SAFETY IN THE AUTOMOTIVE
INDUSTRY ILL
MAFIJUL MD. ISLAM, BEHROOZ SANGCHOOLIE, FATEMEH AYATOLAHI,
DANIEL SKARIN, JONNY VINTER, FREDRIK TORNER, ANDREAS KACK,
MATTIAS NYBERG, EMILIA VILLANI, JOHAN HARALDSSON,
PATRIK ISAKSSON, AND JOHAN KARLSSON
FAULT INJECTION IN THE AUTOMOTIVE STANDARD ISO 26262: AN INITIAL
APPROACH 126
LUDOVIC PINTARD, JEAN-CHARLES FABRE, KARAMA KANOUN,
MICHEL LEEMAN, AND MATTHIEU ROY
DEPENDABLE AND SECURE COMPUTING
A GPS SPOOFING RESILIENT WAMS FOR SMART GRID 134
ALESSIA GAROFALO, CESARIO DI SARNO, LUIGI COPPOLINO, AND
SALVATORE D'ANTONIO
A DEPENDABLE ALTERNATIVE TO THE SPANNING TREE PROTOCOL 148
JOAO LOPES, SUSANA SARGENTO, AND ANDRE ZUQUETE
UNDERSTANDING (MIS)INFORMATION SPREADING FOR IMPROVING CORPORATE
NETWORK TRUSTWORTHINESS 165
ROBERTO BALDONI, SILVIA BONOMI, GIUSEPPE ANTONIO DI LUNA,
LUCA MONTANARI, AND MARA SORELLA
SOFTWARE COMPONENT REPLICATION FOR IMPROVED FAULT-TOLERANCE: CAN
MULTICORE PROCESSORS MAKE IT WORK? 173
JOAO SOARES, JOAO LOURENGO, AND NUNO PREGUIGA
FAST ABSTRACTS
GRIMACE: GENERIC METAMODEL FOR DOMAIN COMPONENT MODELLING . . . 181
RAHMA BOUAZIZ
IMPROVING THE TRANSFER OF SAFETY AND SECURITY COMPETENCES TO
INDUSTRY: THE RISKY APPROACH 185
JOAQUIN GRAEIA-MORAN, JUAN-CARLOS RUIZ,
JUAN-CARLOS BARAZA-CALVO, DAVID DE ANDRES, AND
PEDRO GIL
TOWARDS DEPENDABLE MEASUREMENTS IN COASTAL SENSORS NETWORKS 190
GONGALO JESUS, ANTONIO CASIMIRO, AND ANABELA OLIVEIRA
OPEN CHALLENGES IN THE RESILIENCE EVALUATION OF AD HOC NETWORKS 194
MIQUEL MARTINEZ, JESUS FRIGINAL, DAVID DE ANDRES, AND
JUAN-CARLOS RUIZ
TABLE OF CONTENTS XI
USING INTERLEAVING TO AVOID THE EFFECTS OF MULTIPLE ADJACENT FAULTS
IN ON-CHIP INTERCONNECTION LINES 198
LUIS-J. SAIZ-ADALID, PEDRO GIL, JOAQUIN GRACIA-MORDN, AND
JUAN- CARLOS BARAZA- CALVO
CSXCEPTION: FIRST STEPS TO PROVIDE FAULT INJECTION FOR THE
DEVELOPMENT OF SAFE SYSTEMS IN AUTOMOTIVE INDUSTRY 202
RICARDO BARBOSA, NUNO SILVA, AND JOAO MARIO CUNHA
AUTHOR INDEX 207 |
any_adam_object | 1 |
building | Verbundindex |
bvnumber | BV041096486 |
classification_rvk | SS 4800 |
ctrlnum | (OCoLC)876632659 (DE-599)DNB1034514873 |
dewey-full | 004.2 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 004 - Computer science |
dewey-raw | 004.2 |
dewey-search | 004.2 |
dewey-sort | 14.2 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041096486</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140305</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">130619s2013 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1034514873</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642387888</subfield><subfield code="9">3-642-38788-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642387883</subfield><subfield code="c">Pb. : EUR 49.22 (DE) (freier Pr.), EUR 50.60 (AT) (freier Pr.), sfr 61.50 (freier Pr.)</subfield><subfield code="9">978-3-642-38788-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642387883</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)876632659</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1034514873</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dependable computing</subfield><subfield code="b">14th European workshop, EWDC 2013, Coimbra, Portugal, May 15 - 16, 2013 ; proceedings</subfield><subfield code="c">Marco Vieira ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 205 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7869</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionssicherheit</subfield><subfield code="0">(DE-588)4760707-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlererkennung</subfield><subfield code="0">(DE-588)4133764-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Coimbra</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Fehlererkennung</subfield><subfield code="0">(DE-588)4133764-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Funktionssicherheit</subfield><subfield code="0">(DE-588)4760707-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vieira, Marco</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">EWDC</subfield><subfield code="n">14</subfield><subfield code="d">2013</subfield><subfield code="c">Coimbra</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1036198731</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-38789-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7869</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7869</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4327701&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026072978&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026072978</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2013 Coimbra gnd-content |
genre_facet | Konferenzschrift 2013 Coimbra |
id | DE-604.BV041096486 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:16:01Z |
institution | BVB |
institution_GND | (DE-588)1036198731 |
isbn | 3642387888 9783642387883 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026072978 |
oclc_num | 876632659 |
open_access_boolean | |
owner | DE-83 DE-11 DE-91G DE-BY-TUM |
owner_facet | DE-83 DE-11 DE-91G DE-BY-TUM |
physical | XI, 205 S. graph. Darst. 235 mm x 155 mm |
publishDate | 2013 |
publishDateSearch | 2013 |
publishDateSort | 2013 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Dependable computing 14th European workshop, EWDC 2013, Coimbra, Portugal, May 15 - 16, 2013 ; proceedings Marco Vieira ... (eds.) Berlin [u.a.] Springer 2013 XI, 205 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7869 Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Funktionssicherheit (DE-588)4760707-5 gnd rswk-swf Computersicherheit (DE-588)4274324-2 gnd rswk-swf Fehlererkennung (DE-588)4133764-5 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Coimbra gnd-content Zuverlässigkeit (DE-588)4059245-5 s Computersicherheit (DE-588)4274324-2 s Fehlertoleranz (DE-588)4123192-2 s Fehlererkennung (DE-588)4133764-5 s Funktionssicherheit (DE-588)4760707-5 s DE-604 Vieira, Marco Sonstige oth EWDC 14 2013 Coimbra Sonstige (DE-588)1036198731 oth Erscheint auch als Online-Ausgabe 978-3-642-38789-0 Lecture notes in computer science 7869 (DE-604)BV000000607 7869 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4327701&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026072978&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Dependable computing 14th European workshop, EWDC 2013, Coimbra, Portugal, May 15 - 16, 2013 ; proceedings Lecture notes in computer science Zuverlässigkeit (DE-588)4059245-5 gnd Funktionssicherheit (DE-588)4760707-5 gnd Computersicherheit (DE-588)4274324-2 gnd Fehlererkennung (DE-588)4133764-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
subject_GND | (DE-588)4059245-5 (DE-588)4760707-5 (DE-588)4274324-2 (DE-588)4133764-5 (DE-588)4123192-2 (DE-588)1071861417 |
title | Dependable computing 14th European workshop, EWDC 2013, Coimbra, Portugal, May 15 - 16, 2013 ; proceedings |
title_auth | Dependable computing 14th European workshop, EWDC 2013, Coimbra, Portugal, May 15 - 16, 2013 ; proceedings |
title_exact_search | Dependable computing 14th European workshop, EWDC 2013, Coimbra, Portugal, May 15 - 16, 2013 ; proceedings |
title_full | Dependable computing 14th European workshop, EWDC 2013, Coimbra, Portugal, May 15 - 16, 2013 ; proceedings Marco Vieira ... (eds.) |
title_fullStr | Dependable computing 14th European workshop, EWDC 2013, Coimbra, Portugal, May 15 - 16, 2013 ; proceedings Marco Vieira ... (eds.) |
title_full_unstemmed | Dependable computing 14th European workshop, EWDC 2013, Coimbra, Portugal, May 15 - 16, 2013 ; proceedings Marco Vieira ... (eds.) |
title_short | Dependable computing |
title_sort | dependable computing 14th european workshop ewdc 2013 coimbra portugal may 15 16 2013 proceedings |
title_sub | 14th European workshop, EWDC 2013, Coimbra, Portugal, May 15 - 16, 2013 ; proceedings |
topic | Zuverlässigkeit (DE-588)4059245-5 gnd Funktionssicherheit (DE-588)4760707-5 gnd Computersicherheit (DE-588)4274324-2 gnd Fehlererkennung (DE-588)4133764-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
topic_facet | Zuverlässigkeit Funktionssicherheit Computersicherheit Fehlererkennung Fehlertoleranz Konferenzschrift 2013 Coimbra |
url | http://deposit.dnb.de/cgi-bin/dokserv?id=4327701&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026072978&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT vieiramarco dependablecomputing14theuropeanworkshopewdc2013coimbraportugalmay15162013proceedings AT ewdccoimbra dependablecomputing14theuropeanworkshopewdc2013coimbraportugalmay15162013proceedings |