Browse "School of Computing(전산학부)" by Title 

Showing results 9401 to 9420 of 16139

9401
Satefy Verification of Ada95 Programs Using Software Fault Trees

Kwon, Yong Rae, Safecom 99, 1999

9402
Satellite Image Processing Software for Value-Added Products

이해연; 박원규; 김승범; 김태정; 윤태훈; 신동석; 이흥규, 대한원격탐사학회지, v.15, no.4, pp.339 - 348, 1999

9403
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

9404
SATS: Structure-Aware Touch-Based Scrolling

Kim, Do Hyung; Gweon, Gahgene; Lee, Geehyuk, ETRI JOURNAL, v.38, no.6, pp.1104 - 1113, 2016-12

9405
Saving Rhinos with Predictive Analytics

Park, Noseong; Serra, Edoardo; Subrahmanian, V. S., IEEE INTELLIGENT SYSTEMS, v.30, no.4, pp.86 - 88, 2015-07

9406
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

9407
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

9408
SCADA용 DNP3 프로토콜의 소규모 실험환경 구축

이동수; 김광조, 2013년도 한국정보보호학회 충청지부 학술대회, v.0, 한국정보보호학회, 2013-09-27

9409
SCADE를 이용한 멀티 에이전트 시스템 설계 사례연구 및 분석

채철우; 신동환; 지은경; 홍광의; 배두환, 2014 한국정보과학회 제41회 정기총회 및 동계학술발표회, pp.399 - 401, 한국정보과학회, 2014-12-18

9410
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

9411
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

9412
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

9413
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

9414
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

9415
Scalable and efficient data stream delivery and archiving infrastructure for real-time sensing applications = 실시간 센싱 어플리케이션을 위한 확장성 있고 효율적인 데이터 스트림 전송 및 저장 인프라스트럭처link

Cho, Kyung-Min; 조경민; et al, 한국과학기술원, 2010

9416
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

9417
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

9418
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

9419
Scalable and reliable group key management schemes for secure multicast = 안전한 멀티캐스트를 위한 확장성 및 신뢰성 있는 그룹키 관리 기법에 관한 연구link

Hur, Jun-Beom; 허준범; et al, 한국과학기술원, 2009

9420
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

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0