Digital Library[ Search Result ]
Search : "[ keyword: Software ]" (70)
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
Self-Organizing Middleware Platform Based on Overlay Network for Real-Time Transmission of Mobile Patients Vital Signal Stream
Ho-Young Kang Seol-Young Jeong Cheol-Soo Ahn Yu-Jin Park Soon-Ju Kang
Vol. 38, No. 7, pp. 630-642, Jul. 2013
Vol. 38, No. 7, pp. 630-642, Jul. 2013
A Smart Farming System Based on Visible Light Communications
Tae-Hwa Yeom Sung-Mi Park Hye-In Kwon Duck-Kyu Hwang Jeongchang Kim
Vol. 38, No. 5, pp. 479-485, May 2013
Vol. 38, No. 5, pp. 479-485, May 2013