scispace - formally typeset
H

Hazem El-Gendy

Researcher at Ahram Canadian University

Publications -  10
Citations -  60

Hazem El-Gendy is an academic researcher from Ahram Canadian University. The author has contributed to research in topics: Interface (computing) & Formal specification. The author has an hindex of 4, co-authored 10 publications receiving 57 citations.

Papers
More filters
Journal ArticleDOI

Speed Detection Camera System using Image Processing Techniques on Video Streams

TL;DR: SDCS uses several image processing techniques on video stream in online -captured from single camera- or offline mode, which makes SDCS capable of calculating the speed of moving objects avoiding the traditional radars' problems.
Proceedings ArticleDOI

Towards speed detection camera system for a radar alternative

TL;DR: SDCS uses several image processing techniques on video stream in online mode — captured from single camera- or offline mode, which makes SDCS capable of calculating the speed of moving objects avoiding the traditional radars' problems.
Proceedings ArticleDOI

Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques

TL;DR: This paper investigates the Conformance Testing Requirements (CTRs) of a protocol standard that result from the formal specification of the allowed (dynamic) behavior of the protocol standard and develops rules for the explicit and precise specification of these CTRs.
Proceedings ArticleDOI

Formal development of universal protocol implementations conformance statement proforma

TL;DR: Examining the adequacy of the current international protocol's implementation conformance statement proforma (PICSP) to meet the end user's conformance testing requirements (CTRs), refinements called testability-directed PICSP (TDPICSP), are developed to rectify the shortfalls and enhances the testability of the protocol standard.
Proceedings ArticleDOI

Towards ISO interface protocol for interactive multimedia intelligent terminals

TL;DR: A multimedia-“ISO-Application Layer” Interface for interactions, via services called Input/Output Services, between desktop applications and voice terminals is presented in this paper.