Підписатись
Hussein Zedan
Hussein Zedan
Professor
Немає підтвердженої електронної адреси
Назва
Посилання
Посилання
Рік
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
1745*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
5042009
Why moodle
A Al-Ajlan, H Zedan
2008 12th IEEE International Workshop on Future Trends of Distributed …, 2008
3152008
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
2562013
The calculus of context-aware ambients
F Siewe, H Zedan, A Cau
Journal of Computer and System Sciences 77 (4), 597-620, 2011
1342011
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
1132004
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
822014
Refining interval temporal logic specifications
A Cau, H Zedan
Transformation-Based Reactive Systems Development: 4th International AMAST …, 1997
751997
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
751994
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
702003
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
532007
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
482009
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
471997
Interval temporal logic
A Cau, B Moszkowski, H Zedan
URL: http://www. cms. dmu. ac. uk/~ cau/itlhomepage/itlhomepage. html, 2006
442006
E-learning (Moodle) based on service oriented architecture
H Zedan, A Al-Ajlan
Proc. of the EADTU's 20th Anniversary Conference, 2007
402007
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
Abstraction: a key notion for reverse engineering in a system reengineering approach
H Yang, X Liu, H Zedan
Journal of Software Maintenance: Research and Practice 12 (4), 197-228, 2000
372000
Dynamic access control policies: Specification and verification
H Janicke, A Cau, F Siewe, H Zedan
The Computer Journal 56 (4), 440-463, 2013
362013
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20