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

Showing results 1481 to 1500 of 4133

1481
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances

Kim, Moonzoo, ATVA, 2007

1482
Formal Specification of a JavaScript Module System

Kang, Seonghoon; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.47, no.10, pp.621 - 638, 2012-10

1483
Formal synthesis of application and platform behaviors of embedded software systems

Kim, Jinhyun; Kang, Inhye; Choi, Jin-Young; Lee, Insup; Kang, Sungwon, SOFTWARE AND SYSTEMS MODELING, v.14, no.2, pp.839 - 859, 2015-05

1484
Formullar: An FPGA-based network testing tool for flexible and precise measurement of Ultra-Low Latency networking systems

Park, Taejune; Shin, Seungwon; Shin, Insik; Lee, Kilho, COMPUTER NETWORKS, v.185, 2021-02

1485
Forward Secure ID-based Group Key Agreement Protocol with Anonymity

Park, Hyewon; Kim, Zeen; Kim, Kwangjo, Third International Conference on Emerging Security Information, Systems and Technologies, pp.274-279, 2009-06-18

1486
Four-ary tree-based barrier synchronization for 2D meshes without nonmember involvement

Moh, S; Yu, CS; Lee, B; Youn, HY; Han, Dongsoo; Lee, DongMan, IEEE TRANSACTIONS ON COMPUTERS, v.50, no.8, pp.811 - 823, 2001-08

1487
FourEyes: Leveraging Tool Diversity as a Means to Improve Aggregate Accuracy in Crowdsourcing

Song, Jean Y.; Fok, Raymond; Kim, Juho; Lasecki, Walter S., ACM TRANSACTIONS ON INTERACTIVE INTELLIGENT SYSTEMS, v.10, no.1, 2020-01

1488
Frame-rate conversion detection based on periodicity of motion artifact

Jung, Dae-Jin; Lee, Heung-Kyu, MULTIMEDIA TOOLS AND APPLICATIONS, v.77, no.5, pp.6095 - 6116, 2018-03

1489
Framework for Creating Intuitive Motion Content for Humanoid Robots Based on Programming by Demonstration

Il Kwon, Gi; Jeong, Il Woong; Seo, Yong-Ho; Yang, Hyun Seung, INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, v.9, 2012-10

1490
Free submesh list strategy: A best fit submesh allocation in mesh connected multicomputers

Kim, G.; Yoon, Hyunsoo, PARALLEL PROCESSING LETTERS, v.6, no.1, pp.75 - 86, 1996

1491
Freezing: Eliminating Unnecessary Drawing Computation for Low Power

Seo, Bohun; Kim, Hyeonggyu; Kim, Soontae, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, v.39, no.1, pp.56 - 61, 2020-01

1492
Friend-safe evasion attack: An adversarial example that is correctly recognized by a friendly classifier

Kwon, Hyun; Kim, Yongchul; Park, Ki-Woong; Yoon, Hyunsoo; Choi, Daeseon, COMPUTERS & SECURITY, v.78, pp.380 - 397, 2018-08

1493
From Anticipation to Action: Data Reveal Mobile Shopping Patterns During a Yearly Mega Sale Event in China

Guan, Muzhi; Cha, Meeyoung; Li, Yong; Wang, Yue; Sun, Jingbo, IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, v.34, no.4, pp.1775 - 1787, 2022-04

1494
FromTo-CLIR (TM): web-based natural language interface for cross-language information retrieval

Kim, T; Sim, CM; Yuh, S; Jung, H; Kim, YK; Choi, SK; Park, DI; et al, INFORMATION PROCESSING MANAGEMENT, v.35, no.4, pp.559 - 586, 1999-07

1495
Fully automated interoperability test suite derivation for communication protocols

Ryu, H; Seol, S; Kim, Myungchul; Kang, Sungwon, COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, v.43, no.6, pp.735 - 759, 2003-12

1496
Fully Complex Deep Learning Classifiers for Signal Modulation Recognition in Non-Cooperative Environment

Kim, Sangkyu; Yang, Hae-Yong; Kim, Daeyoung, IEEE ACCESS, v.10, pp.20295 - 20311, 2022

1497
Fully Decentralized Horizontal Autoscaling for Burst of Load in Fog Computing

Park EunChan; Baek KyeongDeok; Cho Eunho; Ko In-Young, JOURNAL OF WEB ENGINEERING, v.22, no.6, pp.849 - 869, 2023-12

1498
Fusion of the SLAM with Wi-Fi-Based Positioning Methods for Mobile Robot-Based Learning Data Collection, Localization, and Tracking in Indoor Spaces

Lee, Gunwoo; Moon, Byeong-Cheol; Lee, Sangjae; Han, Dongsoo, SENSORS, v.20, no.18, pp.1 - 20, 2020-09

1499
Future Trends, Implications in Cost Estimation Models

Baik, Jongmoon; Chulani, Sunita; Boehm, Barry; Abts, Chris; Brown, A. Windsor; Clark, Brad; Horowitz, Ellis; et al, CROSSTALK, 2000-04

1500
FuzzDocs: An Automated Security Evaluation Framework for IoT

You, Myoungsung; Kim, Yeonkeun; Kim, Jaehan; Seo, Minjae; Son, Sooel; Shin, Seungwon; Lee, Seungsoo, IEEE ACCESS, v.10, no.0, pp.102406 - 102420, 2022-09

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0