相关期刊:《Frontiers of Computer Science》《Wuhan University Journal of Natural Sciences》《Journal of Donghua University(English Edition)》《Journal of Power and Energy Engineering》更多>>
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...
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...