Title	Design of Software Security Verification with Formal Method Tools
Author	Seung-Ju Jang, Jungwoo Ryoo, ChangYeol Lee
Citation	Vol. 6  No. 9  pp. 163-167
Keywords	Software Security, Verification, Formal Method Tools, RoZ.

Title	Study of Network Performance Monitoring Tools-SNMP
Author	Mr. G.S. Nagaraja, Ranjana R.Chittal, Kamod Kumar
Citation	Vol. 7  No. 7  pp. 310-314
Keywords	Simple network management protocol, internet protocol, monitoring tools

Title	Task allocation in Distributed computing VS distributed database systems:A Comparative study
Author	Suchita Upadhyaya, Suman Lata
Citation	Vol. 8  No. 3  pp. 338-346
Keywords	Distributed computing systems, Task allocation issues , Task preference, Task exclusion, Distributed database systems, data & operation allocation, task allocation model, Data fragmentation, data replication, Task allocation tools , task allocation algorith

Title	Effective Variations on Opened GIF Format Images
Author	Hamza A. Ali, Bashar M. Ne’ma
Citation	Vol. 8  No. 5  pp. 70-75
Keywords	GIF format, Image Header, Image processing, LZW, Compression, Software Engineering Tools, and Security