Showing results 213061 to 213080 of 279171
Verification, validation, and accreditation (VV&A) considering military and defense characteristics Kim, Junghoon; Jeong, Seung Min; Oh, Sunkyung; Jang, Young Jae, INDUSTRIAL ENGINEERING AND MANAGEMENT SYSTEMS, v.14, no.1, pp.88 - 93, 2015-03 |
Verification-based Post-processing for Improvement of Keyword Recognizer Kim, K; Kim, HoiRin, Proc. of ICSP2001, pp.519 - 522, 2001-08 |
Verifications of visual characteristic of complex functions $f_{\alpha, c}(z)= z^{\alpha+c}$ Kim, Hong Oh, Proc. CGI'93, pp.345 - 357, 1993-07-01 |
Verified order-based secure concurrency controller in multilevel secure database management systems Sohn, Yonglak; Moon, Songchun, IEICE transactions on information and systems , Vol. 83, No. 5, 2000, pp. 1128-1141(14), 2000 |
Verified order-based secure concurrency controller in multilevel secure database management systems Sohn, Yonglak; Moon, Songchun, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E83D, no.5, pp.1128 - 1141, 2000-05 |
Verified Order-Based Transaction Scheduling Scheme for Multilevel Secure Database Management Systems Sohn, Yonglak; Moon, Songchun, International Conference on Database and Expert Systems Applications, pp.254 - 263, 2000 |
Verified real computation = 검증된 실수 연산link Park, Se Won; Ziegler, Martin; et al, 한국과학기술원, 2017 |
Verified strong PL of GaP through ZnS/GaP reverse type I quantum dot Shin, Hongjoo, 2023 MRS Spring Meeting & Exhibit, Mateiral Research Society, 2023-04-12 |
Verifying a Software Architecture Reconstruction Framework with a Case Study Lee, Seonah; Kang, Sungwon, 2006 International Conference on Software Engineering and Knowledge Engineering (SEKE'2006), pp.0, SEKE'2006, 2011-08-10 |
Verifying Communication Network Functionality through Protocol Testing Kang, Sungwon, International Conference on Software in Telecommunications and Computer Networks (SoftCOM'98), pp.0 - 0, 1998-10-01 |
Verifying entanglement with minimal measurements Bae, Joonwoo, 43rd International Conference on Quantum Probability, and Infinite Dimensional Analysis (QP-43), NRF of Korea, Research Institute for Natural Sciences, 2023-01-09 |
Verifying Safety of File-like Resources by Resource Allocation Matrix Eo, Hyunjun; Kang, Hyun-Goo; Choe, Kwang-Moo; Han, Taisook, Proceedings of the 4th International Conference on Asian Language Processing and Information Technology, pp.387 - 392, 2005-06-01 |
Verifying well-definedness of variational objectives for probabilistic programs = 확률적 프로그램의 잘 정의된 변분 목적 함수 검증link Yu, Hangyeol; Yang, Hongseok; et al, 한국과학기술원, 2020 |
Verikube: Automatic and Efficient Verification for Container Network Policies Kang, Haney; Shin, Seungwon, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E105D, no.12, pp.2131 - 2134, 2022-12 |
Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonzoo; Lee, Insup; Obradovic, Davor, International Symposium on Software Testing and Analysis, pp.2 - 13, ACM, 2000-08-01 |
Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonjoo; Lee, Insup; Obradovic, Davor; Sokolsky, Oleg; Viswanathan, Mahesh, 2011-01-18 |
Verisim: Formal analysis of network simulations Bhargavan, K; Gunter, CA; Kim, Moonzoo; Lee, I; Obradovic, D; Sokolsky, O; Viswanathan, M, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.28, no.2, pp.129 - 145, 2002-02 |
“Vernacular Sound”: System for Soundscaping of Everyday Objects 오주영; Wohn, Kwang-Yun; 이유진; 이주영, International Symposium on Electronic Art, ISEA, 2016-05-20 |
Verproside inhibits TNF-alpha-induced MUC5AC expression through suppression of the TNF-alpha/NF-kappa B pathway in human airway epithelial cells Lee, Su Ui; Sung, Min Hee; Ryu, Hyung Won; Lee, Jinhyuk; Kim, Hui-Seong; In, Hyun Ju; Ahn, Kyung-Seop; et al, CYTOKINE, v.77, pp.168 - 175, 2016-01 |
Versatile Applications of a Geotechnical Information System for Estimating Site Effects at Gyeongju in Korea SUN, Chang-Guk; CHUNG, Choong-Ki; Kim, Dong-Soo; LEE, Sun-Jae, International Conference on Earthquake Geotechnical Engineering, 2007-06 |
Discover