Published: 2012-09-11

Heuristic for Directed Model Checking of Security Protocols

Q.U.A.NIZAMANI, H.A. NIZAMANI, F.H. CHANDIO, S.N. JAT, I.A. KOREJO

Eye State Recognition based on Machine Learning Techniques

T. ALI, L. HASAN, H. ZAFAR, T. NAWAZ, S. AHMAD, Y. MUHAMMAD

Neural Network Steering Controller For A Ship

D.M. PATHAN, T. HUSSAIN, J. DAUDPOTO, I. A. MEMON

Pair Programming Evaluation in an Academic Environment

Z. HUSSAIN, A. KEERIO, J. A. MAHAR, M. A. SOOMRO

Analysis With Special Reference To Genomic Sequence On Amazon Cloud

F. N. MEMON, Z.U.A. KHUHRO, M.U.R MAREE, I.A. KOREJO, A. P. HARRISON