Corpus ID: 53833099

Dependable computing systems : paradigms, performance issues, and applications

  title={Dependable computing systems : paradigms, performance issues, and applications},
  author={H. Diab and Albert Y. Zomaya},
  • H. Diab, Albert Y. Zomaya
  • Published 2005
  • Computer Science
  • Preface. Contributors. Acknowledgments. PART I: MODELS AND PARADIGMS. 1. Formal Verification Techniques for Digital Systems (Masahiro Fujita, Satoshi Komatsu, and Hiroshi Saito). 2. Tolerating Arbitrary Failures With State Machine Replication (Assia Doudou, BenoA E t Garbinato, and Rachid Guerraoui). 3. Model-Based Evaluation as a Support to the Design of Dependable Systems (Andrea Bondavalli, Silvano Chiaradonna, and Felicita di Giandomenico). 4. Voting: A Paradigm for Adjudication and Data… CONTINUE READING
    36 Citations
    Towards context-aware adaptive fault tolerance in SOA applications
    • 26
    A Workflow-Based Non-intrusive Approach for Enhancing the Survivability of Critical Infrastructures in Cyber Environment
    • Kun Xiao, N. Chen, +4 authors Michael Macalik
    • Computer Science, Engineering
    • Third International Workshop on Software Engineering for Secure Systems (SESS'07: ICSE Workshops 2007)
    • 2007
    • 28
    Diversity and fault avoidance for dependable replication systems
    • 4
    Injecting Inconsistent Values Caused by Interaction Faults for Experimental Dependability Evaluation
    • 2
    • PDF
    A Framework for Implementing Asynchronous Replication Scheme in Utility-Based Computing Environment
    • 1
    • PDF
    Retrofitting Cyber Physical Systems for Survivability through External Coordination
    • Kun Xiao, Shangping Ren, K. Kwiat
    • Computer Science
    • Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008)
    • 2008
    • 13
    • PDF