研究項目 面向車聯網應用數據傳輸效率與隐私保護的混合通信機制建模與評估建模與評估,江蘇省自然科學基金青年基金(BK20160543),2016年7月至2019年6月。 發表論文 1 X. Chen, L. Wang, J. Ding and N. Thomas,Patient Flow Scheduling and Capacity Planning in a Smart Hospital Environment, IEEE Access,2016. 2 X. Chen, J. Ding and N. Thomas, Dynamic Scheduling Policy for Patient Flow in a Smart Environment, Chinese Journal of Electronics, 2016. 3 X. Chen and L. Wang, Exploring Trusted Data Dissemination in a Vehicular Social Network with a Formal Compositional Approach, 2016 IEEE 40th Annual Computer Software and Applications Conference (2016 COMPSAC), Atlanta, US, 2016. 4 X. Chen, N. Thomas and J. Ding, Performance Modelling of Patient Flow Scheduling Through a Formal Method, Journal of Shanghai Jiaotong University, 2016. 5 N. Thomas, M. Harrison, Y. Zhao, X. Chen, From Protocols to People: Large Scale Analysis in Markovian Process Algebra, Computer Performance Engineering: EPEW/UKPEW 2012, Edinburgh, UK: Springer, 2012. 6 X. Chen, N. Thomas, M. Harrison. Performance Evaluation of Scheduling Policies in a Smart Hospital Environment, International Conference on Cyber Enabled Distributed Computing and Knowledge Discovery (CyberC), Beijing, China: IEEE, 2011. |