Showing results 9401 to 9420 of 16139
Satefy Verification of Ada95 Programs Using Software Fault Trees Kwon, Yong Rae, Safecom 99, 1999 |
Satellite Image Processing Software for Value-Added Products 이해연; 박원규; 김승범; 김태정; 윤태훈; 신동석; 이흥규, 대한원격탐사학회지, v.15, no.4, pp.339 - 348, 1999 |
SATI: A scalable and traffic-efficient data delivery infrastructure for real-time sensing applications Cho, Kyungmin; Ju, Younghyun; Jo, Sungjae; Rhee, Yunseok; Song, Junehwa, COMPUTER NETWORKS, v.55, no.1, pp.241 - 263, 2011-01 |
SATS: Structure-Aware Touch-Based Scrolling Kim, Do Hyung; Gweon, Gahgene; Lee, Geehyuk, ETRI JOURNAL, v.38, no.6, pp.1104 - 1113, 2016-12 |
Saving Rhinos with Predictive Analytics Park, Noseong; Serra, Edoardo; Subrahmanian, V. S., IEEE INTELLIGENT SYSTEMS, v.30, no.4, pp.86 - 88, 2015-07 |
SaVioR: Thwarting Stack-Based Memory Safety Violations by Randomizing Stack Layout LEE, SEONG MAN; Kang, Hyeonwoo; Jang, Jinsoo; Kang, Brent Byunghoon, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, v.19, no.4, pp.2559 - 2575, 2022-07 |
SBST in the age of Machine Learning Systems - Challenges Ahead Yoo, Shin, IEEE/ACM 12th International Workshop on Search-Based Software Testing (SBST), pp.2, ASSOC COMPUTING MACHINERY, 2019-05-27 |
SCADA용 DNP3 프로토콜의 소규모 실험환경 구축 이동수; 김광조, 2013년도 한국정보보호학회 충청지부 학술대회, v.0, 한국정보보호학회, 2013-09-27 |
SCADE를 이용한 멀티 에이전트 시스템 설계 사례연구 및 분석 채철우; 신동환; 지은경; 홍광의; 배두환, 2014 한국정보과학회 제41회 정기총회 및 동계학술발표회, pp.399 - 401, 한국정보과학회, 2014-12-18 |
Scalability study of the ad hoc on-demand distance vector routing protocol Lee, Sung-Ju; Royer, Elizabeth M; Perkins, Charles E, International Journal of Network Management, v.13, no.2, pp.97 - 114, 2003-03 |
Scalable Activity-Travel Pattern Monitoring Framework for Large-Scale City Environment Lee, Young-Ki; Lee, SangJeong; Kim, Byoungjip; Kim, Jungwoo; Rhee, Yunseok; Song, Junehwa, IEEE TRANSACTIONS ON MOBILE COMPUTING, v.11, no.4, pp.644 - 662, 2012-04 |
Scalable and Adaptive Graph Querying with MapReduce Kim, Song-Hyon; Lee, Kyong-Ha; Song, Inchul; Choi, Hyebong; Lee, Yoon Joon, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E96D, no.9, pp.2126 - 2130, 2013-09 |
Scalable and Dynamic Big Data Processing and Service Provision in Edge Cloud Environments Ko, In-Young; Srivastava, Abhishek; Mrissa, Michael, JOURNAL OF WEB ENGINEERING, v.21, no.1, pp.V - IX, 2022-01 |
Scalable and efficient approach for secure group communication Shin, Y.; Hur, J.; Yoon, Hyunsoo, 2009 9th International Symposium on Communications and Information Technology, ISCIT 2009, pp.1201 - 1206, IEEE, 2009-09-28 |
Scalable and efficient data stream delivery and archiving infrastructure for real-time sensing applications = 실시간 센싱 어플리케이션을 위한 확장성 있고 효율적인 데이터 스트림 전송 및 저장 인프라스트럭처link Cho, Kyung-Min; 조경민; et al, 한국과학기술원, 2010 |
Scalable and efficient processing of top-k multiple-type integrated queries Kwon, Hyuk Yoon; Whang, Kyu-Young, WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS, v.19, no.6, pp.1051 - 1075, 2016-11 |
Scalable and Memory-Efficient Clustering of Large-Scale Social Networks Whang, Joyce Jiyoung; Sui, Xin; Dhillon, Inderjit S., 12th IEEE International Conference on Data Mining, pp.705 - 714, IEEE, 2012-12 |
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity Park, Changhee; Ryu, Sukyoung, European Conference on Object-Oriented Programming, Association Internationale pour les Technologies Objets (AITO), 2015-07-10 |
Scalable and reliable group key management schemes for secure multicast = 안전한 멀티캐스트를 위한 확장성 및 신뢰성 있는 그룹키 관리 기법에 관한 연구link Hur, Jun-Beom; 허준범; et al, 한국과학기술원, 2009 |
Scalable and Secure Virtualization of HSM With ScaleTrust Han, Juhyeng; Yun, Insu; Kim, Seongmin; Kim, Taesoo; Son, Sooel; Han, Dongsu, IEEE-ACM TRANSACTIONS ON NETWORKING, v.31, no.4, pp.1595 - 1610, 2023-08 |
Discover