Digital Library

Vol. 4, No. 11, November, 2015

A Case Study on Model Checking Online-Game Server Party System Using SPIN
Goanghun Kim, Yunja Choi
10.3745/KTSDE.2015.4.11.479
Modeling Traceability Between Software Product Line Requirements and Architecture
Seokhwan Eom, Sungwon Kang, Jingyu Kim, Seonah Lee
10.3745/KTSDE.2015.4.11.487
High Utility Itemset Mining Using Transaction Utility of Itemsets
Serin Lee, Jong Soo Park
10.3745/KTSDE.2015.4.11.499
Prediction of Correct Answer Rate and Identification of Significant Factors for CSAT English Test Based on Data Mining Techniques
Hee Jin Park, Kyoung Ye Jang, Youn Ho Lee, Woo Je Kim, Pil Sung Kang
10.3745/KTSDE.2015.4.11.509
Road Sign Detection with Weather/Illumination Classifications and Adaptive Color Models in Various Road Images
Tae Hung Kim, Kwang Yong Lim, Hye Ran Byun, Yeong Woo Choi
10.3745/KTSDE.2015.4.11.521
Non-Photorealistic Rendering Using CUDA-Based Image Segmentation
Hyun Cheol Yoon, Jong Seung Park
10.3745/KTSDE.2015.4.11.529

Indexing


All publications of KTCCS and KTSDE are indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

doi

EBSCO

Google

crosscheck_it_trans

NRF

NRF


KTCCS and KTSDE are also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).