Evaluating repair strategies for a water-treatment facility using arcade (English)
- New search for: Haverkort, B.R.
- New search for: Kuntz, M.
- New search for: Remke, A.
- New search for: Roolvink, S.
- New search for: Stoelinga, M.I.A.
- New search for: Haverkort, B.R.
- New search for: Kuntz, M.
- New search for: Remke, A.
- New search for: Roolvink, S.
- New search for: Stoelinga, M.I.A.
In:
DSN, IEEE/IFIP International Conference on Dependable Systems & Networks, 2010
;
419-424
;
2010
-
ISBN:
- Conference paper / Print
-
Title:Evaluating repair strategies for a water-treatment facility using arcade
-
Contributors:Haverkort, B.R. ( author ) / Kuntz, M. ( author ) / Remke, A. ( author ) / Roolvink, S. ( author ) / Stoelinga, M.I.A. ( author )
-
Published in:
-
Publisher:
- New search for: IEEE Operations Center
-
Place of publication:Piscataway
-
Publication date:2010
-
Size:6 Seiten, 12 Quellen
-
ISBN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Scalable RFID systems: a privacy-preserving protocol with constant-time identificationAlomair, B. / Clark, A. / Cuellar, J. / Poovendran, R. et al. | 2010
- 41
-
Reliable MLC NAND flash memories based on nonlinear t-error-correcting codesWang, Zhen / Karpovsky, M. / Joshi, A. et al. | 2010
- 91
-
Programming support and adaptive checkpointing for high-throughput data services with log-based recoveryZhou, Jingyu / Zhang, Caijie / Tang, Hong / Wu, Jiesheng / Yang, Tao et al. | 2010
- 131
-
A Fast and Accurate Multi-Cycle Soft Error Rate Estimation Approach to Resilient Embedded Systems DesignFazeli, M. / Miremadi, S.G. / Asadi, H. / Ahmadian, S.N. et al. | 2010
- 161
-
A numerical optimization-based methodology for application robustification: Transforming applications for error toleranceSloan, J. / Kesler, D. / Kumar, R. / Rahimi, A. et al. | 2010
- 271
-
iProve: A Scalable Technique for Consumer-Verifiable Software GuaranteesAndrica, S. / Jula, H. / Candea, G. et al. | 2010
- 291
-
Detection of Botnets Using Combined Host- and Network-Level InformationZeng, Yuanyuan / Hu, Xin / Shin, K.G. et al. | 2010
- 333
-
Improving privacy and lifetime of PCM-based main memoryKong, Jingfei / Zhou, Huiyang et al. | 2010
- 383
-
A passive approach to wireless device fingerprintingGao, Ke / Corbett, C. / Beyah, R. et al. | 2010
- 403
-
Combined performance and risk analysis for border management applicationsSacanamboy, M. / Cukic, B. et al. | 2010
- 413
-
Experimental Validation of a Fault Tolerant Microcomputer System against Intermittent FaultsGracia-Moran, J. / Gil-Tomas, D. / Saiz-Adalid, L.J. / Baraza, J.C. / Gil-Vicente, P.J. et al. | 2010
- 419
-
Evaluating repair strategies for a water-treatment facility using arcadeHaverkort, B.R. / Kuntz, M. / Remke, A. / Roolvink, S. / Stoelinga, M.I.A. et al. | 2010
- 425
-
Application of a fault injection based dependability assessment process to a commercial safety critical nuclear reactor protection systemElks, C.R. / Reynolds, M. / George, N. / Miklo, M. / Bingham, S. / Williams, R. / Johnson, B.W. / Waterman, M. / Dion, J. et al. | 2010
- 467
-
Statistical guarantees of performance for MIMO designsKumar, Jayanand Asok / Vasudevan, Shobha et al. | 2010
- 507
-
Adaptive on-line software aging prediction based on machine learningAlonso, J. / Torres, J. / Berral, J.L. / Gavalda, R. et al. | 2010
- 527
-
Ring Paxos: a high-throughput atomic broadcast protocolMarandi, Parisa Jalili / Primi, M. / Schiper, N. / Pedone, F. et al. | 2010
- 547
-
Diversity-inspired Clustering for Self-Healing MANETs: Motivation, Protocol, and Performability EvaluationTai, A.T. / Tso, K.S. / Sanders, W.H. et al. | 2010
- c1
-
[Front cover]| 2010
- i
-
DSN 2010 sponsors| 2010
- ii
-
Table of contents| 2010
- ix
-
DCCS 2010 reviewers| 2010
- vi
-
DSN 2010 organizers| 2010
- vii
-
DSN 2010 Steering Committee| 2010
- viii
-
DCCS 2010 Program Committee| 2010
- x
-
PDS 2010 Program Committee| 2010
- xi
-
PDS 2010 reviewers| 2010
- xii
-
DSN 2010 subCommittees| 2010
- xiv
-
DSN 2010 [Copyright notice]| 2010
- xliv
-
DSN 2010 workshops| 2010
- xv
-
DSN 2010 trademark information| 2010
- xvi
-
DSN 2010 plenary sessions| 2010
- xvii
-
“Availability in the face of evolving internet threats”McPherson, Danny et al. | 2010
- xx
-
DCCS 2010 sessions| 2010
- xxxiv
-
PDS 2010 sessions| 2010