| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An efficient method for detecting concurrency errors in object-oriented programs
|
He, YanXiang
|
|
2012
|
55 |
12 |
p. 2774-2784
|
artikel
|
| 2 |
An evaluation framework for energy aware buildings using statistical model checking
|
David, Alexandre
|
|
2012
|
55 |
12 |
p. 2694-2707
|
artikel
|
| 3 |
An in-depth investigation into the relationships between structural metrics and unit testability in object-oriented systems
|
Zhou, YuMing
|
|
2012
|
55 |
12 |
p. 2800-2815
|
artikel
|
| 4 |
Anticipatory active monitoring for safety- and security-critical software
|
Dong, Wei
|
|
2012
|
55 |
12 |
p. 2723-2737
|
artikel
|
| 5 |
Automatic real-time SLAM relocalization based on a hierarchical bipartite graph model
|
Dong, QiuLei
|
|
2012
|
55 |
12 |
p. 2841-2848
|
artikel
|
| 6 |
Bistatic scattering centres of cone-shaped targets and target length estimation
|
Ai, XiaoFeng
|
|
2012
|
55 |
12 |
p. 2888-2898
|
artikel
|
| 7 |
Clustering mechanism for electric tomography imaging
|
Yue, ShiHong
|
|
2012
|
55 |
12 |
p. 2849-2864
|
artikel
|
| 8 |
Comparing logic coverage criteria on test case prioritization
|
Fang, ChunRong
|
|
2012
|
55 |
12 |
p. 2826-2840
|
artikel
|
| 9 |
Intelligent transportation systems for smart cities: a progress review
|
Xiong, Zhang
|
|
2012
|
55 |
12 |
p. 2908-2914
|
artikel
|
| 10 |
Localizing root causes of performance anomalies in cloud computing systems by analyzing request trace logs
|
Mi, HaiBo
|
|
2012
|
55 |
12 |
p. 2757-2773
|
artikel
|
| 11 |
Loop reduction techniques for reachability analysis of linear hybrid automata
|
Pan, MinXue
|
|
2012
|
55 |
12 |
p. 2663-2674
|
artikel
|
| 12 |
Modeling and analyzing mixed communications in service-oriented trustworthy software
|
Jiang, JianMin
|
|
2012
|
55 |
12 |
p. 2738-2756
|
artikel
|
| 13 |
More efficient automatic repair of large-scale programs using weak recompilation
|
Qi, YuHua
|
|
2012
|
55 |
12 |
p. 2785-2799
|
artikel
|
| 14 |
Research and progress of Beidou satellite navigation system
|
Sun, FuPing
|
|
2012
|
55 |
12 |
p. 2899-2907
|
artikel
|
| 15 |
Secure quantum report with authentication based on six-particle cluster state and entanglement swapping
|
Li, Ning
|
|
2012
|
55 |
12 |
p. 2881-2887
|
artikel
|
| 16 |
Software structure evaluation based on the interaction and encapsulation of methods
|
Zheng, QingHua
|
|
2012
|
55 |
12 |
p. 2816-2825
|
artikel
|
| 17 |
The stochastic semantics and verification for periodic control systems
|
Yang, MengFei
|
|
2012
|
55 |
12 |
p. 2675-2693
|
artikel
|
| 18 |
Towards a degradation-based mechanism for adaptive overload control
|
Wang, ZiYou
|
|
2012
|
55 |
12 |
p. 2708-2722
|
artikel
|
| 19 |
VMckpt: lightweight and live virtual machine checkpointing
|
Liu, HaiKun
|
|
2012
|
55 |
12 |
p. 2865-2880
|
artikel
|
Tijdschrift beschrijving