Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kamilla Klonowska, Lars Lundberg, Håkan Lennerstad, Charlie Svahnberg |
Using Modulo Rulers for Optimal Recovery Schemes in Distributed Computing. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
recovery schemes, modulo sequence, fault tolerance, high performance computing, Golomb rulers |
1 | Diana Szentiványi, Simin Nadjm-Tehrani |
Aspects for Improvement of Performance in Fault-Tolerant Software. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Knauf, Setsuo Tsuruta, Hirokazu Ihara, Avelino J. Gonzalez, Torsten Kurbad |
Improving AI Systems? Dependability by Utilizing Historical Knowledge. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ghazanfar Asadi, Seyed Ghassem Miremadi, Hamid R. Zarandi, Ali Reza Ejlali |
Evaluation of Fault-Tolerant Designs Implemented on SRAM-Based FPGAs. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lorena Anghel, Nadir Achouri, Michael Nicolaidis |
Evaluation of Memory Built-in Self Repair Techniques for High Defect Density Technologie. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Manabu Sueishi, Masato Kitakami, Hideo Ito |
Fault-Tolerant Message Switching Based on Wormhole Switching and Backtracking. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuhiro Tsuchiya, Tohru Kikuno |
On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Cabuk, Nipoon Malhotra, Longbi Lin, Saurabh Bagchi, Ness B. Shroff |
Analysis and Evaluation of Topological and Application Characteristics of Unreliable Mobile Wireless Ad-hoc Network. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
ad-hoc mobile wireless network, topological characteristics, goal-directed mobility algorithms, simulation study, node failures |
1 | Raphael R. Some, Algirdas Avizienis, Jiri Gaisler, Hirokazu Ihara, Shubu Mukherjee, Neeraj Suri |
Panel Summary Statements. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jun Miyazaki, Yohei Abe, Haruo Yokota |
Availabilities and Costs of Reliable Fat-Btrees. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Shyue-Kung Lu, Chien-Hung Yeh, Han-Wen Lin |
Efficient Built-in Self-Test Techniques for Memory-Based FFT Processors. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Chia-Ho Ou, Kuo-Feng Ssu, Hewijin Christine Jiau |
Connecting Network Partitions with Location-Assisted Forwarding Nodes in Mobile Ad Hoc Environments. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Amir Rajabzadeh, Mirzad Mohandespour, Seyed Ghassem Miremadi |
Error Detection Enhancement in COTS Superscalar Processors with Event Monitoring Features. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xinyu Chen, Michael R. Lyu |
Expected-Reliability Analysis for Wireless CORBA with Imperfect Components. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
Two-terminal expected-reliability, Wireless CORBA, Imperfect components, Reliability importance, Handoff |
1 | Toshinori Takabatake, Masato Kitakami, Hideo Ito |
Fault-Tolerant Properties of Generalized Hierarchical Completely-Connected Networks. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Minsu Choi, Nohpill Park, Yong-Bin Kim, Fabrizio Lombardi |
Hardware/Software Co-Reliability of Configurable Digital Systems. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nobuo Tsuda |
Configurable PC Clusters Using a Hierarchical Complete-Connection-Based Switching Network. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michel Raynal |
An Introduction to the Renaming Problem. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
Renaming problem, Fault-tolerance, Concurrency, Shared memory system, Process crash, Message passing system, Atomic register, Wait-free computation |
1 | Michel Raynal |
Consensus in Synchronous Systems: A Concise Guided Tour. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Simache, Mohamed Kaâniche, Ayda Saïdane |
Event Log based Dependability Analysis of Windows NT and 2K Systems. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yung-Ruei Chang, Suprasad V. Amari, Sy-Yen Kuo |
Reliability Evaluation of Multi-state Systems Subject to Imperfect Coverage using OBDD. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hideyuki Kawashima, Motomichi Toyama, Yuichiro Anzai, Michita Imai |
Providing Persistence or Sensor Streams with Light Neighbor WAL. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Joaquin Gracia, Daniel Gil, Juan Carlos Baraza, Pedro J. Gil |
Using VHDL-Based Fault Injection to exercise Error Detection Mechanisms in the Time-Triggered Architecture. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers |
Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sangman Moh, Chansu Yu, Ben Lee, Hee Yong Youn |
Energy Efficient and Robust Multicast Protocol for Mobile Ad Hoc Networks. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kin'ya Takahashi, Kunihito Yamamori, Ikuo Yoshihara, Susumu Horiguchi |
Comparison with Defect Compensation Methods for Feed-forward Neural Networks. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno |
Detecting Feature Interactions in Telecommunication Services with a SAT Solver. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | François Taïani, Jean-Charles Fabre, Marc-Olivier Killijian |
Principles of Multi-Level Reflection for Fault Tolerant Architectures. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Chi-Yi Lin, Szu-Chi Wang, Sy-Yen Kuo, Ing-Yi Chen |
A Low Overhead heckpointing Protocol for Mobile Computing Systems. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yoshihiro Tohma |
Fault Tolerance in Autonomic Computing Environment. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Arai, Hitoshi Kurosu, Satoshi Fukumoto, Kazuhiko Iwasaki |
Evaluation of Convolutional-Code-Based FEC under Limited Recovery Time and Its Application to Real-time Transmission. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Young Jin Nam, Chanik Park |
An Adaptive High-Low Water Mark Destage Algorithm for Cached RAID5. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yasushi Shinjo, Kotaro Eiraku, Atsushi Suzuki, Kozo Itano, Calton Pu |
Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | João Durães, Henrique Madeira |
Characterization of Operating Systems Behavior in the Presence of Faulty Drivers through Software Fault Emulation. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Nakamura, Takanori Arai, Masahiro Fujita |
Formal Verification of a Pipelined Processor with New Memory. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | HariGovind V. Ramasamy, Michel Cukier, William H. Sanders |
Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Takahashi, Kewal K. Saluja, Yuzo Takamatsu |
An Alternative Method of Generating Tests for Path Delay Faults Using N -Detection Test Sets. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kuan-Sheng Hsueh, Sheng-De Wang |
A Packet-Based Caching Proxy with Loss Recovery for Video Streaming. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Miron Livny, Douglas Thain |
Caveat Emptor: Making Grid Services Dependable from the Client Side. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Shyue-Kung Lu, Chien-Hung Yeh |
Enhancing Delay Fault Testability for Iterative Logic Array. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yuan-Shun Dai, Min Xie 0001, Kim-Leng Poh |
Reliability Analysis of Grid Computing Systems. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Baldoni, Carlo Marchetti, Sara Tucci Piergiovanni |
Asynchronous Active Replication in Three-Tier Distributed Systems. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yousuke Nakamura, Kei Hiraki |
Highly Fault-Tolerant FPGA Processor by Degrading Strategy. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau |
Analysis of the Effects of Real and Injected Software Faults: . |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer Ren, Paul Rubel, Mouna Seri, Michel Cukier, William H. Sanders, Tod Courtney |
Passive Replication Schemes in Aqua. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Itsuo Takanami, Yasuhiro Oyama |
An Extreme Value Injection Approach with Reduced Learning Time to Make MLNs Multiple-Weight-Fault Tolerant. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hyunjoo Kim, Heon Young Yeom, Taesoon Park, Hyoung-Woo Park |
The Cost of Checkpointing, Logging and Recovery for the Mobile Agent Systems. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | |
9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan |
PRDC |
2002 |
DBLP BibTeX RDF |
|
1 | Fu-Min Yeh, Hung-Yau Lin, Sy-Yen Kuo |
Analyzing Network Reliability With Imperfect Nodes Using OBDD. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jichiang Tsai 0001, Jenn-Wei Lin |
On Characteristics of DEF Communication-Induced Checkpointing Protocols. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marco Vieira, Henrique Madeira |
Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ganesan Umanesan, Eiji Fujiwara |
A Class of Random Multiple Bits in a Byte Error Correcting (S t/b EC)Codes for Semiconductor Memory Systems. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Örjan Askerdal, Magnus Gäfvert, Martin Hiller, Neeraj Suri |
A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jiannong Cao 0001, Xianbing Wang, Siu Lo, Sajal K. Das 0001 |
A Consensus Algorithm for Synchronous Distributed Systems using Mobile Agent. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Gawkowski, Janusz Sosnowski |
Using Software Implemented Fault Inserter in Dependability Analysis. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Leon Alkalai |
Perspectives on Dependable Computing for Solar System Exploration. |
PRDC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Savio N. Chau, Joseph Smith, Ann T. Tai |
A Design-Diversity Based Fault-Tolerant COTS Avionics Bus Network. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Nicole Sergent, Xavier Défago, André Schiper |
Impact of a Failure Detection Mechanism on the Performance of Consensus. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tadayoshi Horita, Itsuo Takanami |
Analytical Results for Reconfiguration of E-11/2- Track Switch Torus Arrays with Multiple Fault Types. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hyo-Chang Nam, Jong Kim 0001, Sung Je Hong, Sunggu Lee |
A Secure Checkpointing System. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Daeyoung Kim 0001, Yoonmee Doh, Yann-Hang Lee |
Table Driven Proportional Access Based Real-Time Ethernet for Safety-Critical Real-Time Systems. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hairong Sun, James J. Han, Haim Levendel |
A Generic Availability Model for Clustered Computing System. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hairong Sun, James J. Han |
Instantaneous Availability and Interval Availability for Systems with Time-Varying Failure Rate: Stair-Step Approximation. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Battista Barone, N. Margarita, Antonino Mazzeo, Nicola Mazzocca, Luigi Romano |
Secure Access to Personalized Web Services. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Minsu Choi, Nohpill Park, Fred J. Meyer, Fabrizio Lombardi |
Connectivity-Based Multichip Module Repair. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ching-Hua Chuan, Sy-Yen Kuo |
Cache Management of Dynamic Source Routing for Fault Tolerance in Mobile Ad Hoc Networks. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gyung-Leen Park, Hee Yong Youn, Hyunseung Choo |
Optimal Checkpoint Interval Analysis Using Stochastic Petri Net. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno |
Automatic Verification of Fault Tolerance Using Model Checking. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | |
8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea |
PRDC |
2001 |
DBLP BibTeX RDF |
|
1 | Christof Fetzer, Michel Raynal, Frederic Tronel |
An Adaptive Failure Detection Protocol. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Shigeto Hiraguri, Noriyuki Nishibori, Yasuko Hidaka, Takayuki Kasai, Hideo Nakamura |
Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Byeong Min, Gwan Choi |
ECC: Extended Condition Coverage for Design Verification Using Excitation and Observation. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hiromi Kobayashi |
Safety Analysis Using Temporal Database. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Max Walter, Carsten Trinitis, Wolfgang Karl |
OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Byung-Rae Lee, Tai-Yun Kim, Sang-Seung Kang |
Ticket Based Authentication and Payment Protocol for Mobile Telecommunications Systems. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou |
A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Youngjae Kim, Sungjune Hong, Kiyong Park, Keecheon Kim, Sunyoung Han |
Intelligent Fault-Tolerant CORBA Service on Real-Time CORBA. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
IFTS, CORBA Service, object replication Category : Regular paper Topic : Fault-tolerant systems and software, Fault-Tolerance, Real-Time |
1 | Yukie Sasaki, Hiroei Imai, Masahiro Tsunoyama, Ikuo Ishii |
Approximation Method for Probability Distribution Functions Using Cox Distribution to Evaluate Multimedia Systems. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tomoya Kitai, Tomohiro Yoneda |
Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ji Y. Lim, Tai M. Chung |
Enhanced Token Delivery Scheme for Reliable Multicasting in Wireless Networks. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jung-Min Kang, Wook Shin, C.-G. Park, Dong-Ik Lee |
Extended BLP Security Model Based on Process Reliability for Secure Linux Kernel. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Heun Kim, Dae-Joon Hwang |
A Study on the System Call for the Protection of Intellectual Property Rights on Linux Base. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
IPR, systemcall, hooking, RPLA, kernel |
1 | Daisuke Ito, Haruo Yokota |
Automatic Reconfiguration of an Autonomous Disk Cluster. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
Autonomous disks, network disks, cluster, reconfiguration, SAN, NAS |
1 | Cristian Constantinescu |
Dependability Analysis of a Fault-Tolerant Processor. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Yang-Koo Kang, Moon-Hyun Kim |
Real-Time Fingerprints Recognition Mechanism-Based on Digital Contents Protection System for Interaction on Web. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
Digital Contents protection, Digital Rights Providers, Fingerprint Recognition Mechanism, DRM |
1 | Seongwoo Kim, Arun K. Somani |
SSD: An Affordable Fault Tolerant Architecture for Superscalar Processors. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | R. K. Shyamasundar, J. V. Aghav |
Validating Real-Time Constraints in Embedded Systems. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
Validation & Verification, Embedded Systems, Synchronous Languages, Esterel, RealTime Systems |
1 | Moon Jeong Kim, Young Ik Eom |
An Adaptive Routing Protocol Supporting Reliable Communication in Wireless Ad-Hoc Network Environments. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Masato Kitakami, Shunji Kubota, Hideo Ito |
Fault-Tolerance of Functional Programs Based on the Parallel Graph Reduction. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
Referential transparency, Fault tolerance, functional programming, message logging, graph reduction |
1 | Wei-Cheng Su, Szu-Chi Wang, Sy-Yen Kuo |
Failure Detection Mechanism for Distributed Object Computing Using CORBA. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Pérez, Germán Fabregat, Rafael J. Martínez, Juan J. Villaplana |
TREG: Transactional Services Based on Incremental Messages. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
incremental messages, operating systems, checkpointing, Transactional systems, replicated data management |
1 | Masayuki Matsumoto, Tadao Tsurumaki, Tatsuya Shigeta, Korefumi Tashiro, Dai Watanabe |
Dependable Automatic Train Control System Using Digital Track Signals. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hsien Hsu, Shyue-Kung Lu, Sy-Yen Kuo |
Novel Fault-Tolerant Techniques for High Capacity RAMs. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
divided bit-line, divided word-line, fault tolerance and redundancy, built-in self-repair |
1 | Masayuki Arai, Anna Yamamoto, Anna Yamaguchi, Satoshi Fukumoto, Kazuhiko Iwasaki |
Analysis of Using Convolutional Codes to Recover Packet Losses over Burst Erasure Channels. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Philippe Sauvé, Flávia Estelia Silva Coelho |
Availability Considerations in Network Design. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Toshinori Takabatake, Masato Kitakami, Hideo Ito |
Escape and Restoration Routing: Suspensive Deadlock Recovery in Interconnection Networks. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tadashi Dohi, Takashi Danjou, Hiroyuki Okamura |
Optimal Software Rejuvenation Policy with Discounting. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
semi-Mark v process, modified TTT statistics, estimation algorithm, cost model, software rejuvenation, preventive maintenance |
1 | Sam Soo Pyo |
Implications of Dependable Computing in Banking Industry. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|