Security Modeling And Analysis Of Mobile Agent Systems

Intrusion Detection: A Machine Learning Approach

Hybrid Parallel Execution Model For Logic-based Specification Languages

Knowledge-based Software Development For Real-time Distributed Systems