Editor’s Note Tao XieLu ZhangJian Lü Special Focus on High-Confidence Software Technologies 29 April 2015 Pages: 1 - 2
Service fault tolerance for highly reliable service-oriented systems: an overview ZiBin ZhengMichael Rung Tsong LyuHuaiMin Wang Review 08 April 2015 Pages: 1 - 12
A survey on dependability improvement techniques for pervasive computing systems WenHua YangYePang LiuS. C. Cheung Review 23 March 2015 Pages: 1 - 14
Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems FuTian WangXiao LiuYun Yang Review 08 April 2015 Pages: 1 - 16
A revisit of three studies related to random testing Tsong Yueh ChenFei-Ching KuoZhi Quan Zhou Review 23 March 2015 Pages: 1 - 9
Fixing, preventing, and recovering from concurrency bugs DongDong DengGuoLiang JinWeiMin Zheng Review 10 April 2015 Pages: 1 - 18
The essence of bidirectional programming Sebastian FischerZhenJiang HuHugo Pacheco Research Paper 10 April 2015 Pages: 1 - 21
Efficient collision attacks on smart card implementations of masked AES An WangZongYue WangLiJi Wu Research Paper 07 February 2015 Pages: 1 - 15
Improved non-negative tensor Tucker decomposition algorithm for interference hyper-spectral image compression Jia WenJunSuo ZhaoCaiLing Wang Research Paper 20 December 2014 Pages: 1 - 9
Bayesian mechanism for rational secret sharing scheme YouLiang TianChangGen PengWenJiang Ji Research Paper 12 January 2015 Pages: 1 - 13
Context-aware local abnormality detection in crowded scene XiaoBin ZhuXin JinLei Wang Research Paper 08 April 2015 Pages: 1 - 11
Robust low-rank tensor factorization by cyclic weighted median DeYu MengBiao ZhangChenQiang Gao Research Paper 10 October 2014 Pages: 1 - 11
Two new upper bounds of the solution for the continuous algebraic Riccati equation and their application YaPing XiaChenXiao CaiYun Zou Research Paper 17 September 2014 Pages: 1 - 12
Sliding mode decoupling control of a generic hypersonic vehicle based on parametric commands Peng WangGuoJian TangJie Wu Research Paper 14 October 2014 Pages: 1 - 14
Towards an Esox lucius inspired multimodal robotic fish ZhengXing WuJunZhi YuZhenLong Li Research Paper 07 February 2015 Pages: 1 - 13
On decoupled or coupled control of bank-to-turn missiles ZhiSheng DuanLin HuangGuoZheng Qin Research Paper 05 February 2015 Pages: 1 - 13
Convergence analysis and application of the central force optimization algorithm Chao MengJing GongZhiXin Sun Letter 10 April 2015 Pages: 1 - 3