Showing results 1481 to 1500 of 4133
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances Kim, Moonzoo, ATVA, 2007 |
Formal Specification of a JavaScript Module System Kang, Seonghoon; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.47, no.10, pp.621 - 638, 2012-10 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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