Abstract is missing.
- Towards privacy-preserving computing on distributed electronic health record dataKassaye Yitbarek Yigzaw, Johan Gustav Bellika, Anders Andersen, Gunnar Hartvigsen, Carlos Fernandez-Llatas. [doi]
- Model-based high availability configuration framework for cloudYihan Wu, Gang Huang 0001. [doi]
- DPAC: an infrastructure for dynamic program analysis of concurrency Java programsYanyan Jiang, Chang Xu, Xiaoxing Ma. [doi]
- IDEA: improving dependability for self-adaptive applicationsWenhua Yang, Chang Xu, Linghao Zhang. [doi]
- Minimal cut sequence generation for state/event fault treesBingfeng Xu, Zhiqiu Huang, Jun Hu, Ou Wei, Yu Zhou. [doi]
- VeriDroid: automating Android application verificationYepang Liu, Chang Xu. [doi]