Showing results 183061 to 183080 of 278814
Specification and Test-Case Generation Method for Detecting Data Anomalies in Concurrent Programs 차성덕, 한국정보과학회 추계학술대회 발표논문집, 1997 |
Specification and validation of dynamic systems using temporal logic Cho, S.M.; Kim, H.H.; Cha, S.D.; Bae, D.H.; Shin, Sung-Chul, 49th Conference on Magnetism and Magnetic Materials, v.148, no.4, pp.135 - 140, MMM, 2004-11 |
Specification and Validation of Dynamic Systems Using Temporal Logic Cho, Seung Mo; Kim, Hyung Ho; Cha, Sung Deok; Bae, Doo Hwan, IEE Proceedings - Software, Vol.148, No.4, pp.135-140, 2001-08 |
Specification and validation of dynamic systems using temporal logic Cho S.M.; Kim H.H.; Cha S.D.; Bae, Doo-Hwan, IEE PROCEEDINGS: SOFTWARE, v.148, no.4, pp.135 - 140, 2001-08 |
Specification error detection and dynamic interoperation support for inter-organizational workflow = 다중 조직간 워크플로우를 위한 명세 오류 검출 방법과 동적 연동 지원방안에 관한 연구link Shim, Jae-Yong; 심재용; et al, 한국정보통신대학교, 2003 |
Specification Error Detection of Structured Workflow Definition Using Set Constraint System Shim, Jaeyong; Lee, Minkyu; Han, Dongsoo, IEICE Transaction of Information & System, Vol.E00-D, 2004-12 |
Specification of a Software Architecture and Protocols for Automated VLSI Manufacturing System Operation Park, J.H.; Kim, J.W.; Kwon, W.H., 제어,자동화,시스템공학 논문지, v.3, no.1, pp.94 - 100, 1997 |
Specification of multi-resolution modeling space for multi-resolution system simulation Hong, Su-Youn; Kim, Tag-Gon, SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, v.89, pp.28 - 40, 2013-01 |
Specification of multimedia composition and a visual programming environment Eun, SB; No, ES; Kim, HC; Yoon, Hyunsoo; Maeng, SR, Proceedings of the 1st ACM International Conference on Multimedia, pp.167 - 173, 1993-08-01 |
Specification of Pagoda Distributed File System 전길남, Proc. of KISS, 1985 |
Specification Seeding Method(SSM): Automatic Component Software Generation Using Spontaneous Composition Between Components Park, WJ; Joo, BG; Bae, Doo-Hwan, Software Engineering, Artificial Intelligence, Networking & Paralle/Distributed Computing, pp.817 - 824, 2001 |
Specification-Based Program Slicing and Its Application w. k. lee; i. s. chung; g. s. yoon; Kwon, Yong Rae, JOURNAL OF SYSTEMS ARCHITECTURE, v.47, no.5, pp.427 - 443, 2001-05 |
Specification-based testing of java multithreaded programs utilizing equivalence relation on test sequences = 시험 시퀀스들의 동치 관계를 이용한 자바 다중스레드 프로그램의 명세 기반 시험기법link Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2007 |
Specificity Analysis of Genome Based on Statistically Identical K-words with Same Base Combination![]() Seo, Hyein; Song, YongJoon; Cho, Kiho; Cho, Dong-Ho, IEEE OPEN JOURNAL OF ENGINEERING IN MEDICINE AND BIOLOGY, v.1, pp.214 - 219, 2020-07 |
Specificity in Sensitization Huh, Young Eun; Vosgerau, Joachim; Morewedge, Carey K., Marketing Academic Research Colloquium, Marketing Academic Research Colloquium, 2012-05 |
Specificity in Sensitization: Complements in Food Consumption Huh, Young Eun; Vosgerau, Joachim; Morewedge, Carey K., Society for Consumer Psychology Conference, Society for Consumer Psychology, 2012-02-17 |
Specificity in Sensitization: Complements in Food Consumption Huh, Young Eun; Vosgerau, Joachim; Morewedge, Carey K., Society for Personality and Social Psychology Conference, Society for Personality and Social Psychology, 2012-01-27 |
Specificity in Sensitization: Complements in Food Consumption Huh, Young Eun; Vosgerau, Joachim; Morewedge, Carey K., Conference of the Society for Judgment and Decision Making, Society for Judgment and Decision Making, 2011-11-06 |
Specificity of molecular interactions in transient protein-protein interaction interfaces Cho, KI; Lee, K; Lee, Kwang-Hyung; Kim, Dongsup; Lee, Doheon, PROTEINS-STRUCTURE FUNCTION AND BIOINFORMATICS, v.65, pp.593 - 606, 2006-11 |
SPECIFICITY OF MOLECULAR RECOGNITION LEARNED FROM THE CRYSTAL STRUCTURES OF TRAIL AND THE TRAIL: SDR5 COMPLEX Cha, Sun-Shin; Song, Young-Lan; Oh, Byung-Ha, TRAIL (TNF-RELATED APOPTOSIS-INDUCING LIGAND) Book Series: Vitamins and Hormones, v.67, pp.1 - 17, 2004 |
Discover