Browse by Title 

Showing results 183061 to 183080 of 278814

183061
Specification and Test-Case Generation Method for Detecting Data Anomalies in Concurrent Programs

차성덕, 한국정보과학회 추계학술대회 발표논문집, 1997

183062
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

183063
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

183064
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

183065
Specification error detection and dynamic interoperation support for inter-organizational workflow = 다중 조직간 워크플로우를 위한 명세 오류 검출 방법과 동적 연동 지원방안에 관한 연구link

Shim, Jae-Yong; 심재용; et al, 한국정보통신대학교, 2003

183066
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

183067
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

183068
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

183069
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

183070
Specification of Pagoda Distributed File System

전길남, Proc. of KISS, 1985

183071
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

183072
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

183073
Specification-based testing of java multithreaded programs utilizing equivalence relation on test sequences = 시험 시퀀스들의 동치 관계를 이용한 자바 다중스레드 프로그램의 명세 기반 시험기법link

Seo, Heui-Seok; 서희석; et al, 한국과학기술원, 2007

183074
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

183075
Specificity in Sensitization

Huh, Young Eun; Vosgerau, Joachim; Morewedge, Carey K., Marketing Academic Research Colloquium, Marketing Academic Research Colloquium, 2012-05

183076
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

183077
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

183078
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

183079
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

183080
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

rss_1.0 rss_2.0 atom_1.0