Browse by Title
Showing results 181061 to 181080 of 276106
| Specification and analysis of timing requirements for real-time systems in the CBD approach Lee, Ho Kyoung; Lee, Woo Jin; Chae, Heung Seok; Kwon, Yong Rae, REAL-TIME SYSTEMS, v.36, no.1-2, pp.135 - 158, 2007-07 |
| Specification and analysis of timing requirements in CBD approach using modular petri nets = 컴포넌트 기반 개발 방법론에서의 modular petri nets 를 이용한 시간 제약 사항의 명세 및 분석link Lee, Ho-Kyoung; 이호경; et al, 한국과학기술원, 2007 |
| SPECIFICATION AND COORDINATION OF LONG-RUNNING DESIGN ACTIVITIES FOR CAD ENVIRONMENTS CHO, HR; Moon, Songchun, MICROPROCESSING AND MICROPROGRAMMING, v.40, no.7, pp.449 - 464, 1994-10 |
| Specification and space complexity of collaborative text editing Attiya, Hagit; Burckhardt, Sebastian; Gotsman, Alexey; Morrison, Adam; Yang, Hongseok; Zawirski, Marek, THEORETICAL COMPUTER SCIENCE, v.855, pp.141 - 160, 2021-02 |
| 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 |
Discover
Type
Open Access
Date issued
- 31,118 2020 - 2024
- 99,968 2010 - 2019
- 75,670 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969