Browsing by Author "Zedan, Hussein"
Now showing 1 - 20 of 86
Results Per Page
Sort Options
Item Metadata only Access control mechanism for mobile ad hoc network of networks.(IEEE, 2010-03) Al-Bayatti, Ali Hilal; Zedan, Hussein; Siewe, FrancoisItem Metadata only An agent-based approach for policy enforcement in secure workflow systems.(IEEE, 2010) Alotaibi, Hind; Zedan, HusseinItem Metadata only Agent-oriented middleware for mobile elearning services.(IEEE, 2009) Stoyanov, S.; Valkanova, V.; Ganchev, I.; O'Droma, M.; Zedan, HusseinItem Metadata only Agile service-oriented applications: Rule-based foundation with runtime adaptability.(AICIT, 2010) Alqahtani, Ali; Zedan, HusseinItem Metadata only Alignment strategies and frameworks in co-evolution of business and information technology.(IEEE, 2010) Asif Khan, M.; Zedan, HusseinItem Metadata only Analysis and run-time verification of dynamic security policies.(Springer, 2006) Janicke, Helge; Siewe, Francois; Jones, Kevin; Cau, A. (Antonio); Zedan, HusseinItem Metadata only Arabic language in the context of information extraction task.(Digital Information Research Foundation, 2011) Alruily, Meshrif; Ayesh, Aladdin, 1972-; Zedan, HusseinIn the past few years, researchers have started paying attention to the Arabic language. In this paper we review information extraction systems that were developed for the Arabic to extract predefined entities. A comparisons are conducted between these systems in terms of their performance in extracting the common entities, the approach used whether rule-based or machine learning and type of corpus.Item Metadata only ASDL: a wide spectrum language for designing web services(2006-05-01) Zedan, Hussein; Cau, A. (Antonio); Solanki, MonikaItem Open Access ATOM: an object-based formal method for real-time systems(2005-09-01) Zedan, Hussein; Cau, A. (Antonio); Chen, Zhiqiang; Yang, HongjiAn object based formal method for the development of real-time systems, called ATOM, is presented. The method is an integration of the real-time formal technique TAM (Temporal Agent Model) with an industry-strength structured methodology known as HRT-HOOD. ATOM is a systematic formal approach based on the refinement calculus. Within ATOM, a formal specification (or abstract description statement) contains Interval Temporal Logic (ITL) description of the timing, functional, and communication behavior of the proposed real-time system. This formal specification can be analyzed and then refined into concrete statements through successive applications of sound refinement laws. Both abstract and concrete statements are allowed to freely intermix. The semantics of the concrete statements in ATOM are defined denotationally in specification-oriented style using ITL.Item Metadata only Augmenting semantic webservice descriptions with compositional specifications(2004-05-01) Cau, A. (Antonio); Solanki, Monika; Zedan, HusseinItem Metadata only Automated dictionary construction from arabic corpus for meaningful crime information extraction and document classification.(IEEE, 2010) Alruily, Meshrif; Ayesh, Aladdin, 1972-; Zedan, HusseinItem Metadata only Automatically constructing dictionaries for extracting meaningful crime information from Arabic text.(IOS Press, 2010) Alruily, Meshrif; Ayesh, Aladdin, 1972-; Zedan, HusseinItem Metadata only Biometric-based authentication system using rough set theory.(Springer, 2010) Own, Hala S.; Al-Mayyan, Waheeda; Zedan, HusseinItem Metadata only The Calculus of context-aware ambients.(Elsevier, 2010-02-25) Siewe, Francois; Zedan, Hussein; Cau, A. (Antonio)We present the Calculus of Context-aware Ambients (CCA in short) for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambients and introduces new constructs to enable ambients and processes to be aware of the environment in which they are being executed. This results in a powerful calculus where both mobility and context-awareness are first-class citizens. We present the syntax and a formal semantics of the calculus. We propose a new theory of equivalence of processes which allows the identification of systems that have the same context-aware behaviours. We prove that CCA encodes the π-calculus which is known to be a universal model of computation. Finally, we illustrate the pragmatics of the calculus through many examples and a real-world case study of a context-aware hospital bed.Item Open Access CCA: a calculus of context-aware ambients.(IEEE, 2009) Siewe, Francois; Cau, A. (Antonio); Zedan, HusseinWe present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambients and introduces new constructs to enable ambients and processes to be aware of the environment in which they are being executed. This results in a powerful calculus where mobility and context-awareness are first-class citizens. We present the syntax and a formal semantics of the calculus. We show that CCA can encode the -calculus, and illustrate the pragmatics of the calculus through a case study of a context-aware hospital bed.Item Metadata only Combining dynamic and static slicing for analysing assembler.(Elsevier, 2010) Ward, Martin; Zedan, HusseinItem Metadata only A comparative evalution of feature level based fusion schemes for multimodal biometric authentication.(IEEE, 2011) Almayyan, Waheeda; Own, Hala S.; Zedan, HusseinItem Metadata only A compositional event and time-based policy model(2006-06-01) Cau, A. (Antonio); Janicke, Helge; Siewe, Francois; Zedan, Hussein; Jones, KevinItem Metadata only A compositional framework for access control policies enforcement(2003-10-01) Cau, A. (Antonio); Siewe, Francois; Zedan, HusseinItem Metadata only A compositional framework for hardware/software co-design(Springer, 2002-01-01) Zedan, Hussein; Cau, A. (Antonio); Dimitrov, J.; Hale, R.; Moszkowski, B. C.; Manjunathaiah, M.; Spivey, M.