相关期刊:《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...
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...
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 the Special Fund for Basic Scientific Research of Central Colleges, China University of Geosciences (Wuhan) (Grant No. 090109);the Science and Research Start-Up Project for the Recruit Talent of China University of Geosciences (Wuhan) (Grant No. 20090113)
In unattended wireless sensor networks (UWSNs), sensed data are stored locally or at designated nodes and further accessed by authorized collectors on demand. This paradigm is motivated by certain scenarios where hi...