Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Hazem El-Gendy"'
Autor:
Hazem El-Gendy, Ihab E. Talkhan
Publikováno v:
INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY. 12:3268-3276
In this paper, we develop a sound Conformance Test Suite for the Transport Layer Protocol Internationally standardized by both ISO and IEC. This is to test the implementations of the protocol, promote and facilitate standardized test suites, and pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd6e5cbbe3fd3cbd7aee226f4eb99e6f
https://doi.org/10.24297/ijct.v12i2.3291
https://doi.org/10.24297/ijct.v12i2.3291
Publikováno v:
International Journal of Computer and Electrical Engineering. :771-778
This paper, presents a new Speed Detection Camera System (SDCS) that is applicable as a radar alternative. SDCS uses several image processing techniques on video stream in online -captured from single camera- or offline mode, which makes SDCS capable
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::760c76695220b7002a24ec1ac2ef75fa
https://doi.org/10.7763/ijcee.2011.v3.418
https://doi.org/10.7763/ijcee.2011.v3.418
Publikováno v:
Journal of Computational Methods in Sciences and Engineering. 10:S247-S257
An Intelligent Network (IN) is a general concept network command architecture to enable the rapid introduction of new services by rearranging the basic functions of transport information mainly (voice, data, and images). Modern telecommunication netw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e24c96c290f784d94ea7839866ee4b7c
https://doi.org/10.3233/jcm-2010-0282
https://doi.org/10.3233/jcm-2010-0282
Autor:
Nabil El Kadhi, Hazem El-Gendy
Publikováno v:
Journal of Computational Methods in Sciences and Engineering. 6:S109-S119
Based on a previous work using abstract interpretation for secret property verification, we propose a new method for protocol verification combining abstract interpretation for Input/Output set description and finite state machine for property propag
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6eb7b7898cc9ce92649383c3c9b6ad03
https://doi.org/10.3233/jcm-2006-6s109
https://doi.org/10.3233/jcm-2006-6s109
Autor:
Hazem El-Gendy
Publikováno v:
Journal of Computational Methods in Sciences and Engineering. 6:S171-S179
"Semantic" equivalence between process specifications is essential for various phases of the development of computer/telecommunications protocols as well as other systems. This includes the verifications of the refined communicating entities and thei
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::39122f981bd17e76208ea7b2843ee7df
https://doi.org/10.3233/jcm-2006-6s114
https://doi.org/10.3233/jcm-2006-6s114
Autor:
Hazem El-Gendy, Nabil El-Kadhi
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. 15:873-891
ISO and IEC have jointly developed two Formal Description Techniques (FDTs) for specifying distributed real time systems such as computer/telecommunications protocols. These are Lotos and Estelle. In this paper, a formal method for automated transfor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e90b372a1377cb81058085ab857a72ed
https://doi.org/10.1142/s0218194005002567
https://doi.org/10.1142/s0218194005002567
Autor:
Nabil El-Kadhi, Hazem El-Gendy
Publikováno v:
Journal of Computational Methods in Sciences and Engineering. 5:S45-S56
In this paper, we discuss the testing of data flow aspects of communications protocols and distributed systems specified in Lotos; the ISO Formal Description Technique (FDT). We also develop a method for automated derivation of sequences to conforman
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::40f579e37e9a53b4a43033fc26420630
https://doi.org/10.3233/jcm-2005-5s104
https://doi.org/10.3233/jcm-2005-5s104
Autor:
Nabil El-Kadhi, Hazem El-Gendy
Publikováno v:
Journal of Computational Methods in Sciences and Engineering. 5:S235-S247
In this paper, we investigate the use of formal methods in the various phases of the life-cycle of developing communications protocols, software, and distributed systems. We identify important reasons and benefits for using formal methods. We also re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::76921936eb9e60398f5ceca6495f27c9
https://doi.org/10.3233/jcm-2005-5s118
https://doi.org/10.3233/jcm-2005-5s118
Publikováno v:
International Journal of Advanced Computer Science and Applications. 4
Interoperability among telecommunications systems, possibly by different vendors, is essential for both the development of many telecommunications networks, and today's civilization development. Interoperability testing is very costly, as it has a co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a44a4c51af9f76ffd5c9568601dcb37f
https://doi.org/10.14569/ijacsa.2013.040102
https://doi.org/10.14569/ijacsa.2013.040102
Autor:
Hazem El-Gendy, Magdi Amer
Publikováno v:
International Journal of Advanced Computer Science and Applications. 4
Election falsification is one of the biggest problems facing third world countries as well as developed countries with respect to cost and time. In this paper, the guidelines for building a legally binding fraud-proof Electronic-Voting are presented.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c973ca541efe463667431a10c153382b
https://doi.org/10.14569/ijacsa.2013.040423
https://doi.org/10.14569/ijacsa.2013.040423