Conferences in DBLP
Tomotaka Ishii , Tadashi Dohi Two-Dimensional Software Reliability Models and Their Application. [Citation Graph (0, 0)][DBLP ] Conf ] Dejan Desovski , Bojan Cukic A Strategy for Verification of Decomposable SCR Models. [Citation Graph (0, 0)][DBLP ] Conf ] Y. P. Wu , Q. P. Hu , M. Xie , S. H. Ng Detection and Correction Process Modeling Considering the Time Dependency. [Citation Graph (0, 0)][DBLP ] Conf ] W. Douglas Obal II , Michael G. McQuinn , William H. Sanders Detecting and Exploiting Symmetry in Discrete-state Markov Models. [Citation Graph (0, 0)][DBLP ] Conf ] Rui Abreu , Peter Zoeteweij , Arjan J. C. van Gemund An Evaluation of Similarity Coefficients for Software Fault Localization. [Citation Graph (0, 0)][DBLP ] Conf ] Luong Dinh Hung , Masahiro Goshima , Shuichi Sakai SEVA: A Soft-Error- and Variation-Aware Cache Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Long Wang , Zbigniew Kalbarczyk , Weining Gu , Ravishankar K. Iyer An OS-level Framework for Providing Application-Aware Reliability. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Fernández , Ernesto Jiménez , Sergio Arévalo Minimal System Conditions to Implement Unreliable Failure Detectors. [Citation Graph (0, 0)][DBLP ] Conf ] Shiyi Xu A New Approach to Improving the Test Effectiveness in Software Testing Using Fault Collapsing. [Citation Graph (0, 0)][DBLP ] Conf ] Aamer Nadeem , Michael R. Lyu A Framework for Inheritance Testing from VDM++ Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Meng-Lai Yin , Bruce Orenstein Assessment on Undetectable Burst Errors in Tandem CRCs. [Citation Graph (0, 0)][DBLP ] Conf ] Shyue-Kung Lu , Ting-Yu Chen , Wei-Yuan Liu Efficient Built-In Self-Test Schemes for Video Coding Cores: a Case Study on DCT/IDCT Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Raul Barbosa , Johan Karlsson Flexible, Cost-EffectiveMembership Agreement in Synchronous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Yao-Hsin Chou , I-Ming Tsai , Chien-Ming Ko , Sy-Yen Kuo , Ing-Yi Chen Quantum Oblivious Transfer and Fair Digital Transactions. [Citation Graph (0, 0)][DBLP ] Conf ] Taisya Krivoruchko , James Diamond , Jeff Hooper Storing RSA Private Keys In Your Head. [Citation Graph (0, 0)][DBLP ] Conf ] Ken-ichiro Fujiyama , Nobutatsu Nakamura , Ryuichi Hiraike Database Transaction Management for High-Availability Cluster System. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel R. Jeske , Ashwin Sampath Restoration Strategies In Mesh Optical Networks: Cost Vs. Service Availability. [Citation Graph (0, 0)][DBLP ] Conf ] Kishor S. Trivedi , Ranjith Vasireddy , David Trindale , Swami Nathan , Rick Castro Modeling High Availability. [Citation Graph (0, 0)][DBLP ] Conf ] Satoshi Katsunuma , Hiroyuki Kurita , Ryota Shioya , Kazuto Shimizu , Hidetsugu Irie , Masahiro Goshima , Shuichi Sakai Base Address Recognition with Data Flow Tracking for Injection Attack Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Ming-Wei Wu , Yennun Huang , Yi-Min Wang , Sy-Yen Kuo A Stateful Approach to Spyware Detection and Removal. [Citation Graph (0, 0)][DBLP ] Conf ] Günther A. Hoffmann , Kishor S. Trivedi , Miroslaw Malek A Best Practice Guide to Resources Forecasting for the Apache Webserver. [Citation Graph (0, 0)][DBLP ] Conf ] Wei-Chih Huang , Chin-Yu Huang , Chuan-Ching Sue Software Reliability Prediction and Assessment Using both Finite and Infinite Server Queueing Approaches. [Citation Graph (0, 0)][DBLP ] Conf ] José Mocito , Ana Respício , Luís Rodrigues On Statistically Estimated Optimistic Delivery in Wide-Area Total Order Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Q. P. Hu , M. Xie , S. H. Ng Early Software Reliability Prediction with ANN Models. [Citation Graph (0, 0)][DBLP ] Conf ] Zheng Yi Huang , Sheng-De Wang A Dependable Outbound Bandwidth Based Approach for Peer to Peer Media Streaming. [Citation Graph (0, 0)][DBLP ] Conf ] J. Grov , L. Soares , Afrânio Correia Jr. , José Pereira , Rui Carlos Oliveira , Fernando Pedone A Pragmatic Protocol for Database Replication in Interconnected Clusters. [Citation Graph (0, 0)][DBLP ] Conf ] Xiangyong Ouyang , Tomohiro Yoshihara , Haruo Yokota An Efficient Commit Protocol Exploiting Primary-Backup Placement in a Distributed Storage System. [Citation Graph (0, 0)][DBLP ] Conf ] Sheng-Tzong Cheng , Jian-Liang Lin Reliable Video Transmission Techniques for Wireless MPEG-4 Streaming Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Achour Mostéfaoui , Michel Raynal , Gilles Trédan On the fly estimation of the processes that are alive/crashed in an asynchronous message-passing system. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Raynal , Corentin Travers Synchronous Set Agreement: a Concise Guided Tour (including a new algorithm and a list of open problems). [Citation Graph (0, 0)][DBLP ] Conf ] Kaiyu Chen , Sharad Malik Dependable Multithreaded Processing Using Runtime Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Bernadette Charron-Bost , André Schiper Improving Fast Paxos: being optimistic with no overhead. [Citation Graph (0, 0)][DBLP ] Conf ] Hakem Beitollahi , Geert Deconinck Fault-Tolerant Partitioning Scheduling Algorithms in Real-Time Multiprocessor Systems. [Citation Graph (0, 0)][DBLP ] Conf ] V. P. Koutras , Agapios N. Platis Resource Availability Optimization for Priority Classes in a Website. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaobin Li , Jean-Luc Gaudiot Design Trade-Offs and Deadlock Prevention in Transient Fault-Tolerant SMT Processors. [Citation Graph (0, 0)][DBLP ] Conf ] Meng-Lai Yin , Rafael R. Arellano Incorporating Network Connectivity Analysis in Maintenance Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy Tsai , Kalyan Vaidyanathan , Kenny Gross Low-Overhead Run-Time Memory Leak Detection and Recovery. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Wiesmann , Xavier Défago End-to-end consensus using end-to-end channels. [Citation Graph (0, 0)][DBLP ] Conf ] Swapna S. Gokhale , Paul J. Vandal , Jijun Lu Performance and Reliability Analysis ofWeb Server Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Kotaro Shimamura , Takeshi Takehara , Yosuke Shima , Kunihiko Tsunedomi A Single-Chip Fail-Safe Microprocessor with Memory Data Comparison Feature. [Citation Graph (0, 0)][DBLP ] Conf ] Toshinori Sato , Akihiro Chiyonobu Evaluating the Impact of Fault Recovery on Superscalar Processor Performance. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan Tomoyuki Nassu , Takashi Nanya A Scenario of Tolerating Interaction Faults Between Otherwise Correct Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kuo-Feng Ssu , Chih-Hsun Chou , Wei-Te Shih , Pau-Choo Chung , Hewijin Christine Jiau Detection and Recovery for Disconnection Failures in a Web-based Medical Teleconsultation System. [Citation Graph (0, 0)][DBLP ] Conf ] Christof Fetzer , Martin Süßkraut Leader Election in the Timed Finite Average Response Time Model. [Citation Graph (0, 0)][DBLP ] Conf ] Johannes Osrael , Lorenz Froihofer , Karl M. Göschka A Replication Model for Trading Data Integrity against Availability. [Citation Graph (0, 0)][DBLP ] Conf ] Shin-Hung Chung , Kuo-Feng Ssu , Chih-Hsun Chou , Hewijin Christine Jiau Improving Data Transmission with Helping Nodes for Geographical Ad Hoc Routing. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Vieira , António Casimiro Costa , Henrique Madeira Towards Timely ACID Transactions in DBMS. [Citation Graph (0, 0)][DBLP ] Conf ] José Fonseca , Marco Vieira , Henrique Madeira Monitoring Database Application Behavior for Intrusion Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Carl Bergenhem , Johan Karlsson , Christian Archer , Andreas Sjoblom Implementation Results of a Configurable Membership Protocol for Active Safety Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Fenz , Edgar Weippl Ontology based IT-security planning. [Citation Graph (0, 0)][DBLP ] Conf ] Jinjing Zhao , Peidong Zhu , Xicheng Lu , Feng Zhao The Hierarchy of BGP Convergence on the Self-Organized Internet. [Citation Graph (0, 0)][DBLP ] Conf ] Chuan-Ching Sue Dynamic Reconfiguration Policies for Reconfigurable Coded-WDM PONs. [Citation Graph (0, 0)][DBLP ] Conf ] Hakem Beitollahi , Geert Deconinck Fault-Tolerant Rate-Monotonic Scheduling Algorithm in Uniprocessor Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yung-Chiao Chen , Chuan-Ching Sue , Sy-Yen Kuo The Survivability of the Augmented Logical Ring Topology in WDM Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Chuan-Ching Sue , Ren-Jie Chiou A Hybrid Multipath Routing in Mobile ad hoc Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Wang , Guosun Zeng A Generic Trust Overlay Simulator for P2P Networks. [Citation Graph (0, 0)][DBLP ] Conf ] 