To search, Click below search items.

 

All Published Papers Search Service

Results for ; Total 10576

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


[1] ... [prev] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [next] ... [2644]