Search results for "PRDC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Shin-Hung Chung, Kuo-Feng Ssu, Chih-Hsun Chou, Hewijin Christine Jiau	Improving Data Transmission with Helping Nodes for Geographical Ad Hoc Routing.	PRDC	2006	DBLP DOI BibTeX RDF
1	Shiyi Xu	A New Approach to Improving the Test Effectiveness in Software Testing Using Fault Collapsing.	PRDC	2006	DBLP DOI BibTeX RDF	Software Testing, Mutation Testing, Testing Effectiveness, Fault Equivalence, Fault Dominance
1	Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott	Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation.	PRDC	2006	DBLP DOI BibTeX RDF
1	Rui Abreu 0001, Peter Zoeteweij, Arjan J. C. van Gemund	An Evaluation of Similarity Coefficients for Software Fault Localization.	PRDC	2006	DBLP DOI BibTeX RDF
1	Kaiyu Chen, Sharad Malik	Dependable Multithreaded Processing Using Runtime Validation.	PRDC	2006	DBLP DOI BibTeX RDF
1	Xiangyong Ouyang, Tomohiro Yoshihara, Haruo Yokota	An Efficient Commit Protocol Exploiting Primary-Backup Placement in a Distributed Storage System.	PRDC	2006	DBLP DOI BibTeX RDF
1	Yao-Hsin Chou, I-Ming Tsai, Chien-Ming Ko, Sy-Yen Kuo, Ing-Yi Chen	Quantum Oblivious Transfer and Fair Digital Transactions.	PRDC	2006	DBLP DOI BibTeX RDF
1	Vasilis P. Koutras, Agapios N. Platis	Resource Availability Optimization for Priority Classes in a Website.	PRDC	2006	DBLP DOI BibTeX RDF
1	Zheng Yi Huang, Sheng-De Wang	A Dependable Outbound Bandwidth Based Approach for Peer to Peer Media Streaming.	PRDC	2006	DBLP DOI BibTeX RDF
1	Yung-Chiao Chen, Chuan-Ching Sue, Sy-Yen Kuo	The Survivability of the Augmented Logical Ring Topology in WDM Networks.	PRDC	2006	DBLP DOI BibTeX RDF	failure propagation, problem link, Augmented Survivable Edges (ASE), logical ring topology, WDM
1	Jon Grov, Luís Soares, Alfrânio Correia Jr., José Pereira 0001, Rui Oliveira 0001, Fernando Pedone	A Pragmatic Protocol for Database Replication in Interconnected Clusters.	PRDC	2006	DBLP DOI BibTeX RDF
1	Luong Dinh Hung, Masahiro Goshima, Shuichi Sakai	SEVA: A Soft-Error- and Variation-Aware Cache Architecture.	PRDC	2006	DBLP DOI BibTeX RDF
1	Jinjing Zhao, Peidong Zhu, Xicheng Lu, Feng Zhao	The Hierarchy of BGP Convergence on the Self-Organized Internet.	PRDC	2006	DBLP DOI BibTeX RDF	powerlaw, convergence problem, Self-organized, hierarchy, Inter-domain Routing
1	Carl Bergenhem, Johan Karlsson, Christian Archer, Andreas Sjoblom	Implementation Results of a Configurable Membership Protocol for Active Safety Systems.	PRDC	2006	DBLP DOI BibTeX RDF
1	Kishor S. Trivedi, Ranjith Vasireddy, David Trindale, Swami Nathan, Rick Castro	Modeling High Availability.	PRDC	2006	DBLP DOI BibTeX RDF
1	Shiyi Xu	High-Order Syndrome Testing for VLSI Circuits.	PRDC	2005	DBLP DOI BibTeX RDF	Syndrome Testing Minterms, Syndrome, Exhaustive Testing
1	W. Kent Fuchs	Dependable Computing in the Context of Mobility, Nomadicity, Ubiquity, and Pervasiveness.	PRDC	2005	DBLP DOI BibTeX RDF
1	Michael Pan, Sheng-Yan Chuang, Sheng-De Wang	Local Repair Mechanisms for On-Demand Routing in Mobile Ad hoc Networks.	PRDC	2005	DBLP DOI BibTeX RDF	local repair, route request broadcast, mobile ad hoc networks, AODV, on-demand routing
1	Xinguang Peng, Kaifeng Ren	Anomaly Detection with High Deviations for System Security.	PRDC	2005	DBLP DOI BibTeX RDF	Privileged programs, Anomaly detection, System security
1		11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 12-14 December, 2005, Changsha, Hunan, China	PRDC	2005	DBLP BibTeX RDF
1	Dubravka Ilic, Elena Troubitsyna	Formal Development of Software for Tolerating Transient Faults.	PRDC	2005	DBLP DOI BibTeX RDF
1	Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkalai	On Automating Failure Mode Analysis and Enhancing its Integrity.	PRDC	2005	DBLP DOI BibTeX RDF
1	Nicolas Loriant, Marc Ségura-Devillechaise, Jean-Marc Menaud	Server Protection through Dynamic Patching.	PRDC	2005	DBLP DOI BibTeX RDF
1	Henning Burchardt, Jens Oehlerking, Oliver E. Theel	Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems.	PRDC	2005	DBLP DOI BibTeX RDF	Discrete-Time Hybrid Systems, Stability, LMIs, Automatic Verification, Lyapunov Theory
1	Shuanghe Peng, Zhen Han	Proxy Cryptography for Secure Inter-domain Information Exchanges.	PRDC	2005	DBLP DOI BibTeX RDF
1	Karthik Pattabiraman, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Application-Based Metrics for Strategic Placement of Detectors.	PRDC	2005	DBLP DOI BibTeX RDF
1	Zheng Qin, Jinmin Yang, Haoliang Wang, Bin Wang, Jianjun Zou	Neural Network based on Dynamic Tunneling Technique for Weather Forecast.	PRDC	2005	DBLP DOI BibTeX RDF
1	Su Myeong Lee, Hee Yong Youn	Dynamic Window-based Adaptive Fault Monitoring for Ubiquitous Computing Systems.	PRDC	2005	DBLP DOI BibTeX RDF	Dynamic window, elapsed time, fault monitoring and detection, pull and push-based monitoring, fault-tolerant CORBA
1	Yangyang Wu, Shuguang Du, Wei Luo	Mining Alarm Database of Telecommunication Network for Alarm Association Rules.	PRDC	2005	DBLP DOI BibTeX RDF
1	Shravan Gaonkar, William H. Sanders	Simultaneous Simulation of Alternative System Configurations.	PRDC	2005	DBLP DOI BibTeX RDF
1	Jiangchun Ren, Kui Dai, Zhiying Wang 0003	Trust-Enhanced Alteration Scenario for Universal Computer.	PRDC	2005	DBLP DOI BibTeX RDF
1	Yuan-Shun Dai, Xiaolong Wang 0003, Min Xie 0001	A Virtual Modeling and a Fast Algorithm for Grid Service Reliability.	PRDC	2005	DBLP DOI BibTeX RDF
1	Rong Hu, Zhigang Hu, Hao Ma	A Reliable Routing Algorithm Based on Fuzzy Applicability of F sets in MANET.	PRDC	2005	DBLP DOI BibTeX RDF	reliable routing algorithm, fuzzy applicability, MANET, AODV
1	Cristina Simache, Mohamed Kaâniche	Availability Assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx log files: A case study.	PRDC	2005	DBLP DOI BibTeX RDF
1	Paulo Sousa 0001, Nuno Ferreira Neves, Paulo Veríssimo	Resilient State Machine Replication.	PRDC	2005	DBLP DOI BibTeX RDF
1	Chin-Yu Huang, Chu-Ti Lin	Reliability Prediction and Assessment of Fielded Software Based on Multiple Change-Point Models.	PRDC	2005	DBLP DOI BibTeX RDF
1	Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota	A Failure-Aware Model for Estimating and Analyzing the Efficiency of Web Services Compositions.	PRDC	2005	DBLP DOI BibTeX RDF
1	Chih-Hsun Chou, Kuo-Feng Ssu, Hewijin Christine Jiau	A Distributed Location Service for Reducing Query Failures in Geographic Ad Hoc Routing.	PRDC	2005	DBLP DOI BibTeX RDF	fault tolerance, Mobile ad hoc networks, geographic routing, location service
1	Wei Chen 0013, Shiding Lin, Qiao Lian, Zheng Zhang 0001	Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses.	PRDC	2005	DBLP DOI BibTeX RDF
1	Ling Zhang, Jishun Kuang	A New BIST Solution for System-on-Chip.	PRDC	2005	DBLP DOI BibTeX RDF
1	Chang-Chun Cheng, Wei-Ming Chen, Han-Chieh Chao, Yao-Po Wang	FPGA Authentication Header (AH) Implementation for Internet Appliances.	PRDC	2005	DBLP DOI BibTeX RDF
1	Amir Rajabzadeh, Seyed Ghassem Miremadi	A Hardware Approach to Concurrent Error Detection Capability Enhancement in COTS Processors.	PRDC	2005	DBLP DOI BibTeX RDF
1	Kazuteru Namba, Hideo Ito	Design of Defect Tolerant Wallace Multiplier.	PRDC	2005	DBLP DOI BibTeX RDF
1	Roy Friedman, Achour Mostéfaoui, Michel Raynal	Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems.	PRDC	2005	DBLP DOI BibTeX RDF	Computing abstraction, Non blocking atomic commit, Distributed algorithm, Message passing, Consensus, Asynchronous system, Failure detector
1	Juan-Carlos Ruiz-Garcia, José Carlos Campelo, Pedro J. Gil, Juan Pardo	On-chip Debugging-based Fault Emulation for Robustness Evaluation of Embedded Software Components.	PRDC	2005	DBLP DOI BibTeX RDF
1	Diana Szentiványi, Simin Nadjm-Tehrani, John M. Noble	Optimal Choice of Checkpointing Interval for High Availability.	PRDC	2005	DBLP DOI BibTeX RDF
1	Hassan Salmani, Seyed Ghassem Miremadi	Contribution of Controller Area Networks Controllers to Masquerade Failures.	PRDC	2005	DBLP DOI BibTeX RDF
1	Wilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dillon	A 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.	PRDC	2005	DBLP DOI BibTeX RDF
1	Hongmei Wang, Zheng Zhao, Zhi-Wei Sun	Privacy-Preserving Bayesian Network Structure Learning on Distributed Heterogeneous Data.	PRDC	2005	DBLP DOI BibTeX RDF
1	Marco Vieira, Henrique Madeira	Detection of Malicious Transactions in DBMS.	PRDC	2005	DBLP DOI BibTeX RDF
1	Michel Raynal, Matthieu Roy	A Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models.	PRDC	2005	DBLP DOI BibTeX RDF
1	Jichiang Tsai 0001, Jenn-Wei Lin	On the Fully-Informed Communication-Induced Checkpointing Protocol.	PRDC	2005	DBLP DOI BibTeX RDF
1	Y. P. Wu, Q. P. Hu, Szu Hui Ng, Min Xie 0001	Bayesian Networks Modeling for Software Inspection Effectiveness.	PRDC	2005	DBLP DOI BibTeX RDF
1	Christian Buckl, Alois C. Knoll, Gerhard Schrott	Development of Dependable Real-Time Systems with Zerberus.	PRDC	2005	DBLP DOI BibTeX RDF
1	Takashi Minohara, Satoshi Ishikawa, Masahiro Amano	Centralized Surveillance of Unused Address Space by using Virtual Networks.	PRDC	2005	DBLP DOI BibTeX RDF
1	Shaohuai Tian, Yingping Lu, Dafang Zhang	Optimal Fault-Tolerant Routing Scheme for Generalized Hypercube.	PRDC	2005	DBLP DOI BibTeX RDF
1	Philippe Raipin Parvédy, Michel Raynal, Corentin Travers	Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures.	PRDC	2005	DBLP DOI BibTeX RDF
1	Masato Kitakami, Junpei Sano	Code Design and Decoding Methods for Burst Error Locating Codes.	PRDC	2005	DBLP DOI BibTeX RDF
1	Jenn-Wei Lin, Jichiang Tsai 0001, Chao-Ying Chiu	An Efficient Approach to Tolerating Route Errors in Mobile Ad Hoc Networks.	PRDC	2005	DBLP DOI BibTeX RDF	Route recovery, backup node mobility, simulation, ad hoc network, AODV
1	Hairong Sun, Dong Tang, Robert B. Wood	Optimizing Service Strategy for Systems with Deferred Repair.	PRDC	2005	DBLP DOI BibTeX RDF
1	Tohru Kikuno	Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk.	PRDC	2005	DBLP DOI BibTeX RDF
1	Yuan-sheng Luo, Dafang Zhang, Yinghua Min	An Improved Scheme of Index-Based Checkpointing.	PRDC	2005	DBLP DOI BibTeX RDF	Domino-effect, Active-synchronous, Distributed systems, Index, Checkpoint
1	Jen-Hao Kuo, Siong-Ui Te, Pang-Ting Liao, Chun-Ying Huang, Pan-Lung Tsai, Chin-Laung Lei, Sy-Yen Kuo, Yennun Huang, Zsehong Tsai	An Evaluation of the Virtual Router Redundancy Protocol Extension with Load Balancing.	PRDC	2005	DBLP DOI BibTeX RDF
1	Jian Leng, DongQin Xie	A Novel Approach to Kernel Construction of China Bridge CA.	PRDC	2005	DBLP DOI BibTeX RDF
1	Lunwei Wang, Lianyue He, Xiangke Liao, Huaimin Wang	Research on Control Flags-based Weighted Authentication Trustworthiness Model.	PRDC	2005	DBLP DOI BibTeX RDF
1	Zhonghong Ou, Youguang Yuan, Xiaoyong Zhao	Research on Architecture and Design Principles of COTS Components Based Generic Fault-Tolerant Computer.	PRDC	2005	DBLP DOI BibTeX RDF
1	Yu Hu 0001, Xiaowei Li 0001, Huawei Li 0001, Xiaoqing Wen	Compression/Scan Co-Design for Reducing Test Data Volume, Scan-in Power Dissipation and Test Application Time.	PRDC	2005	DBLP DOI BibTeX RDF
1	Lili Pan 0002, Junyi Li, Beiji Zou, Hao Chen	Bi-Objective Model for Test-Suite Reduction Based on Modified Condition/Decision Coverage.	PRDC	2005	DBLP DOI BibTeX RDF
1	Ming-Wei Wu, Yennun Huang, Shyue-Kung Lu, Ing-Yi Chen, Sy-Yen Kuo	A Multi-Faceted Approach towards Spam-Resistible Mail.	PRDC	2005	DBLP DOI BibTeX RDF	anti-spam, unsolicited bulk e-mail (UBE), e-mail dependability, Spam, denial of service attacks
1	Heng Xu, Arun K. Somani	Partitioned Cache Shadowing for Deep Sub-Micron (DSM) Regime.	PRDC	2005	DBLP DOI BibTeX RDF
1	Haruhiko Kaneko, Mariko Numakami, Eiji Fujiwara	Nonsystematic M-Ary Asymmetric Error Correcting Codes Designed by Multilevel Coding Method.	PRDC	2004	DBLP DOI BibTeX RDF	M-ary error control code, asymmetric error control code, multilevel coding method, confusion matrix, character recognition system
1		10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 3-5 March 2004, Papeete, Tahiti	PRDC	2004	DBLP BibTeX RDF
1	Shubhendu S. Mukherjee, Joel S. Emer, Tryggve Fossum, Steven K. Reinhardt	Cache Scrubbing in Microprocessors: Myth or Necessity?	PRDC	2004	DBLP DOI BibTeX RDF
1	Wei Xie, Yiguang Hong, Kishor S. Trivedi	Software Rejuvenation Policies for Cluster Systems under Varying Workload.	PRDC	2004	DBLP DOI BibTeX RDF
1	Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun	Benchmarking Operating System Dependability: Windows 2000 as a Case Study.	PRDC	2004	DBLP DOI BibTeX RDF
1	Jichiang Tsai 0001	Systematic Comparisons of RDT Communication-Induced Checkpointing Protocols.	PRDC	2004	DBLP DOI BibTeX RDF
1	Håkan Sivencrona, Torbjörn Olsson, Roger Johansson, Jan Torin	RedCAN: Simulations of Two Fault Recovery Algorithms for CAN.	PRDC	2004	DBLP DOI BibTeX RDF
1	Yung-Ruei Chang, Hung-Yau Lin, Sy-Yen Kuo	Reliability Evaluation of Dependable Distributed Computing Systems Based on Recursive Merge and BDD.	PRDC	2004	DBLP DOI BibTeX RDF
1	Chin-Yu Huang, Jung-Hua Lo, Sy-Yen Kuo, Michael R. Lyu	Optimal Allocation of Testing-Resource Considering Cost, Reliability, and Testing-Effort.	PRDC	2004	DBLP DOI BibTeX RDF
1	Mohit Lad, Akash Nanavati, Daniel Massey, Lixia Zhang 0001	An Algorithmic Approach to Identifying Link Failures.	PRDC	2004	DBLP DOI BibTeX RDF	Routing and Graph Theory, Fault Diagnosis, Fault Tolerant Algorithms
1	Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini	A Freshness Detection Mechanism for Railway Applications.	PRDC	2004	DBLP DOI BibTeX RDF	railway control systems, real-time, safety
1	Roberto Baldoni, Roberto Beraldi, Sara Tucci Piergiovanni, Antonino Virgillito	Measuring Notification Loss in Publish/Subscribe Communication Systems.	PRDC	2004	DBLP DOI BibTeX RDF
1	Jinmin Yang, Dafang Zhang, Zheng Qin 0001, Xue Dong Yang	WINDAR: A Multithreaded Rollback-Recovery Toolkit on Windows.	PRDC	2004	DBLP DOI BibTeX RDF
1	James Mauro, Ji Zhu, Ira Pramanick	The System Recovery Benchmark.	PRDC	2004	DBLP DOI BibTeX RDF
1	E. Ciocca, Israel Koren, Zahava Koren, C. Mani Krishna 0001, Daniel S. Katz	Application-Level Fault Tolerance in the Orbital Thermal Imaging Spectrometer.	PRDC	2004	DBLP DOI BibTeX RDF
1	Swapna S. Gokhale	Quantifying the Variance in Application Reliability.	PRDC	2004	DBLP DOI BibTeX RDF	Software architecture, Software reliability, Variance
1	Shiping Yang, Nan Sang, Guangze Xiong	Safety Testing of Safety Critical Software Based on Critical Mission Duration.	PRDC	2004	DBLP DOI BibTeX RDF	Safety Testing, Safety Critical System, Bayesian Analysis, Stopping Rules, Reliability Testing
1	G. Robert Redinbo, Cung Nguyen	Protecting Wavelet Lifting Transforms.	PRDC	2004	DBLP DOI BibTeX RDF	weighted sum parity, real number codes, error gain matrices, dual space functionals, bi-orthogonality, Wavelet transforms, concurrent error detection, algorithm-based fault tolerance
1	Anil Sharma, Jason R. Martin, Nitin Anand, Michel Cukier, William H. Sanders	Ferret: A Host Vulnerability Checking Tool.	PRDC	2004	DBLP DOI BibTeX RDF	Security auditing tool, host vulnerabilities, security evaluation
1	Hiroyuki Okamura, Yuki Nishimura, Tadashi Dohi	A Dynamic Checkpointing Scheme Based on Reinforcement Learning.	PRDC	2004	DBLP DOI BibTeX RDF	Dynamic checkpointing, Uniprocess application, Reinforcement learning, Q-learning, Semi-Markov decision process
1	Keiichi Kaneko, Yasuto Suzuki	Node-to-Node Internally Disjoint Paths Problem in Bubble-Sort Graphs.	PRDC	2004	DBLP DOI BibTeX RDF
1	Simona Bernardi 0001, Susanna Donatelli	Stochastic Petri Nets and Inheritance for Dependability Modelling.	PRDC	2004	DBLP DOI BibTeX RDF
1	Hsu-Chun Yen, Lien-Po Yu	Dependability Analysis of a Class of Probabilistic Petri Nets.	PRDC	2004	DBLP DOI BibTeX RDF	probabilistic Petri net, verification, Controllability, self-stabilization, reachability
1	Marc Dacier, Fabien Pouget, Hervé Debar	Honeypots: Practical Means to Validate Malicious Fault Assumptions.	PRDC	2004	DBLP DOI BibTeX RDF
1	Markus Debusmann, Kurt Geihs	Towards Dependable Web Services.	PRDC	2004	DBLP DOI BibTeX RDF
1	Masayuki Arai, Tabito Suzuki, Mamoru Ohara, Satoshi Fukumoto, Kazuhiko Iwasaki, Hee Yong Youn	Analysis of Read and Write Availability for Generalized Hybrid Data Replication Protocol.	PRDC	2004	DBLP DOI BibTeX RDF
1	Sheng Li, Jun Xu, Lijun Deng	Periodic Partial Validation: Cost-Effective Source Code Validation Process in Cross-Platform Software Development Environment.	PRDC	2004	DBLP DOI BibTeX RDF
1	Achour Mostéfaoui, David Powell, Michel Raynal	A Hybrid Approach for Building Eventually Accurate Failure Detectors.	PRDC	2004	DBLP DOI BibTeX RDF	Fault tolerance, Distributed algorithm, Convergence, Hybrid algorithm, Asynchronous distributed systems, Process crash, Unreliable failure detector
1	Gunjan Khanna, Saurabh Bagchi, John Rogers	Failure Handling in a Reliable Multicast Protocol for Improving Buffer Utilization and Accommodating Heterogeneous Receivers.	PRDC	2004	DBLP DOI BibTeX RDF	tree based reliable multicast, message errors, slow or unresponsive receivers, end-to-end latency, buffer utilization
1	Christopher Martin 0004, Philip Koopman	Representing User Workarounds as a Component of System Dependability.	PRDC	2004	DBLP DOI BibTeX RDF

Publications at "PRDC"( http://dblp.L3S.de/Venues/PRDC )