Digital Library[ Search Result ]
Search : "[ keyword: Software ]" (72)
Process Algebra Based Formal Method for SDN Application Verification
Myung-Ki Shin Jong-Hwa Yi Yunchul Choi Jihyun Lee Seung-Ik Lee
Miyoung Kang Hee Hwan Kwak Jin-Young Choi
Vol. 39, No. 6, pp. 387-396, Jun. 2014
Miyoung Kang Hee Hwan Kwak Jin-Young Choi
Vol. 39, No. 6, pp. 387-396, Jun. 2014

SDN-Based Middlebox Management Framework in Integrated Wired and Wireless Networks
Giwon Lee Insun Jang Wontae Kim Sukjin Joo Myungsoo Kim
Sangheon Pack Chul-Hee Kang
Vol. 39, No. 6, pp. 379-386, Jun. 2014
Sangheon Pack Chul-Hee Kang
Vol. 39, No. 6, pp. 379-386, Jun. 2014

Implementation of a Short-Range Underwater Acoustic Network
A-ra Cho Youngchol Choi Seung-Geun Kim Sea-moon Kim Jong-Won Park
Vol. 46, No. 12, pp. 2383-2391, Dec. 2021
10.7840/kics.2021.46.12.2383
Vol. 46, No. 12, pp. 2383-2391, Dec. 2021

Performance Analysis of Software-Based Bridges Supporting Time Sensitive Networks
Ilmu Byun Kyeong-jun Ko Sung min Kim Arm Jeong
Vol. 46, No. 11, pp. 1982-1985, Nov. 2021
10.7840/kics.2021.46.11.1982
Vol. 46, No. 11, pp. 1982-1985, Nov. 2021

Development of Reusable Communication Module that Supports DDS and HLA in Distributed Simulation Environment
Jun-yong Shim Seung-Kee Yu Soung-min Kim Won-sik Lee
Vol. 46, No. 10, pp. 1738-1740, Oct. 2021
10.7840/kics.2021.46.10.1738
Vol. 46, No. 10, pp. 1738-1740, Oct. 2021
