Jeffrey J.-P. Tsai

Knowledge-based Software Development for Real-time Distributed Systems

The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. Thi...

Hybrid Parallel Execution Model for Logic-based Specification Languages

Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpos...

Advances in Machine Learning Applications in Software Engineering

"This book provides analysis, characterization and refinement of software engineering data in terms of machine learning methods. It depicts applicatio...

Security Modeling and Analysis of Mobile Agent Systems

A mobile agent system could be attacked by malicious agents, platforms and third parties. Mobile agents simply offer greater opportunities for abuse a...

Intrusion Detection

A Machine Learning Approach

Introduces the concept of intrusion detection, discusses various approaches for intrusion detection systems (IDS), and presents the architecture and i...

Monitoring and Debugging of Distributed Real-time Systems

...

Compositional Verification of Concurrent and Real-time Systems

...