Loop reduction techniques for reachability analysis of linear hybrid automata MinXue PanYou LiXuanDong Li Research Paper 24 November 2012 Pages: 2663 - 2674
The stochastic semantics and verification for periodic control systems MengFei YangZheng WangJiFeng He Research Paper 29 December 2012 Pages: 2675 - 2693
An evaluation framework for energy aware buildings using statistical model checking Alexandre DavidDeHui DuArne Skou Research Paper 29 December 2012 Pages: 2694 - 2707
Towards a degradation-based mechanism for adaptive overload control ZiYou WangMingHui ZhouHong Mei Research Paper 29 December 2012 Pages: 2708 - 2722
Anticipatory active monitoring for safety- and security-critical software Wei DongChangZhi ZhaoMartin Leucker Research Paper 29 December 2012 Pages: 2723 - 2737
Modeling and analyzing mixed communications in service-oriented trustworthy software JianMin JiangShi ZhangHouGuang Yue Research Paper 29 December 2012 Pages: 2738 - 2756
Localizing root causes of performance anomalies in cloud computing systems by analyzing request trace logs HaiBo MiHuaiMin WangHua Cai Research Paper 29 December 2012 Pages: 2757 - 2773
An efficient method for detecting concurrency errors in object-oriented programs YanXiang HeWei WuYong Chen Research Paper 29 December 2012 Pages: 2774 - 2784
More efficient automatic repair of large-scale programs using weak recompilation YuHua QiXiaoGuang MaoBin Gu Research Paper 29 December 2012 Pages: 2785 - 2799
An in-depth investigation into the relationships between structural metrics and unit testability in object-oriented systems YuMing ZhouHareton LeungBaoWen Xu Research Paper 29 December 2012 Pages: 2800 - 2815
Software structure evaluation based on the interaction and encapsulation of methods QingHua ZhengZhiJiang OuChao Zheng Research Paper 29 December 2012 Pages: 2816 - 2825
Comparing logic coverage criteria on test case prioritization ChunRong FangZhenYu ChenBaoWen Xu Research Paper 29 December 2012 Pages: 2826 - 2840
Automatic real-time SLAM relocalization based on a hierarchical bipartite graph model QiuLei DongZhaoPeng GuZhanYi Hu Research Paper 28 September 2012 Pages: 2841 - 2848
Clustering mechanism for electric tomography imaging ShiHong YueTeresa WuHuaXiang Wang Research Paper 29 December 2012 Pages: 2849 - 2864
VMckpt: lightweight and live virtual machine checkpointing HaiKun LiuHai JinChengZhong Xu Research Paper 17 February 2012 Pages: 2865 - 2880
Secure quantum report with authentication based on six-particle cluster state and entanglement swapping Ning LiXinWei ZhaQian Lan Research Paper 20 October 2012 Pages: 2881 - 2887
Bistatic scattering centres of cone-shaped targets and target length estimation XiaoFeng AiXiaoHai ZouShunPing Xiao Research Paper 29 December 2012 Pages: 2888 - 2898
Research and progress of Beidou satellite navigation system FuPing SunShuai LiuBaoHong Men Progress 29 December 2012 Pages: 2899 - 2907
Intelligent transportation systems for smart cities: a progress review Zhang XiongHao ShengDave E. Cooper Progress 24 November 2012 Pages: 2908 - 2914