The Program for PRDC 2005
December 11
9:00 -19:00
Registration
19:00-20:15
Welcome Reception
December 12
7:30-8:30
Registration
8:30-9:00
Welcoming Address
9:00-10:00
Keynote Address—“Dependable Computing in the Context of Mobility, Nomadicity, Ubiquity, and
Pervasiveness ”
Prof. W. Kent Fuchs
10:00-11:00
Dean of Engineering, Cornell University
Keynote Address—“Why do software projects fail?: Reasons and a solution using a Bayesian classifier to
predict potential risk”
Prof. Tohru Kikuno Osaka Univ., Japan
11:00-12:00
Tour to Yuelu academy
12:00-14:00
Lunch
14:00-16:00
Session 1A
Session 1B
Distributed Protocols and Systems
Software Reliability and Testing
Paper title: Sigma: A Fault-Tolerant Mutual
Paper title: Simultaneous Simulation of Alternate
Exclusion Algorithm in Dynamic Distributed
System Configurations
Systems Subject to Process Crashes and Memory
Authors: Shravan Gaonkar, William H Sanders
Losses
Paper title: Availability Assessment of
Authors: Wei Chen, Shi-Ding Lin, Qiao Lian,
SunOS/Solaris Unix Systems based on Syslogd and
Zheng Zhang
wtmpx log files: A case study
Paper title: Intersecting Sets: a Basic Abstraction
Authors: Cristina Simache, Mohamed Kaaniche
for Asynchronous Agreement Problems
Paper title: On-chip Debugging-based Fault
Authors: Roy Friedman, Achour Mostefaoui,
Emulation for Robustness Evaluation of Embedded
Michel Raynal
Software Components
Paper title: Decision Optimal Early-Stopping k-set
Authors: J Pardo, JC Ruiz, JC Campelo, P Gil
Agreement in Synchronous Systems Prone to Send
Paper title: Bayesian Networks Modeling for
Omission Failures
Software Inspection Effectiveness
Authors: Philippe Raipin Parvedy, Michel Raynal,
Authors: YP Wu, QP Hu, KL Poh, SH Ng, M Xie
Corentin Travers
Paper title: Privacy-Preserving Bayesian Network
Structure Learning On Distributed Heterogeneous
Data
Authors: Wang Hongmei, Zhao Zheng, Sun Zhiwei
16:00-16:15
Coffee Break
16:15-17:45
Session 2A
Session 2B
Fault Tolerance (1)
Validation and Modeling
Paper title: Application-Based Metrics for
Paper title: High-Order Syndrome Testing for VLSI
Strategic Placement of Detectors
Authors: Shiyi Xu
Authors: Karthik Pattabiraman, Zbigniew
Paper title: A New Test Method for Core-based System
Kalbarczyk , Ravishankar K. Iyer
Authors: ZHANG Ling , KUANG Jishun
Paper title: A Hardware Approach to Concurrent
Paper title: A Failure-Aware Model for Estimating and
Error Detection Capability Enhancement in
Analyzing the Efficiency of Web Services
COTS Processors
Compositions
Authors: Amir Rajabzadeh, Seyed Ghassem
Authors: Neila BEN LAKHAL, Takashi KOBAYASHI,
Moremadi
Haruo YOKOTA
Paper title: Optimal Fault-Tolerant Routing
Scheme For Generalized Hypercube
Authors: Shaohuai Tian, Yingping Lu, Dafang
Zhang
18:30-21:00
Conference Banquet
December 13
8:00-9:00
9:00-10:30
Registration
Session 3A
Session 3B
Fault Tolerance (2)
Checkpointing and Recovery
Paper title: Code Design and Decoding
Paper title: On the Fully-Informed
Methods for Burst Error Locating Codes
Communication-Induced Checkpointing Protocol
Authors: Masato Kitakami, Junpei Sano
Authors: Jichiang Tsai, Jenn-Wei Lin
Paper title: An Evaluation of the Virtual
Paper title: Optimal Choice of Checkpointing
Router Redundancy Protocol Extension with
Interval for High Availability
Load Balancing (corrected)
Authors: Diana Szentivanyi, Simin Nadjm-Tehrani,
Authors: Jen-Hao Kuo, Siong-Ui Te,
John M. Noble
Pang-Ting Liao, Chun-Ying Huang, Pan-Lung
Paper title: Improving Schemes of Index-Based
Tsai, Chin-Laung Lei, Sy-Yen Kuo, Yennun
Checkpointing
Huang, Zsehong Tsai
Authors: Yuan-sheng Luo, Yinghua Min, Dafang
Paper title: Formal Development of Software
Zhang
for Tolerating Transient Faults
Authors: Dubravka Ilic, Elena Troubitsyna
10:30-10:45
Coffee Break
10:45-12:15
Session 4A
Session 4B
High-Performance Systems
Security
Paper title: Improving SRT Performance via
Paper title: Proxy Cryptography for Security
Unified Fetch and Slack Decode
Inter-domain Information Exchange
Authors: Hua Yang, Gang Cui, XiaoZong
Authors: Shuanghe Peng, Zhen Han, Changxiang
Yang
Shen
Paper title: Compression/Scan Co-Design to
Paper title: Anomaly Detection with High Deviations
Reduce Test Data Volume, Scan-in Power
for System Security Based on Call Trace
Dissipation and Test Application Time
Authors: Peng Xinguang, Ren Kaifeng
Authors: Yu Hu, Yinhe Han, Xiaowei Li
Paper title: A Multi-Faceted Approach towards
Paper title: Partitioned Cache Shadowing for
Spam-Resistible Mail
Deep Sub-Micron (DSM) Regime
Authors: Ming-Wei Wu, Yennun Huang, Ing-Yi Chen,
Authors: Heng Xu, Arun Somani
Sy-Yen Kuo
12:15-14:00
Lunch
14:00-15:30
Session 5A
Session 5B
Distributed Systems Modeling(1)
Mobile Systems and Networks (1)
Paper title: A Virtual Modeling and a Fast
Paper title: A Reliable Routing Algorithm Based on
Algorithm for Grid Service Reliability
Fuzzy Applicability of F sets in MANET
Authors: Yuan-Shun Dai, Xiao-Long Wang,
Authors: HU Rong, HU Zhigang, MA Hao
Min Xie
Paper title: An Efficient Approach to Tolerating
Paper title: Research on Architecture of COTS
Route Errors in Mobile Ad Hoc Networks
Components Based Generic Fault-Tolerant
Authors: Jenn-Wei Lin, Jichiang Tsai, Chao-Ying
Computer
Chiu
Authors: Ou Zhonghong, Yuan Youguang
Paper title: A Novel Approach to Kernel
Paper title: Bi-Objectives Model for
Construction of China Bridge CA
Test-Suite Reduction of Modified
Authors: Leng Jian, Xie Dong-Qin
Condition/Decision Coverage
Authors: Pan Lili, Zou Beiji
15:30-15:45
Coffee Break
15:45-17:45
Session 6A
Session 6B
Practical Experience Reports
Fault Tolerance (3)
Paper title: Optimizing Service Strategy for
Paper title: A Novel R^2-FLC Dynamic Buffer Size
Systems with Deferred Repair
Tuner to Support Time-Critical Applications over the
Authors: Hairong Sun, Dong Tang, Robert
Internet by Improving Logical Channel Fault
Wood
Tolerance to Shorten Roundtrip Time
Paper title: Research on the Trust
Authors: Wilfred W.K. Lin, Allan K.Y. Wong,
Enhancement of General-purpose Computer
Tharam S. Dillon
Authors: Jiangchun Ren, Kui Dai, Zhiying
Paper title: Design of Defect Tolerant Wallace
Wang
Multiplier
Paper title: Mining Alarm Database of
Authors: Kazuteru NAMBA, Hideo ITO
Telecommunication Network for Alarm
Paper title: Resilient State Machine Replication
Association Rules
Authors: Paulo Sousa, Nuno Ferreia Neves, Paulo
Authors: Yangyang Wu, Shuguang Du, Wei
Versimo
Luo
Paper title: Contribution of Controller Area
Paper title: On Automating Failure Mode
Networks Controllers to Masquerade Failures
Analysis and Enhancing its Integrity
Authors: Hassan Salmani, Seyed-Ghassem Miremadi
Authors: Kam S. Tso, Ann T. Tai, Savio N.
Chau, Leon Alkalai
December 14
8:00-9:00
Registration
9:00-10:30
Session 7A
Session 7B
Mobile Systems and Networks (2)
Fault Tolerance (4)
Paper title: Local Repair Mechanisms for
Paper title: Server protection through dynamic
On-Demand Routing in Mobile Ad hoc
patching
Networks
Authors: Nicolas Loriant, Marc Sura-Devillechaise,
Authors: Michael Pan, Sheng-De Wang
Jean-Marc Menaud
Paper title: Centralized Surveillance of
Paper title: Detection of malicious transactions in
Unused Address Space by using Virtual
DBMS
Networks
Authors: Marco Vieira, Henrique Madeira
Authors: Takashi Minohara, Satoshi
Paper title: Push/Pull-based Adaptive Fault
Ishikawa, Masahiro Amano
Monitoring for CORBA-based Ubiquitous
Paper title: A Distributed Location Service for
Computing Systems
Reducing Query Failures in Geographic Ad
Authors: Su Myeong Lee, Hee Yong Youn
Hoc Routing
Authors: Chih-Hsun Chou, Kuo-Feng Ssu
10:30-10:45
Coffee Break
10:45-12:30
Session 8A
Session 8B
Distributed Systems Modeling(2)
Code & Language
Paper title: Research on Control Flags based
Paper title: Table-Driven Code Optimizer
Weighted Authentication Trustworthiness
Authors: Sung-Lim Yun, Yun-Sik Son, Se-Man Oh
Model
Paper title: Neural Network based on Dynamic
Authors: Wang Lunwei, He Lianyue, Liao
Tunneling Technique for Weather Forecast
Xiangke, Wang Huaimin
Authors: Zheng Qin, Xiaofeng Liao, Jinmin Yang
Paper title: Towards Push-of-a-Button
Paper title: FPGA Authentication Header (AH)
Stability Verification for Discrete-time Hybrid
Implementation for Internet Appliances
Systems
Authors: Chang-Chun Cheng, Wei-Ming Chen,
Authors: Henning Burchardt, Jens
Han-Chieh Chao
Oehlerking, Oliver Theel
Paper title: Development of Dependable Real-Time
Paper title: Reliability Prediction and
Systems with Zerberus
Assessment of Fielded Software Based on
Authors: Christian Buckl, Alois Knoll, Gerhard
Multiple Change-Point Models
Schrott
Authors: Chin-Yu Huang, Chu-Ti Lin
Paper title: A Note on a Simple Equivalence
between Round-based Synchronous
Authors: Michel Raynal, Matthieu Roy
12:30-14:30
Lunch