To search, Click below search items.
All Published Papers Search Service
Title
A Formal Verification Case Study for IEEE-P.896 Bus Arbiter by using A Model Checking Tool
Author
Katsumi Wasaki
Vol. 7 No. 3 pp. 184-192
Keywords
Formal Verification, Model Checking, Temporal Logic, Bus Arbiter, Hardware Description Languages
Redundant Communication Avoidance for Event-Driven Wireless Sensor Network
Hung-Cuong Le, Herv? Guyennet, Noureddine Zerhouni
Vol. 7 No. 3 pp. 193-200
energy efficiency, medium access control, over-hearing, wireless sensor networks
Securing Telecommunication based on Speaker Voice as the Public Key
Monther Rateb Enayah, Azman Samsudin
Vol. 7 No. 3 pp. 201-209
Cryptography, Secure Telecommunication, Voice Recognition
Application of Genetic Algorithm with Content Scrambling System
Dr. Pushpa R.Suri, Priti Puri
Vol. 7 No. 3 pp. 210-214
Genetic, LFSR, title key, mutation, seed, sector key