Items where Division is "Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security" and Year is 2003

A

Abdallah, Ali E. and Bowen, J. and Barros, A. and Barros, J. B. (2003) A provably correct functional programming approach to the prototyping of formal Z specifications. In: Computer Systems and Applications, 2003. Book of Abstracts. ACS/IEEE International Conference. IEEE Conference Publications, p. 73. ISBN 0-7803-7983-7

Abdallah, Ali E. and Hawkins, J. (2003) Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications. In: System Sciences, 2003. Proceedings of the 36th Annual International Conference. IEEE Conference Publications, pp. 1-11. ISBN 0-7695-1874-5

Abdallah, Ali E. and Luk, W. (2003) Formal methods for engineering special-purpose parallel systems introduction to minitrack. In: System Sciences, 2003. Proceedings of the 36th Annual International Conference. IEEE Conference Publications, p. 277. ISBN 0-7695-1874-5

D

Damaj, I. and Hawkins, J. and Abdallah, Ali E. (2003) Mapping high level algorithms onto massively parallel reconfigurable hardware. In: Computer Systems and Applications, 2003. Book of Abstracts. ACS/IEEE International Conference. IEEE Conference Publications, p. 14. ISBN 0-7803-7983-7

K

Khayat, E. J. and Abdallah, Ali E. (2003) A formal model for flat role-based access control. In: Computer Systems and Applications, 2003. Book of Abstracts. ACS/IEEE International Conference. IEEE Conference Publications, p. 75. ISBN 0-7803-7983-7