相关期刊:《Frontiers of Computer Science》《Wuhan University Journal of Natural Sciences》《Journal of Donghua University(English Edition)》《Journal of Power and Energy Engineering》更多>>
This work was supported in part by National Natural Science Foundation of China under grant No.61272411 and National 973 Basic Research Program of China under grant No.2014CB340600
Dependability analysis is an important step in designing and analyzing safety computer systems and protection systems.Introducing multi-processor and virtual machine increases the system faults' complexity,diversity a...
supported by Innovation Project of Shanghai Municipal Education Commission (No. 11YZ09);Shanghai Leading Academic Discipline Project (No. J50103);Foundation of Key Laboratory of Computer System and Architecture, Institute of Computing Technology, Chinese Academy of Sciences
Much research has been done on the dependability evaluation of computer systems. However, much of this is gone no further than study of the fault coverage of such systems, with little focus on the relationship between...
Supported by the National Natural Science Foundation of China (70771043, 60873225, 60773191)
Quorum system is a preferable model to construct distributed access control architecture, but not all quorum system can satisfy the requirements of distributed access control architecture. Aiming at the dependable pro...
With the rapid development and wide applicatioos of computing systems on which more reliance hu been put, a dependable syatem will be much more important than ever. This paper is hrst aimed at giving informal but prec...