Showing results 1 to 3 of 3
A New Algorithm for Subsumption Test Kim, Byeong Man; Lee, Sang Ho; Maeng, SeungRyoul; Cho, Jung Wan, Int'l Conference on Fifth Generation Computer Systems, pp.643 - 649, 1992 |
AND Parallelism in Connection Graph Proof Procedure Kim, Byeong Man; Lee, Sang Ho; Maeng, SeungRyoul; Cho, Jung Wan, 2nd Pacific Rim International Conference on Artificial Intelligence, pp.732 - 738, 1992 |
Rosemary: A Robust, Secure, and High-performance Network Operating System Shin, Seung Won; Song, Yong Joo; Lee, Tae Kyung; Lee, Sang Ho; Chung, Jae Woong; Phillip, Porras; Vinod, Yegneswaran; et al, 21st ACM Conference on Computer and Communications Security (CCS), ACM Special Interest Group on Security, Audit and Control (SIGSAC), 2014-11-05 |
Discover