Title	A Formal Verification Case Study for IEEE-P.896 Bus Arbiter by using A Model Checking Tool
Author	Katsumi Wasaki
Citation	Vol. 7  No. 3  pp. 184-192
Keywords	Formal Verification, Model Checking, Temporal Logic, Bus Arbiter, Hardware Description Languages

Title	Redundant Communication Avoidance for Event-Driven Wireless Sensor Network
Author	Hung-Cuong Le, Herv? Guyennet, Noureddine Zerhouni
Citation	Vol. 7  No. 3  pp. 193-200
Keywords	energy efficiency, medium access control, over-hearing, wireless sensor networks

Title	Securing Telecommunication based on Speaker Voice as the Public Key
Author	Monther Rateb Enayah, Azman Samsudin
Citation	Vol. 7  No. 3  pp. 201-209
Keywords	Cryptography, Secure Telecommunication, Voice Recognition

Title	Application of Genetic Algorithm with Content Scrambling System
Author	Dr. Pushpa R.Suri, Priti Puri
Citation	Vol. 7  No. 3  pp. 210-214
Keywords	Genetic, LFSR, title key, mutation, seed, sector key