Response-time bounds of EQL rule-based programs under rule priority structure
Get full text
Journal Article
Conference Proceeding
Analysis of real-time rule-based systems with behavioral constraint assertions specified in Estella
Cheng, A.M.K., Browne, J.C., Mok, A.K., Rwo-Hsi Wang
Published in IEEE transactions on software engineering (01.09.1993)
Published in IEEE transactions on software engineering (01.09.1993)
Get full text
Journal Article
Simulation-verification: biting at the state explosion problem
Stuart, D.A., Brockmeyer, M., Mok, A.K., Jahanian, F.
Published in IEEE transactions on software engineering (01.07.2001)
Published in IEEE transactions on software engineering (01.07.2001)
Get full text
Journal Article
Reliable and Real-Time Communication in Industrial Wireless Mesh Networks
Song Han, Xiuming Zhu, Mok, A K, Deji Chen, Nixon, M
Published in 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium (01.04.2011)
Published in 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium (01.04.2011)
Get full text
Conference Proceeding
On Co-Scheduling of Update and Control Transactions in Real-Time Sensing and Control Systems: Algorithms, Analysis, and Performance
Song Han, Kam-Yiu Lam, Jiantao Wang, Ramamritham, K., Mok, A. K.
Published in IEEE transactions on knowledge and data engineering (01.10.2013)
Published in IEEE transactions on knowledge and data engineering (01.10.2013)
Get full text
Journal Article
Resource partition for real-time systems
Mok, A.K., Feng, X., Deji Chen
Published in Proceedings Seventh IEEE Real-Time Technology and Applications Symposium (2001)
Published in Proceedings Seventh IEEE Real-Time Technology and Applications Symposium (2001)
Get full text
Conference Proceeding
Amino Acid Residues 253 and 591 of the PB2 Protein of Avian Influenza Virus A H9N2 Contribute to Mammalian Pathogenesis
Mok, Chris Ka Pun, Yen, Hui Ling, Yu, May Yan Mei, Yuen, Kit Man, Sia, Sin Fun, Chan, Michael Chi Wai, Qin, Gang, Tu, Wen Wei, Peiris, Joseph Sriyal Malik
Published in Journal of Virology (01.09.2011)
Published in Journal of Virology (01.09.2011)
Get full text
Journal Article