Network Protocol Verification Using Linear Temporal Logic
A DBMS With SQL Interpreter
Linux Kernel Security Enhancement
A Smart Phone Application to Remotely a PC Over the Internet
Cryptographic Engine
Video Conferencing With Multicast Support
Integration of Heterogeneous Databases Into XML Format With Translator
Design of Intranet Mail System
Finger Print Enhancement