Chinese | English

Search in the results

CSpace

Browse/Search Results:  1-6 of 6 Help

Selected(0)Clear Items/Page:    Sort:
Emergence of relativistic effect in probabilistic flooding of Mobile Ad hoc Networks 期刊论文
PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2011, 卷号: 390, 期号: 8, 页码: 1474-1480
Authors:  Cai, Kai-Yuan;  Cao, Jing;  Dong, Zhao;  Liu, Ke;  Zhao, Qinping
Favorite  |  View/Download：143/0  |  Submit date：2018/07/30
Mobile Ad hoc Networks  Broadcasting  Blind flooding  Probabilistic flooding  Relativistic effect  
Phase transition on the degree sequence of a random graph process with vertex copying and deletion 期刊论文
STOCHASTIC PROCESSES AND THEIR APPLICATIONS, 2011, 卷号: 121, 期号: 4, 页码: 885-895
Authors:  Cai, Kai-Yuan;  Dong, Zhao;  Liu, Ke;  Wu, Xian-Yuan
Favorite  |  View/Download：98/0  |  Submit date：2018/07/30
Degree sequence  Power law  Phase transition  Difference equation  
Mathematical modeling of software reliability testing with imperfect debugging 期刊论文
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2010, 卷号: 59, 期号: 10, 页码: 3245-3285
Authors:  Cai, Kai-Yuan;  Cao, Ping;  Dong, Zhao;  Liu, Ke
Favorite  |  View/Download：136/0  |  Submit date：2018/07/30
Software testing  Software reliability  Imperfect debugging  The principle of uncertainty  Markovian property  
Software testing processes as a linear dynamic system 期刊论文
INFORMATION SCIENCES, 2008, 卷号: 178, 期号: 6, 页码: 1558-1597
Authors:  Cai, Kai-Yuan;  Dong, Zhao;  Liu, Ke
Favorite  |  View/Download：129/0  |  Submit date：2018/07/30
software testing  software reliability  linear dynamic system  
关于软件可靠性测试的若干问题 期刊论文
工程数学学报, 2008, 卷号: 025, 期号: 006, 页码: 967
Authors:  蔡开元;  董昭;  刘克
Favorite  |  View/Download：82/0  |  Submit date：2020/01/10
A mathematical modeling framework for software reliability testing 期刊论文
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2007, 卷号: 36, 期号: 4, 页码: 399-463
Authors:  Cai, Kai-Yuan;  Dong, Zhao;  Liu, Ke;  Bai, Cheng-Gang
Favorite  |  View/Download：115/0  |  Submit date：2018/07/30
software testing  software reliability  Markov usage model based testing  software testing stability