Title	A Comprehensive Formal Testing of Few Attacks on Mobile Ad-hoc Networks By Using VDM-SL Tool Box
Author	Umar Draz, Tariq Ali, Khurshid Asghar, Asis Jamal, Aiman Anum, Sarah Javed , Sana Yasin
Citation	Vol. 19  No. 7  pp. 116-126
Keywords	MANET Passive attacks, Vulnerable defense Formal Methods Security Verification & Validation VDM-SL, etc.

Title	Fuzzy Ontology Based Model for Supporting Safe Driving
Author	Thai Son Nguyen, Huu Khuong Nguyen
Citation	Vol. 19  No. 7  pp. 111-115
Keywords	Ontology, Fuzzy Ontology, Simulation, Fuzzy Inference

Title	Educational Data Mining for Supporting Students' Courses Selection
Author	Thi Yen Tran, Ba Lam To
Citation	Vol. 19  No. 7  pp. 106-110
Keywords	Educational Data Mining, Apriori, J48, K-Means

Title	Analysis of the Lung Cancer patient’s for Data Mining Tool
Author	Soobia Saeed, Afnizanfaizal Abdullah, NZ Jhanjhi
Citation	Vol. 19  No. 7  pp. 90-105
Keywords	Rattle R , Weka, tool, lung, cancer, treatment