Browse "School of Computing(전산학부)" byTitle

Showing results 8453 to 8472 of 14635

8453
S-OpenSGX: A System-level Platform for Exploring SGX Enclave-Based Computing

Choi, Changho; Kwak, Nohyun; Jang, Jinsoo; Jang, Daehee; Oh, Kuenwhee; Kwag, Kyungsoo; Kang, Brent Byunghoonresearcher, COMPUTERS & SECURITY, v.70, pp.290 - 306, 2017-09

8454
S-RAY : Yen 알고리즘을 응용한 보안 네트워크 라우팅

정제성; 신승원; 김광조, 2015년 한국정보보호학회 동계학술대회 (CISC-W'15), 한국정보보호학회, 2015-12-05

8455
S/W공학 글로벌 리더 양성과정 : KAIST-CMU S/W공학 석사 프로그램

강성원researcher; 고인영researcher; 백종문researcher; 최호진researcher; 이단형researcher, 정보과학회지, v.28, no.11, pp.86 - 93, 2010-11

8456
S3: A Scalable Sensing Service for Monitoring Large Networked Systems

Yalagandula, Praveen; Sharma, Puneet; Banerjee, Sujata; Lee, Sung-Juresearcher; Basu, Sujoy, The ACM SIGCOMM Workshop on Internet Network Management (INM 2006), ACM, 2006-09-11

8457
S3: School Zone Safety System Based on Wireless Sensor Network

Yoo, Seong-eun; Chong, Poh Kit; Kim, Daeyoungresearcher, SENSORS, v.9, no.8, pp.5968 - 5988, 2009-08

8458
Safe Navigation of Pedestrians in Social Groups in a Virtual Urban Environment

Rojas, Francisco Arturo; Yang, Hyun-Seung, CyberWorlds International Conference, CyberWorlds, 2014-10-06

8459
SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript

Lee, Hongki; Won, Sooncheol; Jin, Joonho; Cho, Junhee; Ryu, Sukyoungresearcher, 19th International Workshop on Foundations of Object-Oriented Languages, ACM, 2012-10-22

8460
SAFE: 확장 가능한 JavaScript 분석 프레임워크

이홍기; 진준호; 원순철; 조준희; 류석영researcher; 고윤석, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.5, pp.283 - 289, 2013-05

8461
SAFERPHP: Finding Semantic Vulnerabilities in PHP Applications

Son, Sooelresearcher; Shmatikov, Vitaly, Programming Languages and Analysis for Security, PLAS, The ACM Special Interest Group on Programming Languages (SIGPLAN), 2011-06-05

8462
Safety analysis of function block diagrams using fault trees = Fault tree 기법을 이용한 function block diagram 의 안전성 분석link

Oh, You-Ju; 오윤주; et al, 한국과학기술원, 2004

8463
Safety analysis of hybrid real-time system requirements using qualitative models = 정성 모델을 이용한 복합 실시간 계통 요구사항의 안전성 분석link

Lee, Jang-Soo; 이장수; et al, 한국과학기술원, 2002

8464
Safety Verification of Ada95 Programs Using Software Fault Trees

Min, Sang-Yoon; Jang, Yoon-Kyu; Cha, Sungdeok; Kwon, Yong-Rae; Bae, Doo-Hwanresearcher, SAFECOMP 99, pp.226 - 238, Springer Verlag (Germany), 1999

8465
SAFEWAPI: Web API Misuse Detector for Web Applications

Bae, SungGyeong; Cho, Hyunghun; Lim, Inho; Ryu, Sukyoungresearcher, The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), ACM Special Interest Group on Software Engineering (SIGSOFT), 2014-11-19

8466
SALE: Smartly Allocating Low-Cost Many-Bit ECC for Mitigating Read and Write Errors in STT-RAM Caches

Qureshi, Muhammad Avais; Park, Jungwoo; Kim, Soontaeresearcher, IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, v.28, no.6, pp.1357 - 1370, 2020-06

8467
Sampling Bias in User Attribute Estimation of OSNs

Moon, Sue Bokresearcher; Park, Hosung, 22nd International Conference on World Wide Web, WWW 2013, pp.183 - 184, International World Wide Web Conference Committee, 2013-04-17

8468
Sampling Strategies for GAN Synthetic Data

Bhattarai, Binod; Baek, Seungryul; Bodur, Rumeysa; Kim, Tae-Kyunresearcher, 2020 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2020, pp.2303 - 2307, The Institute of Electrical and Electronics Engineers, Signal Processing Society, 2020-05-04

8469
Sampling-based motion planning algorithm to handle a narrow passage problem = 좁은 길 문제를 해결하기 위한 샘플링 기반 모션 플래닝 알고리즘link

Lee, Jung-Hwan; 이정환; et al, 한국과학기술원, 2014

8470
Sandra Helps You Learn: the More You Walk, the More Battery Your Phone Drains

Min, Chulhong; Yoo, Chungkuk; Hwang, Inseok; Kang, Seungwoo; Lee, Youngki; Lee, Seungchul; Park, Pillsoon; et al, The 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, ACM SIGCHI AND SIGMOBILE, 2015-09-11

8471
SASUM: A Sharing-Based Approach to Fast Approximate Subgraph Matching for Large Graphs

Kim, Song-Hyon; Song, In-Chul; Lee, Kyong-Ha; Lee, Yoon-Joonresearcher, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E96D, no.3, pp.624 - 633, 2013-03

8472
SAT-based Bounded Software Model Checking for Embedded Software: A Case Study

Kim, Yun-Ho; Kim, Moonzoo, Asian-Pacific Software Engineering Conference (APSEC), pp.55 - 62, Asian-Pacific Software Engineering Conference (APSEC), 2014-12-02

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0