Directions
2012
-
Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation
Youngjoo Kim, Moonzoo Kim, 김태효
Haifa Verification Conference (HVC 2012)
2012[] []
-
Steganalysis Method Defeating the Modified Pixel-Value Differencing Steganography
Cong Nguyen Bui, Lee, Hae-Yeoun, Jeong Chun Joo, Heung-Kyu LEE
INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL
2012[] []
-
Stereoscopic Watermarking by Horizontal Noise Mean Shifting
Lee, Ji-Won, Kim, Hee-Dong, Choi, Hak-Yeol, Choi, Sung-Hee, Heung-Kyu LEE
IS&T/SPIE,Electroic Imaging : Media Watermarking, Security, and Forensics XIV
2012[] []
-
Subspace Snooping: Exploiting Temporal Sharing Stability for Snoop Reduction
Jeongseob Ahn, Daehoon Kim, Jaehong Kim, Jaehyuk Huh
IEEE TRANSACTIONS ON COMPUTERS
2012[] []
-
SymPhoney: A Coordinated Sensing Flow Execution Engine for Concurrent Mobile Sensing Applications
Young Hyun Ju, Youngki Lee, Jihyun Yu, CHULHONG MIN, Insik Shin, Junehwa Song
The 10th ACM Conference on Embedded Networked Sensor Systems (SenSys 2012)
2012[]
-
TRANSITIVE-CLOSURE SPANNERS
Bhattacharyya, Arnab, Grigorescu, Elena, Jung, Kyomin, Raskhodnikova, Sofya, Woodruff, DP
SIAM JOURNAL ON COMPUTING
2012[] []
-
Tame: Time Window Scheduling of Wireless Access Points for Maximum Energy Efficiency and High Throughput
Jin Ma, Seong Hoon Kim, Daeyoung KIM
2012 IEEE 18th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2012)
2012[]
-
Terminological Paraphrase Extraction from Scientific Literature based on Predicate Argument Tuples
Choi, Sung-Pil, Sung-Hyon Myaeng
JOURNAL OF INFORMATION SCIENCE
2012[]
-
Test Data Regeneration: Generating New Test Data from Existing Test Data
Shin Yoo, Harman, M.
SOFTWARE TESTING VERIFICATION & RELIABILITY
2012[]
-
Testing Concurrent Programs to Achieve High Synchronization Coverage
Shin Hong, Jaemin Ahn, 박상민, Moonzoo Kim, Mary Jean Harrold
International Symposium on Software Testing and Analysis (ISSTA 2012)
2012[] []
-
The Cost of Bounded Curvature
김효실, Otfried Cheong
18th Annual International Computing and Combinatorics Conference (COCOON 2012)
2012[] []
-
The Design of Adaptive Intrusion Tolerant System(ITS) based on Historical Data
Yong Ki Kim, JUNG MIN LIM, Seokjoo Doo, Hyunsoo Yoon
2012 7th International Conference for Internet Technology and Secured Transactions (ICITST)
2012[]
-
The Power of Batching in the Click Modular Router
Joongi Kim, 허성구, 장건, 박경수, Sue Moon
Asia-Pacific Workshop on Systems (APSYS 2012)
2012[] []
-
The Stateless Point to Point Routing Protocol based on Shortcut Tree Routing Algorithm for IP-WSN
Kiwoong Kwon, MINKEUN HA, Taehong Kim, Seong Hoon Kim, Daeyoung KIM
International Conference on the Internet of Things (IOT 2012)
2012[] []
-
Tipping Point of Information Spreading in Random Clustered Networks with Heterogeneous Contact Rates
임성수, Jung, Kyomin
3rd Workshop on Complex Networks (CompleNet)
2012[]
-
Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software
Jinho Choi, 지은경, Doo-Hwan Bae
6th IEEE International Conference on Software Security and Reliability (SERE 2012)
2012[] []
-
Toward a Mobile Platform for Pervasive Games
INSEOK HWANG, Youngki Lee, TAIWOO PARK, Junehwa Song
The 1st ACM international workshop on Mobile gaming (MobileGames '12)
2012[]
-
Toward autonomous robotic containment booms: Visual servoing for robust inter-vehicle docking of surface vehicles
Kim, Young-Ho, Lee, Sang-Wook, Hyun S. Yang, Shell, Dylan A.
Intelligent Service Robotics
2012[] []
-
TraMSNET: A mobile social network application for tourism
Jorge A Gaete, Dongman Lee, 카이스트 문화기술대학원 차미영교수, In-Young Ko
The 14th International Conference on Ubiquitous Computing (UbiComp 2012)
2012[]
-
Traffic Management Strategy for Delay-Tolerant Networks
Shin, Kwangcheol, Kim, Kyungjun, Soontae Kim
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS
2012[] []
KAIST School of Computing 291 Daehak-ro, Yuseong-gu, Daejeon, Korea 34141
ⓒ KAIST School of Computing. All Rights Reserved.
