Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Zedan, Hussein
73  Ergebnisse:
Personensuche X
?
1

The specification and design of secure context-aware workfl..:

Zedan, Hussein ; Al-Sultan, Saif
Expert Systems with Applications.  86 (2017)  - p. 367-384 , 2017
Link: https://doi.org/10.1016/..
 
?
2

The formal semantics of program slicing for nonterminating ..:

Ward, Martin ; Zedan, Hussein
Journal of Software: Evolution and Process.  29 (2016)  1 - p. , 2016
Link: https://doi.org/10.1002/..
 
?
3

Formality, Agility, Security, and Evolution in Software Dev..:

Bowen, Jonathan P. ; Hinchey, Mike ; Janicke, Helge..
Computer.  47 (2014)  10 - p. 86-89 , 2014
Link: https://doi.org/10.1109/..
 
?
4

Context Aware Accidents Prediction and Prevention System fo..:

, In: Proceedings of the 3rd International Conference on Context-Aware Systems and Applications,
Aswad, Mussab ; Al-Sultan, Saif ; Zedan, Hussein - p. 162-168 , 2014
Link: https://dl.acm.org/doi/1..
 
?
5

The implementation of an intelligent and video-based fall d..:

Alhimale, Laila ; Zedan, Hussein ; Al-Bayatti, Ali
Applied Soft Computing.  18 (2014)  - p. 59-69 , 2014
Link: https://doi.org/10.1016/..
 
?
6

Crime profiling for the Arabic language using computational..:

Alruily, Meshrif ; Ayesh, Aladdin ; Zedan, Hussein
Information Processing & Management.  50 (2014)  2 - p. 315-341 , 2014
Link: https://doi.org/10.1016/..
 
?
7

Provably correct derivation of algorithms using FermaT:

Ward, Martin ; Zedan, Hussein
Formal Aspects of Computing.  26 (2014)  5 - p. 993-1031 , 2014
Link: https://doi.org/10.1007/..
 
?
8

A Logical Treatment of Non-Termination and Program Behaviou:

Ward, Martin ; Zedan, Hussein
Journal of Software Engineering and Applications.  7 (2014)  7 - p. 555-561 , 2014
Link: https://doi.org/10.4236/..
 
?
9

The Calculus of Context-aware Ambients:

Siewe, François ; Zedan, Hussein ; Cau, Antonio
Journal of Computer and System Sciences.  77 (2011)  4 - p. 597-620 , 2011
Link: https://doi.org/10.1016/..
 
?
10

Rough set approach to online signature identification:

Al-Mayyan, Waheeda ; Own, Hala S. ; Zedan, Hussein
Digital Signal Processing.  21 (2011)  3 - p. 477-485 , 2011
Link: https://doi.org/10.1016/..
 
?
11

Context aware architecture for sending adaptive HELLO messa..:

, In: Proceedings of the 4th ACM International Workshop on Context-Awareness for Self-Managing Systems,
Al-Doori, Moath Muayad ; Al-Bayatti, Ali Hilal ; Zedan, Hussein - p. 65-68 , 2010
Link: https://dl.acm.org/doi/1..
 
?
12

Formalising policies of a mLearning system using CCA:

, In: Proceedings of the 4th ACM International Workshop on Context-Awareness for Self-Managing Systems,
Al-Sammarraie, Mohammed ; Siewe, François ; Zedan, Hussein - p. 11-19 , 2010
Link: https://dl.acm.org/doi/1..
 
?
13

Combining dynamic and static slicing for analysing assemble:

Ward, Martin ; Zedan, Hussein
Science of Computer Programming.  75 (2010)  3 - p. 134-175 , 2010
Link: https://doi.org/10.1016/..
 
?
14

Development of a modern curriculum in software engineering ..:

Bothe, Klaus ; Budimac, Zoran ; Cortazar, Rebeca..
Computer Science and Information Systems.  6 (2009)  1 - p. 1-21 , 2009
Link: https://doi.org/10.2298/..
 
?
15

Using formal specifications to support testing:

Hierons, Robert M. ; Bogdanov, Kirill ; Bowen, Jonathan P....
ACM Computing Surveys.  41 (2009)  2 - p. 1-76 , 2009
Link: https://doi.org/10.1145/..
 
1-15