23 results on '"Mok, Aloysius K."'
Search Results
2. Advanced Allergy Attacks: Does a Corpus Really Help?
3. Allergy Attack Against Automatic Signature Generation
4. On Random-Inspection-Based Intrusion Detection
5. Formal Specification and Verification of Resource Bound Security Using PVS
6. Detecting Unknown Massive Mailing Viruses Using Proactive Methods
7. On the Composition of Real-Time Schedulers
8. Pre-Scheduling: Integrating Offline and Online Scheduling Techniques
9. TINMAN: A Resource Bound Security Checking System for Mobile Code
10. Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems
11. Panel Session: Predictability in Active Real-Time/Temporal Databases
12. Design of a Real-Time SQL Engine in the Distributed Environment
13. RTL and refutation by positive cycles
14. Coping with implementation dependencies in real-time system verification
15. On the Composition of Real-Time Schedulers
16. Pre-Scheduling: Integrating Offline and Online Scheduling Techniques
17. Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems
18. TINMAN: A Resource Bound Security Checking System for Mobile Code
19. Panel Session: Predictability in Active Real-Time/Temporal Databases
20. Design of a Real-Time SQL Engine in the Distributed Environment
21. Coping with implementation dependencies in real-time system verification
22. Swarm Attacks against Network-Level Emulation/Analysis
23. Advanced Allergy Attacks: Does a Corpus Really Help?
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.