Conferences in DBLP
K. H. (Kane) Kim Middleware of Real-Time Object Based Fault-Tolerant Distributed Computing Systems: Issues and Some Approaches. [Citation Graph (0, 0)][DBLP ] Conf ] Chih-Hsien Hsu , Shyue-Kung Lu , Sy-Yen Kuo Novel Fault-Tolerant Techniques for High Capacity RAMs. [Citation Graph (0, 0)][DBLP ] Conf ] Minsu Choi , Nohpill Park , Fred J. Meyer , Fabrizio Lombardi Connectivity-Based Multichip Module Repair. [Citation Graph (0, 0)][DBLP ] Conf ] Seongwoo Kim , Arun K. Somani SSD: An Affordable Fault Tolerant Architecture for Superscalar Processors. [Citation Graph (0, 0)][DBLP ] Conf ] Savio N. Chau , Joseph Smith , Ann T. Tai A Design-Diversity Based Fault-Tolerant COTS Avionics Bus Network. [Citation Graph (0, 0)][DBLP ] Conf ] Jiman Hong , Sangsu Kim , Yookun Cho , Heon Young Yeom , Taesoon Park On the Choice of Checkpoint Interval Using Memory Usage Profile and Adaptive Time Series Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Hyo-Chang Nam , Jong Kim , Sung Je Hong , Sunggu Lee A Secure Checkpointing System. [Citation Graph (0, 0)][DBLP ] Conf ] Gyung-Leen Park , Hee Yong Youn , Hyunseung Choo Optimal Checkpoint Interval Analysis Using Stochastic Petri Net. [Citation Graph (0, 0)][DBLP ] Conf ] Cristian Constantinescu Dependability Analysis of a Fault-Tolerant Processor. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrizio Lombardi , Nohpill Park , Mohammad A. Al-Hashimi , Huay-min H. Pu Modeling the Dependability of N-Modular Redundancy on Demand under Malicious Agreement. [Citation Graph (0, 0)][DBLP ] Conf ] Max Walter , Carsten Trinitis , Wolfgang Karl OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies. [Citation Graph (0, 0)][DBLP ] Conf ] Tadashi Dohi , Takashi Danjou , Hiroyuki Okamura Optimal Software Rejuvenation Policy with Discounting. [Citation Graph (0, 0)][DBLP ] Conf ] Tomoyuki Yokogawa , Tatsuhiro Tsuchiya , Tsuchiya Kikuno Automatic Verification of Fault Tolerance Using Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Dongyan Chen , Kishor S. Trivedi Analysis of Periodic Preventive Maintenance with General System Failure Distribution. [Citation Graph (0, 0)][DBLP ] Conf ] Sheng-De Wang , Pao Hwa Sui Fault-Tolerant Routing in Two-Dimensional Mesh Networks with Less-Restricted Fault Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Philippe Sauvé , Flávia Estelia Silva Coelho Availability Considerations in Network Design. [Citation Graph (0, 0)][DBLP ] Conf ] Toshinori Takabatake , Masato Kitakami , Hideo Ito Escape and Restoration Routing: Suspensive Deadlock Recovery in Interconnection Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Nicole Sergent , Xavier Défago , André Schiper Impact of a Failure Detection Mechanism on the Performance of Consensus. [Citation Graph (0, 0)][DBLP ] Conf ] Christof Fetzer , Michel Raynal , Frederic Tronel An Adaptive Failure Detection Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Christof Fetzer , Karin Högstedt Rejuvenation and Failure Detection in Partitionable Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sam Soo Pyo Implications of Dependable Computing in Banking Industry. [Citation Graph (0, 0)][DBLP ] Conf ] Daisuke Ito , Haruo Yokota Automatic Reconfiguration of an Autonomous Disk Cluster. [Citation Graph (0, 0)][DBLP ] Conf ] Tomoya Kitai , Tomohiro Yoneda Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Byeong Min , Gwan Choi ECC: Extended Condition Coverage for Design Verification Using Excitation and Observation. [Citation Graph (0, 0)][DBLP ] Conf ] Sei Takahashi , Munehisa Taira , Hidetaka Saegusa , Takehiko Hoshino , Hideo Nakamura Development of a Fail-Safe Microprocessor LSI with Self-Diagnosis Mechanism Depending on an M-Sequence Code Signature. [Citation Graph (0, 0)][DBLP ] Conf ] Ching-Hua Chuan , Sy-Yen Kuo Cache Management of Dynamic Source Routing for Fault Tolerance in Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Moon Jeong Kim , Young Ik Eom An Adaptive Routing Protocol Supporting Reliable Communication in Wireless Ad-Hoc Network Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Ji Y. Lim , Tai M. Chung Enhanced Token Delivery Scheme for Reliable Multicasting in Wireless Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Byung-Rae Lee , Tai-Yun Kim , Sang-Seung Kang Ticket Based Authentication and Payment Protocol for Mobile Telecommunications Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Toshinori Sato , Itsujiro Arita Evaluating Low-Cost Fault-Tolerance Mechanism for Microprocessors on Multimedia Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Tadayoshi Horita , Itsuo Takanami Analytical Results for Reconfiguration of E-11/2- Track Switch Torus Arrays with Multiple Fault Types. [Citation Graph (0, 0)][DBLP ] Conf ] Hairong Sun , James J. Han , Haim Levendel A Generic Availability Model for Clustered Computing System. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Oprisan , Bella Bose ARQ in Optical Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Masayuki Arai , Anna Yamamoto , Anna Yamaguchi , Satoshi Fukumoto , Kazuhiko Iwasaki Analysis of Using Convolutional Codes to Recover Packet Losses over Burst Erasure Channels. [Citation Graph (0, 0)][DBLP ] Conf ] G. B. Barone , N. Margarita , Antonino Mazzeo , Nicola Mazzocca , Luigi Romano Secure Access to Personalized Web Services. [Citation Graph (0, 0)][DBLP ] Conf ] Wei-Cheng Su , Szu-Chi Wang , Sy-Yen Kuo Failure Detection Mechanism for Distributed Object Computing Using CORBA. [Citation Graph (0, 0)][DBLP ] Conf ] Dongman Lee , Dukyun Nam , Hee Yong Youn , Chansu Yu The Implementation and Analysis of OCI-Based Group Communication Support in CORBA. [Citation Graph (0, 0)][DBLP ] Conf ] Kyung-Ah Chang , Tae-Seung Lee , Bang-Hung Chun , Tai-Yun Kim Ticket-Based Secure Delegation Service Supporting Multiple Domain Models. [Citation Graph (0, 0)][DBLP ] Conf ] Heun Kim , Dae-Joon Hwang A Study on the System Call for the Protection of Intellectual Property Rights on Linux Base. [Citation Graph (0, 0)][DBLP ] Conf ] Jung-Min Kang , Wook Shin , C.-G. Park , Dong-Ik Lee Extended BLP Security Model Based on Process Reliability for Secure Linux Kernel. [Citation Graph (0, 0)][DBLP ] Conf ] Yang-Koo Kang , Moon-Hyun Kim Real-Time Fingerprints Recognition Mechanism-Based on Digital Contents Protection System for Interaction on Web. [Citation Graph (0, 0)][DBLP ] Conf ] Frederick T. Sheldon , Hye Yeon Kim , Zhihe Zhou A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance. [Citation Graph (0, 0)][DBLP ] Conf ] Masato Kitakami , Shunji Kubota , Hideo Ito Fault-Tolerance of Functional Programs Based on the Parallel Graph Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Pérez , Germán Fabregat , Rafael J. Martínez , Juan J. Villaplana TREG: Transactional Services Based on Incremental Messages. [Citation Graph (0, 0)][DBLP ] Conf ] Yukie Sasaki , Hiroei Imai , Masahiro Tsunoyama , Ikuo Ishii Approximation Method for Probability Distribution Functions Using Cox Distribution to Evaluate Multimedia Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Masayuki Matsumoto , Tadao Tsurumaki , Tatsuya Shigeta , Korefumi Tashiro , Dai Watanabe Dependable Automatic Train Control System Using Digital Track Signals. [Citation Graph (0, 0)][DBLP ] Conf ] R. K. Shyamasundar , J. V. Aghav Validating Real-Time Constraints in Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Daeyoung Kim , Yoonmee Doh , Yann-Hang Lee Table Driven Proportional Access Based Real-Time Ethernet for Safety-Critical Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] YoungJae Kim , Sungjune Hong , Kiyong Park , Keecheon Kim , Sunyoung Han Intelligent Fault-Tolerant CORBA Service on Real-Time CORBA. [Citation Graph (0, 0)][DBLP ] Conf ] Hairong Sun , James J. Han Instantaneous Availability and Interval Availability for Systems with Time-Varying Failure Rate: Stair-Step Approximation. [Citation Graph (0, 0)][DBLP ] Conf ] Shigeto Hiraguri , Noriyuki Nishibori , Yasuko Hidaka , Takayuki Kasai , Hideo Nakamura Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System. [Citation Graph (0, 0)][DBLP ] Conf ] Hiromi Kobayashi Safety Analysis Using Temporal Database. [Citation Graph (0, 0)][DBLP ] Conf ] 