:facetid:toc:\"db/conf/prdc/prdc2005.bht\"OK:facetid:toc:db/conf/prdc/prdc2005.bhtChristian BucklAlois C. KnollGerhard SchrottDevelopment of Dependable Real-Time Systems with Zerberus.PRDC404-4082005Conference and Workshop Papersclosedconf/prdc/BucklKS0510.1109/PRDC.2005.32https://doi.org/10.1109/PRDC.2005.32https://dblp.org/rec/conf/prdc/BucklKS05URL#5940596Henning BurchardtJens OehlerkingOliver E. TheelTowards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems.PRDC374-3782005Conference and Workshop Papersclosedconf/prdc/BurchardtOT0510.1109/PRDC.2005.59https://doi.org/10.1109/PRDC.2005.59https://dblp.org/rec/conf/prdc/BurchardtOT05URL#5940597Wei Chen 0013Shiding LinQiao LianZheng Zhang 0001Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses.PRDC7-142005Conference and Workshop Papersclosedconf/prdc/ChenLLZ0510.1109/PRDC.2005.57https://doi.org/10.1109/PRDC.2005.57https://dblp.org/rec/conf/prdc/ChenLLZ05URL#5940598Chang-Chun ChengWei-Ming ChenHan-Chieh ChaoYao-Po WangFPGA Authentication Header (AH) Implementation for Internet Appliances.PRDC398-4032005Conference and Workshop Papersclosedconf/prdc/ChengCCW0510.1109/PRDC.2005.35https://doi.org/10.1109/PRDC.2005.35https://dblp.org/rec/conf/prdc/ChengCCW05URL#5940599Chih-Hsun ChouKuo-Feng SsuHewijin Christine JiauA Distributed Location Service for Reducing Query Failures in Geographic Ad Hoc Routing.PRDC333-3422005Conference and Workshop Papersclosedconf/prdc/ChouSJ0510.1109/PRDC.2005.5https://doi.org/10.1109/PRDC.2005.5https://dblp.org/rec/conf/prdc/ChouSJ05URL#5940600Yuan-Shun DaiXiaolong Wang 0003Min Xie 0001A Virtual Modeling and a Fast Algorithm for Grid Service Reliability.PRDC219-2262005Conference and Workshop Papersclosedconf/prdc/DaiWX0510.1109/PRDC.2005.14https://doi.org/10.1109/PRDC.2005.14https://dblp.org/rec/conf/prdc/DaiWX05URL#5940601Roy FriedmanAchour MostéfaouiMichel RaynalIntersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems.PRDC15-222005Conference and Workshop Papersclosedconf/prdc/FriedmanMR0510.1109/PRDC.2005.37https://doi.org/10.1109/PRDC.2005.37https://dblp.org/rec/conf/prdc/FriedmanMR05URL#5940602W. Kent FuchsDependable Computing in the Context of Mobility, Nomadicity, Ubiquity, and Pervasiveness.PRDC32005Conference and Workshop Papersclosedconf/prdc/Fuchs0510.1109/PRDC.2005.29https://doi.org/10.1109/PRDC.2005.29https://dblp.org/rec/conf/prdc/Fuchs05URL#5940603Shravan GaonkarWilliam H. SandersSimultaneous Simulation of Alternative System Configurations.PRDC41-482005Conference and Workshop Papersclosedconf/prdc/GaonkarS0510.1109/PRDC.2005.58https://doi.org/10.1109/PRDC.2005.58https://dblp.org/rec/conf/prdc/GaonkarS05URL#5940604Rong HuZhigang HuHao MaA Reliable Routing Algorithm Based on Fuzzy Applicability of F sets in MANET.PRDC245-2492005Conference and Workshop Papersclosedconf/prdc/HuHM0510.1109/PRDC.2005.13https://doi.org/10.1109/PRDC.2005.13https://dblp.org/rec/conf/prdc/HuHM05URL#5940605Yu Hu 0001Xiaowei Li 0001Huawei Li 0001Xiaoqing WenCompression/Scan Co-Design for Reducing Test Data Volume, Scan-in Power Dissipation and Test Application Time.PRDC175-1822005Conference and Workshop Papersclosedconf/prdc/HuLLW0510.1109/PRDC.2005.26https://doi.org/10.1109/PRDC.2005.26https://dblp.org/rec/conf/prdc/HuLLW05URL#5940606Chin-Yu HuangChu-Ti LinReliability Prediction and Assessment of Fielded Software Based on Multiple Change-Point Models.PRDC379-3862005Conference and Workshop Papersclosedconf/prdc/HuangL0510.1109/PRDC.2005.52https://doi.org/10.1109/PRDC.2005.52https://dblp.org/rec/conf/prdc/HuangL05URL#5940607Dubravka IlicElena TroubitsynaFormal Development of Software for Tolerating Transient Faults.PRDC140-1502005Conference and Workshop Papersclosedconf/prdc/IlicT0510.1109/PRDC.2005.34https://doi.org/10.1109/PRDC.2005.34https://dblp.org/rec/conf/prdc/IlicT05URL#5940608Tohru KikunoWhy Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk.PRDC42005Conference and Workshop Papersclosedconf/prdc/Kikuno0510.1109/PRDC.2005.61https://doi.org/10.1109/PRDC.2005.61https://dblp.org/rec/conf/prdc/Kikuno05URL#5940609Masato KitakamiJunpei SanoCode Design and Decoding Methods for Burst Error Locating Codes.PRDC125-1322005Conference and Workshop Papersclosedconf/prdc/KitakamiS0510.1109/PRDC.2005.24https://doi.org/10.1109/PRDC.2005.24https://dblp.org/rec/conf/prdc/KitakamiS05URL#5940610Jen-Hao KuoSiong-Ui TePang-Ting LiaoChun-Ying HuangPan-Lung TsaiChin-Laung LeiSy-Yen KuoYennun HuangZsehong TsaiAn Evaluation of the Virtual Router Redundancy Protocol Extension with Load Balancing.PRDC133-1392005Conference and Workshop Papersclosedconf/prdc/KuoTLHTLKHT0510.1109/PRDC.2005.16https://doi.org/10.1109/PRDC.2005.16https://dblp.org/rec/conf/prdc/KuoTLHTLKHT05URL#5940611Neila Ben LakhalTakashi Kobayashi 0001Haruo YokotaA Failure-Aware Model for Estimating and Analyzing the Efficiency of Web Services Compositions.PRDC114-1242005Conference and Workshop Papersclosedconf/prdc/LakhalKY0510.1109/PRDC.2005.6https://doi.org/10.1109/PRDC.2005.6https://dblp.org/rec/conf/prdc/LakhalKY05URL#5940612Su Myeong LeeHee Yong YounDynamic Window-based Adaptive Fault Monitoring for Ubiquitous Computing Systems.PRDC358-3682005Conference and Workshop Papersclosedconf/prdc/LeeY0510.1109/PRDC.2005.33https://doi.org/10.1109/PRDC.2005.33https://dblp.org/rec/conf/prdc/LeeY05URL#5940613Jian LengDongQin XieA Novel Approach to Kernel Construction of China Bridge CA.PRDC258-2682005Conference and Workshop Papersclosedconf/prdc/LengX0510.1109/PRDC.2005.11https://doi.org/10.1109/PRDC.2005.11https://dblp.org/rec/conf/prdc/LengX05URL#5940614Jenn-Wei LinJichiang TsaiChao-Ying ChiuAn Efficient Approach to Tolerating Route Errors in Mobile Ad Hoc Networks.PRDC250-2572005Conference and Workshop Papersclosedconf/prdc/LinTC0510.1109/PRDC.2005.15https://doi.org/10.1109/PRDC.2005.15https://dblp.org/rec/conf/prdc/LinTC05URL#5940615Wilfred W. K. LinAllan K. Y. WongTharam S. DillonA Novel R2-FLC Dynamic Buffer Size Tuner to Support Time-Critical Applications over the Internet by Improving Logical Channel Fault Tolerance to Shorten Roundtrip Time.PRDC295-2992005Conference and Workshop Papersclosedconf/prdc/LinWD0510.1109/PRDC.2005.12https://doi.org/10.1109/PRDC.2005.12https://dblp.org/rec/conf/prdc/LinWD05URL#5940616Ling ZhangJishun KuangA New BIST Solution for System-on-Chip.PRDC109-1132005Conference and Workshop Papersclosedconf/prdc/LingJ0510.1109/PRDC.2005.9https://doi.org/10.1109/PRDC.2005.9https://dblp.org/rec/conf/prdc/LingJ05URL#5940617Nicolas LoriantMarc Ségura-DevillechaiseJean-Marc MenaudServer Protection through Dynamic Patching.PRDC343-3492005Conference and Workshop Papersclosedconf/prdc/LoriantSM0510.1109/PRDC.2005.56https://doi.org/10.1109/PRDC.2005.56https://dblp.org/rec/conf/prdc/LoriantSM05URL#5940618Yuan-sheng LuoDafang ZhangYinghua MinAn Improved Scheme of Index-Based Checkpointing.PRDC167-1742005Conference and Workshop Papersclosedconf/prdc/LuoZM0510.1109/PRDC.2005.17https://doi.org/10.1109/PRDC.2005.17https://dblp.org/rec/conf/prdc/LuoZM05URL#5940619Takashi MinoharaSatoshi IshikawaMasahiro AmanoCentralized Surveillance of Unused Address Space by using Virtual Networks.PRDC325-3322005Conference and Workshop Papersclosedconf/prdc/MinoharaIA0510.1109/PRDC.2005.23https://doi.org/10.1109/PRDC.2005.23https://dblp.org/rec/conf/prdc/MinoharaIA05URL#5940620Kazuteru NambaHideo ItoDesign of Defect Tolerant Wallace Multiplier.PRDC300-3042005Conference and Workshop Papersclosedconf/prdc/NambaI0510.1109/PRDC.2005.30https://doi.org/10.1109/PRDC.2005.30https://dblp.org/rec/conf/prdc/NambaI05URL#5940621Zhonghong OuYouguang YuanXiaoyong ZhaoResearch on Architecture and Design Principles of COTS Components Based Generic Fault-Tolerant Computer.PRDC227-2342005Conference and Workshop Papersclosedconf/prdc/OuYZ0510.1109/PRDC.2005.53https://doi.org/10.1109/PRDC.2005.53https://dblp.org/rec/conf/prdc/OuYZ05URL#5940622Michael PanSheng-Yan ChuangSheng-De WangLocal Repair Mechanisms for On-Demand Routing in Mobile Ad hoc Networks.PRDC317-3242005Conference and Workshop Papersclosedconf/prdc/PanCW0510.1109/PRDC.2005.38https://doi.org/10.1109/PRDC.2005.38https://dblp.org/rec/conf/prdc/PanCW05URL#5940623Lili Pan 0002Junyi LiBeiji ZouHao ChenBi-Objective Model for Test-Suite Reduction Based on Modified Condition/Decision Coverage.PRDC235-2442005Conference and Workshop Papersclosedconf/prdc/PanLZC0510.1109/PRDC.2005.22https://doi.org/10.1109/PRDC.2005.22https://dblp.org/rec/conf/prdc/PanLZC05URL#5940624Philippe Raipin ParvédyMichel RaynalCorentin TraversDecision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures.PRDC23-302005Conference and Workshop Papersclosedconf/prdc/ParvedyRT0510.1109/PRDC.2005.28https://doi.org/10.1109/PRDC.2005.28https://dblp.org/rec/conf/prdc/ParvedyRT05URL#5940625Karthik PattabiramanZbigniew KalbarczykRavishankar K. IyerApplication-Based Metrics for Strategic Placement of Detectors.PRDC75-822005Conference and Workshop Papersclosedconf/prdc/PattabiramanKI0510.1109/PRDC.2005.19https://doi.org/10.1109/PRDC.2005.19https://dblp.org/rec/conf/prdc/PattabiramanKI05URL#5940626Shuanghe PengZhen HanProxy Cryptography for Secure Inter-domain Information Exchanges.PRDC193-1992005Conference and Workshop Papersclosedconf/prdc/PengH0510.1109/PRDC.2005.50https://doi.org/10.1109/PRDC.2005.50https://dblp.org/rec/conf/prdc/PengH05URL#5940627Xinguang PengKaifeng RenAnomaly Detection with High Deviations for System Security.PRDC200-2072005Conference and Workshop Papersclosedconf/prdc/PengR0510.1109/PRDC.2005.18https://doi.org/10.1109/PRDC.2005.18https://dblp.org/rec/conf/prdc/PengR05URL#5940628Zheng QinJinmin YangHaoliang WangBin WangJianjun ZouNeural Network based on Dynamic Tunneling Technique for Weather Forecast.PRDC393-3972005Conference and Workshop Papersclosedconf/prdc/QinYWWZ0510.1109/PRDC.2005.41https://doi.org/10.1109/PRDC.2005.41https://dblp.org/rec/conf/prdc/QinYWWZ05URL#5940629Amir RajabzadehSeyed Ghassem MiremadiA Hardware Approach to Concurrent Error Detection Capability Enhancement in COTS Processors.PRDC83-902005Conference and Workshop Papersclosedconf/prdc/RajabzadehM0510.1109/PRDC.2005.7https://doi.org/10.1109/PRDC.2005.7https://dblp.org/rec/conf/prdc/RajabzadehM05URL#5940630Michel RaynalMatthieu RoyA Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models.PRDC387-3922005Conference and Workshop Papersclosedconf/prdc/RaynalR0510.1109/PRDC.2005.10https://doi.org/10.1109/PRDC.2005.10https://dblp.org/rec/conf/prdc/RaynalR05URL#5940631Jiangchun RenKui DaiZhiying Wang 0003Trust-Enhanced Alteration Scenario for Universal Computer.PRDC275-2802005Conference and Workshop Papersclosedconf/prdc/RenDW0510.1109/PRDC.2005.60https://doi.org/10.1109/PRDC.2005.60https://dblp.org/rec/conf/prdc/RenDW05URL#5940632Juan-Carlos Ruiz-GarciaJosé Carlos CampeloPedro J. GilJuan PardoOn-chip Debugging-based Fault Emulation for Robustness Evaluation of Embedded Software Components.PRDC57-642005Conference and Workshop Papersclosedconf/prdc/RuizCGP0510.1109/PRDC.2005.44https://doi.org/10.1109/PRDC.2005.44https://dblp.org/rec/conf/prdc/RuizCGP05URL#5940633Hassan SalmaniSeyed Ghassem MiremadiContribution of Controller Area Networks Controllers to Masquerade Failures.PRDC310-3162005Conference and Workshop Papersclosedconf/prdc/SalmaniM0510.1109/PRDC.2005.27https://doi.org/10.1109/PRDC.2005.27https://dblp.org/rec/conf/prdc/SalmaniM05URL#5940634Cristina SimacheMohamed KaânicheAvailability Assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx log files: A case study.PRDC49-562005Conference and Workshop Papersclosedconf/prdc/SimacheK0510.1109/PRDC.2005.20https://doi.org/10.1109/PRDC.2005.20https://dblp.org/rec/conf/prdc/SimacheK05URL#5940635Paulo Sousa 0001Nuno Ferreira NevesPaulo VeríssimoResilient State Machine Replication.PRDC305-3092005Conference and Workshop Papersclosedconf/prdc/SousaNV0510.1109/PRDC.2005.55https://doi.org/10.1109/PRDC.2005.55https://dblp.org/rec/conf/prdc/SousaNV05URL#5940636Hairong SunDong TangRobert B. WoodOptimizing Service Strategy for Systems with Deferred Repair.PRDC269-2742005Conference and Workshop Papersclosedconf/prdc/SunTW0510.1109/PRDC.2005.47https://doi.org/10.1109/PRDC.2005.47https://dblp.org/rec/conf/prdc/SunTW05URL#5940637Diana SzentiványiSimin Nadjm-TehraniJohn M. NobleOptimal Choice of Checkpointing Interval for High Availability.PRDC159-1662005Conference and Workshop Papersclosedconf/prdc/SzentivanyiNN0510.1109/PRDC.2005.45https://doi.org/10.1109/PRDC.2005.45https://dblp.org/rec/conf/prdc/SzentivanyiNN05URL#5940638Shaohuai TianYingping LuDafang ZhangOptimal Fault-Tolerant Routing Scheme for Generalized Hypercube.PRDC91-1002005Conference and Workshop Papersclosedconf/prdc/TianLZ0510.1109/PRDC.2005.46https://doi.org/10.1109/PRDC.2005.46https://dblp.org/rec/conf/prdc/TianLZ05URL#5940639Jichiang TsaiJenn-Wei LinOn the Fully-Informed Communication-Induced Checkpointing Protocol.PRDC151-1582005Conference and Workshop Papersclosedconf/prdc/TsaiL0510.1109/PRDC.2005.43https://doi.org/10.1109/PRDC.2005.43https://dblp.org/rec/conf/prdc/TsaiL05URL#5940640Kam S. TsoAnn T. TaiSavio N. ChauLeon AlkalaiOn Automating Failure Mode Analysis and Enhancing its Integrity.PRDC287-2942005Conference and Workshop Papersclosedconf/prdc/TsoTCA0510.1109/PRDC.2005.42https://doi.org/10.1109/PRDC.2005.42https://dblp.org/rec/conf/prdc/TsoTCA05URL#5940641Marco VieiraHenrique MadeiraDetection of Malicious Transactions in DBMS.PRDC350-3572005Conference and Workshop Papersclosedconf/prdc/VieiraM0510.1109/PRDC.2005.31https://doi.org/10.1109/PRDC.2005.31https://dblp.org/rec/conf/prdc/VieiraM05URL#5940642Lunwei WangLianyue HeXiangke LiaoHuaimin WangResearch on Control Flags-based Weighted Authentication Trustworthiness Model.PRDC369-3732005Conference and Workshop Papersclosedconf/prdc/WangHLW0510.1109/PRDC.2005.54https://doi.org/10.1109/PRDC.2005.54https://dblp.org/rec/conf/prdc/WangHLW05URL#5940643Hongmei WangZheng ZhaoZhi-Wei SunPrivacy-Preserving Bayesian Network Structure Learning on Distributed Heterogeneous Data.PRDC31-402005Conference and Workshop Papersclosedconf/prdc/WangZS0510.1109/PRDC.2005.49https://doi.org/10.1109/PRDC.2005.49https://dblp.org/rec/conf/prdc/WangZS05URL#5940644Yangyang WuShuguang DuWei LuoMining Alarm Database of Telecommunication Network for Alarm Association Rules.PRDC281-2862005Conference and Workshop Papersclosedconf/prdc/WuDL0510.1109/PRDC.2005.40https://doi.org/10.1109/PRDC.2005.40https://dblp.org/rec/conf/prdc/WuDL05URL#5940645Ming-Wei WuYennun HuangShyue-Kung LuIng-Yi ChenSy-Yen KuoA Multi-Faceted Approach towards Spam-Resistible Mail.PRDC208-2182005Conference and Workshop Papersclosedconf/prdc/WuHLCK0510.1109/PRDC.2005.8https://doi.org/10.1109/PRDC.2005.8https://dblp.org/rec/conf/prdc/WuHLCK05URL#5940646Y. P. WuQ. P. HuSzu Hui NgMin Xie 0001Bayesian Networks Modeling for Software Inspection Effectiveness.PRDC65-742005Conference and Workshop Papersclosedconf/prdc/WuHNX0510.1109/PRDC.2005.21https://doi.org/10.1109/PRDC.2005.21https://dblp.org/rec/conf/prdc/WuHNX05URL#5940647Shiyi XuHigh-Order Syndrome Testing for VLSI Circuits.PRDC101-1082005Conference and Workshop Papersclosedconf/prdc/Xu0510.1109/PRDC.2005.36https://doi.org/10.1109/PRDC.2005.36https://dblp.org/rec/conf/prdc/Xu05URL#5940648Heng XuArun K. SomaniPartitioned Cache Shadowing for Deep Sub-Micron (DSM) Regime.PRDC183-1922005Conference and Workshop Papersclosedconf/prdc/XuS0510.1109/PRDC.2005.48https://doi.org/10.1109/PRDC.2005.48https://dblp.org/rec/conf/prdc/XuS05URL#594064911th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 12-14 December, 2005, Changsha, Hunan, ChinaPRDCIEEE Computer Society2005Editorshipconf/prdc/2005https://ieeexplore.ieee.org/xpl/conhome/10694/proceedinghttps://dblp.org/rec/conf/prdc/2005URL#5959731