相关期刊:《Frontiers of Computer Science》《Wuhan University Journal of Natural Sciences》《Journal of Donghua University(English Edition)》《Journal of Power and Energy Engineering》更多>>
This study aimed to develop and evaluate the performance of a service system platform based on the Internet of Things(IoT)for monitoring nutritional deficiencies in plants and providing fertilizer recommendations.Ther...
Distributed virtualization changes the pattern of building software systems. However, it brings some problems on dependability assurance owing to the complex social relationships and interactions between service compo...
This paper introduces an architecture of distributed systems that facilitates the implementation of a substantial range of dependable system properties, i.e., properties that span an entire system, or a set of compone...
Maloperation of conventional relays is becoming prevalent due to ever increase in complexity of conventional power grids.They are dominant during power system contingencies like power swing,load encroachment,voltage i...
Modernization of armies is a constant process and is driven by intuitive fact that those who do not modernize will become extinct. In last five decades, the development of modern armies has taken place around Colonel ...
supported by National Basic Research Program of China(973 Program)(Grant No.2015CB352202);National Natural Science Foundation of China(Grant Nos.61472174,91318301,61321491);Research Grants Council(General Research Fund 611813)of Hong Kong
Abstract The goal of this survey is to summarize the state-of-the-art research results and identify research challenges of developing and deploying dependable pervasive computing systems. We discuss the factors that a...
The paper is based on the research on a formal definition of software testing, with reference to organisms evolution's heredity/variation and adaptive dynamics equation. The formal descriptions on the heredity/variat...
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 National Basic Research Program of China(973 Program)(Grant Nos.2009CB3207-01,2011CB302704);Key Project of National Natural Science Foundation of China(Grant No.90818026);National Key Technology R&D Program(Grant No.2008BAH32B02)
At present, great demands are posed on software dependability. But how to elicit the dependability requirements is still a challenging task. This paper proposes a novel approach to address this issue. The essential id...
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...