Title	Formal Verification of Ring-based Leader Election Protocol using Predicate Diagrams
Author	Cecilia E. Nugraheni
Citation	Vol. 9  No. 8  pp. 1-8
Keywords	Leader election protocol, distributed systems, verification, TLA* TLA+, predicate diagrams*

Title	Parallel Algorithm for Solving Large System of Simultaneous Linear Equations
Author	K. Rajalakshmi
Citation	Vol. 9  No. 7  pp. 276-279
Keywords	Parallel, Solving, Simulaneous

Title	A Study of Key Management Systems in Storage Area Network
Author	Kyawt Kyawt Khaing, Toh Liew Loong, Khin Mi Mi Aung
Citation	Vol. 9  No. 7  pp. 269-275
Keywords	Storage Security, Key Management System, Storage Area Network

Title	Performance Evaluation of AODV, DSDV & DSR Routing Protocol in Grid Environment
Author	Nor Surayati Mohamad Usop, Azizol Abdullah, Ahmad Faisal Amri Abidin
Citation	Vol. 9  No. 7  pp. 261-268
Keywords	Mobile grid, ad hoc routing protocol, NS-2