School of Computing491
Latest publications
- ArticleA forensic examination of online search facility URL record structures
Journal of Forensic Sciences30May2018
Horsman, G. (Graeme) - ArticleA UTP semantics for communicating processes with shared variables and its formal encoding in PVS
Formal Aspects of Computing1May2018
Shi, L. (Ling); Zhao, Y. (Yongxin); Liu, Y. (Yang); Sun, J. (Jun); Dong, J. S. (Jin Song); Qin, S. (Shengchao) - ArticleVGDRA: A Virtual Grid-Based Dynamic Routes Adjustment Scheme for Mobile Sink-Based Wireless Sensor NetworksIEEE Sensors Journal23Mar2018
Khan, A. W. (Abdul); Abdullah, A. H. (Abdul); Razzaque, M. A. (Mohammad); Bangash, J. I. (Javed) - ArticleMiddleware for Internet of Things: A SurveyIEEE Internet of Things Journal23Mar2018
Razzaque, M. A. (Mohammad); Milojevic-Jevric, M. (Marija); Palade, A. (Andrei); Clarke, S. (Siobhan) - ArticleQoS in Body Area Networks: A survey23Mar2018