Volgen
Hussein Zedan
Hussein Zedan
Professor
Geen geverifieerd e-mailadres
Titel
Geciteerd door
Geciteerd door
Jaar
a comprehensive survey on vehicular ad hoc networks
HZ Saif Al-Sultan, Moath M. Al-Doori, Ali H. Al-Bayatti
Journal of Network and Computer Applications 37, 380–392, 2014
1836*2014
Using formal specifications to support testing
RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ...
ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009
4862009
Why moodle
A Al-Ajlan, H Zedan
2008 12th IEEE International Workshop on Future Trends of Distributed …, 2008
3552008
Context-aware driver behavior detection system in intelligent transportation systems
S Al-Sultan, AH Al-Bayatti, H Zedan
IEEE transactions on vehicular technology 62 (9), 4264-4275, 2013
2702013
The calculus of context-aware ambients
F Siewe, H Zedan, A Cau
Journal of Computer and System Sciences 77 (4), 597-620, 2011
1392011
Augmenting semantic web service descriptions with compositional specification
M Solanki, A Cau, H Zedan
Proceedings of the 13th international conference on World Wide Web, 544-552, 2004
1122004
The implementation of an intelligent and video-based fall detection system using a neural network
L Alhimale, H Zedan, A Al-Bayatti
Applied Soft Computing 18, 59-69, 2014
832014
Refining interval temporal logic specifications
A Cau, H Zedan
Transformation-Based Reactive Systems Development: 4th International AMAST …, 1997
771997
A specification-oriented semantics for the refinement of real-time systems
D Scholefield, H Zedan, H Jifeng
Theoretical Computer Science 131 (1), 219-241, 1994
741994
A compositional framework for access control policies enforcement
F Siewe, A Cau, H Zedan
Proceedings of the 2003 ACM workshop on Formal Methods in Security …, 2003
712003
Generating OWL ontology for database integration
N Alalwan, H Zedan, F Siewe
2009 Third International Conference on Advances in Semantic Processing, 22-31, 2009
602009
Slicing as a program transformation
M Ward, H Zedan
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2), 7-es, 2007
542007
Formal methods for the re-engineering of computing systems: a comparison
X Liu, H Yang, H Zedan
Proceedings Twenty-First Annual International Computer Software and …, 1997
511997
Non-intrusive speech quality prediction in VoIP networks using a neural network approach
M Al-Akhras, H Zedan, R John, I Almomani
Neurocomputing 72 (10-12), 2595-2608, 2009
492009
Interval temporal logic
A Cau, B Moszkowski, H Zedan
URL: http://www. cms. dmu. ac. uk/~ cau/itlhomepage/itlhomepage. html, 2006
452006
Dynamic access control policies: Specification and verification
H Janicke, A Cau, F Siewe, H Zedan
The Computer Journal 56 (4), 440-463, 2013
432013
E-learning (Moodle) based on service oriented architecture
H Zedan, A Al-Ajlan
Proc. of the EADTU's 20th Anniversary Conference, 2007
412007
Rough set approach to online signature identification
W Al-Mayyan, HS Own, H Zedan
Digital Signal Processing 21 (3), 477-485, 2011
372011
A note on the formalisation of UCON
H Janicke, A Cau, H Zedan
Proceedings of the 12th ACM symposium on Access control models and …, 2007
372007
Using ITL and Tempura for large-scale specification and simulation
A Cau, H Zedan, N Coleman, B Moszkowski
Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing …, 1996
371996
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20