Browse

My Account

Use filters to refine the search results.

Now showing items 1-9 of 9

Run-time analysis of time-critical systems.

Cau, A. (Antonio); Zedan, Hussein; Zhou, Shikun (Elsevier, 2005-05-01)
A compositional framework for access control policies enforcement

Cau, A. (Antonio); Siewe, Francois; Zedan, Hussein (2003-10-01)
Augmenting semantic webservice descriptions with compositional specifications

Cau, A. (Antonio); Solanki, Monika; Zedan, Hussein (2004-05-01)
Legacy assembler reengineering and migration.

Ward, Martin; Hardcastle, T.; Zedan, Hussein (2004-09-01)
Deriving enforcement mechanisms for policies

Zedan, Hussein; Cau, A. (Antonio); Janicke, Helge; Siewe, Francois (2007-06-01)
ASDL: a wide spectrum language for designing web services

Zedan, Hussein; Cau, A. (Antonio); Solanki, Monika (2006-05-01)
A compositional framework for hardware/software co-design

Zedan, Hussein; Cau, A. (Antonio); Dimitrov, J.; Hale, R.; Moszkowski, B. C.; Manjunathaiah, M.; Spivey, M. (Springer Verlag, 2002-01-01)
A compositional event and time-based policy model

Cau, A. (Antonio); Janicke, Helge; Siewe, Francois; Zedan, Hussein; Jones, Kevin (2006-06-01)
Slicing as a program transformation.

Zedan, Hussein; Ward, Martin (ACM, 2007-04-01)

Now showing items 1-9 of 9