The International Arab Journal of Information Technology (IAJIT)

Generating Exact Approximations to Model Check Concurrent Systems

Abstract: In this paper, we present a method to generate abstractions for model checking concurrent systems. A program

Semi Fragile Watermarking for Content based Image Authentication and Recovery in the DWT-DCT

Abstract: Content authentication requires that the image watermarks must highlight malicious attacks while tolerating

Approximating I/O Data Using Wavelet Neural

Faculty of Engineering and Information Technology,  Arab American University, Palestine