Title	Transformation of Class Diagrams into Formal Specification
Author	Nazir Ahmad Zafar, Fahad Alhumaidan
Citation	Vol. 11  No. 5  pp. 289-295
Keywords	UML, Class diagrams, Formal methods, Z notation, Integration, Validation

Title	Feature Selection for Prediction of HIV/AIDS using Data Mining Technique by Applying the Concept of Theory of Evidence
Author	A.M. Saravanan, R.Vijaya, C. Jothi Venkateswaran
Citation	Vol. 11  No. 5  pp. 285-288
Keywords	Demographic, Geographic, Diagnostic, Treatment, Pharmacy, Provider and Utilization

Title	Design and Implementation of an Encrypted Mobile Objects Protocol (EMOP) for J2ME, J2SE and J2EE Applications
Author	Sehlabaka Qhobosheane, Mokakatlela Mokakatlela, Makhamisa Senekane
Citation	Vol. 11  No. 5  pp. 277-284
Keywords	Encryption, Mobile object, Communication Protocol, Object serialization

Title	Routing and admission control issues for LSPs in MPLS networks
Author	Afef Kotti, Rached Hamza
Citation	Vol. 11  No. 5  pp. 265-276
Keywords	Traffic Engineering, MPLS, Constrained based routing, Diffserv, Preemption