Items where Division is "Faculty of Computing, Engineering and the Built Environment" and Year is 2003

Up a level
Export as [feed] RSS
Group by: Creators | Item Type | No Grouping
Number of items: 7.

Book Section

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

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

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

Conference or Workshop Item

Alderson, A. and Salter, A. and Sharp, P. and Shah, H. (2003) Defending Essential Processes. In: The 5th International Conference on Enterprise Information Systems ICEIS 2003, 23-26, April, 2003, Angers France.

Sharp, P. and Eardley, W.A. and Shah, H. (2003) Use of Visual Tools in the Context of Development of MaKE – a KM Method, ECKM 2003. In: The 4th European Conference on Knowledge Management, Oriel College, 18-19 Sept 2003, Oxford University, UK.

This list was generated on Tue Sep 27 09:48:37 2022 UTC.

Research

In this section...