A Process Membership Service for Active Safety Systems Carl Bergenhem, Johan Karlsson
The Eventual Leadership in Dynamic Mobile Networking Environments Jiannong Cao, Michel Raynal, Corentin Travers, Weigang Wu
Information Security Fortification by Ontological Mapping of the ISO/IEC 27001 Standard Stefan Fenz, Gernot Goluch, Andreas Ekelhart, Edgar Weippl
Randomized Distributed Algorithm for Peer-to-Peer Data Replication in Wireless Ad Hoc Networks Hong-Zu Chou, Szu-Chi Wang, and Sy-Yen Kuo
Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time Christian Buckl, Matthias Regensburger, Alois Knoll, Gerhard Schrott
Quantifying Software Maintainability Based on a Fault-Detection/Correction Model K. Shibata, K. Rinsaka, T. Dohi and H. Okamura
A New Concurrent Detection of Control Flow Errors Based on DCT Technique Hung-Chuan Lai, Shi-Jinn Horng, Yong-Yuan Chen
An Automatic Real-Time Analysis of the Time to Reach Consensus Tatsuhiro Tsuchiya, André Schiper
Resilient Intrusion Tolerance through Proactive and Reactive Recovery Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antonio Casimiro, Paulo Verissimo
Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices Ludovic Courtès, Ossama Hamouda, Mohamed Kaâniche, Marc-Olivier Killijian, David Powell
Benchmarking the Robustness of Web-services Marco Vieira, Nuno Laranjeiro, Henrique Madeira
Error Recovery Method for Multiple-Dictionary Compression Method Masato Kitakami and Yuta Noguchi
Testing and comparing web vulnerability scanning tools for SQL injection and XSS attacks José Fonseca, Marco Vieira, and Henrique Madeira
An accurate Model of Software Reliability Shiyi Xu
Improving Dependability using Shared Supplementary Memory and Opportunistic Micro Rejuvenation in Multi-tasking Embedded Systems Vinaitheerthan Sundaram, Sandip HomChaudhuri, Sachin Garg, Chandra Kintala
MAPMon: A Host-Based Malware Detection Tool Shih-Yao Dai,Sy-Yen Kuo
Fault Detection System Activated by Failure Information Masato Sakai, Hiroya Matsuba, and Yutaka Ishikawa
A Fault-Tolerant Bloom Filter for Deep Packet Inspection Yoon-Hwa Choi and Myeong-Hyeon Lee
RTG-L: Dependably Scheduling Real-Time Distributable Threads in Large-Scale, Unreliable Networks Kai Han, Binoy Ravindran, E.D.Jensen
Examining Web-based Spyware Invasion with Stateful Behavior Monitoring Ming-Wei Wu, Sy-Yen Kuo
Boosting Database Replication Scalability through Partial Replication and 1-Copy-Snapshot-Isolation Damian Serrano, Marta Patiño-Martínez, Ricardo Jiménez-Peris, Bettina Kemme
Self-Adjusting Indexing Techniques for Communication-Induced Checkpointing Protocols Jichiang Tsai, Chia-Yang Chen, Jenn-Wei Lin, and Ming-Fa Hu
Fault Diagnosis for Time Synchronization in Sensor Networks Ke-Ting Chen, Kuo-Feng Ssu, and Wei-Tong Wang
Overlay Network Topology Reconfiguration in Byzantine Settings Rafael R. Obelheiro and Joni da Silva Fraga
Fault-Tolerant Topology Control with Adjustable Transmission Ranges in Wireless Sensor Networks Chiu-Wen Chen and Kuo-Feng Ssu
Implementation of Highly Available OSPF Router on ATCA Chia-Tai Tsai, Rong-Hong Jan, Chien Chen, Fu-Wen Chen, Chia-Yuan Huang
Energy Saving Based on CPU Voltage Scaling and Hardware Software Partitioning Chia Hsiang Hsu, Cheng-Juei Yu and Sheng-De Wang
Combinatorial Constructions of Multi-Erasure-Correcting Codes with Independent Parity Symbols for Storage Systems Gang Wang, Sheng Lin, Xiaoguang Liu, Guangjun Xie and Jing Liu
A hybrid redundancy approach for data availability in structured P2P network systems Guangping Xu
A Fast Failure Detection And Failover Scheme For SIP High Availability Networks Wei-Ming Wu, Kuochen Wang, Rong-Hong Jan, Chia-Yuan Huang
End-system tools for enhancing email reliability Tim Moors and Patrick Chu
Applied Self-Healing: Self-Aware Service Request Optimization for Gateway Stability in Ubiquitous Zone-based Networks Junaid Ahsenali Chaudhry
Predicting Defective Software Components from Code Complexity Measures Hongyu Zhang, Xiuzhen Zhang and Ming Gu
Pseudonymization for securing e-health applications Bernhard Riedl, Veronika Grascher, Thomas Neubauer
A Flexible Membership Protocol for Distributed Real-Time Systems Raul Barbosa, Antonio Ferreira, and Johan Karlsson
Assessment of Message Missing Failures in FlexRay-Based Networks Vahid Lari, Mehdi Dehbashi, Seyed Ghasem Miremadi, Navid Farazmand
On the Effects of Finite Memory on Intrusion-Tolerant Systems Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung and Paulo Verissimo
Heterogeneous Functional Units for High Speed Fault-tolerant Execution Stage Yousuke Nakamura, Kei Hiraki
A Proposal of New Dependable Database Middleware with Consistency and Concurrency Control Takeshi Mishima, Hiroshi Nakamura
Model Based Development of Safety-Critical Systems Using Template Based Code Generation Matthias Regensburger,Christian Buckl,Alois Knoll,Gerhard Schrott
Towards Byzantine Fault Tolerance in Many-core Computing Platforms Casey M. Jeffery and Renato J.O. Figueiredo
Power-Performance Trade-off of a Dependable Multicore Processor Toshinori Sato and Toshimasa Funaki
Neural-Network Based Test Case Generation Using Genetic Algorithm Ruilian Zhao,Shanshan Lv
A Low-Power and SEU-Tolerant Switch Architecture for Network on Chips Ahmad Patooghy, Mahdi Fazeli, Seyed Ghasem Miremadi
Regression Testing based on UML Design Models Atifah Ali, Aamer Nadeem, Zohaib Zafar, Mohammad Usman
Storing Checkpoints to Multiple Volatile Storage Locations Simultaneously using at-least-k and the GENESIS Checkpointing Facility v2.0 Andrew Maloney and Andrzej Goscinski
A Measurement Tool of End-User Computing Capability in Competency Perspective Chui Young Yoon and Keon Myung Lee
An Efficient Client-to-Client Password-Authenticated Key Exchange Resilient to Server Compromise Zhu Hongfeng, Liu Tianhua, Liu Jie, Chang Guiran