CS-Conference Papers(학술회의논문)

Recent Items

Collection's Items (Sorted by Submit Date in Descending order): 21 to 40 of 5646

21

A runtime verification framework for dynamically adaptive multi-agent systems

Lim, Yoo Jin; Hong, Gwangui; Shin, Donghwan; Jee, Eunkyoung; Bae, Doo-HwanresearcherInstitute of Electrical and Electronics Engineers Inc.International Conference on Big Data and Smart Computing, BigComp 2016, pp.509 - 512, 2016-01

22

A Theoretical Framework for Understanding Mutation-Based Testing Methods

Shin, Donghwan; Bae, Doo-HwanresearcherIEEE Computer Society9th IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, pp.299 - 308, 2016-04

23

Characterizing non-deadlock concurrency bug fixes in open-source Java programs

Yu, Misun; Ma, Yu-Seung; Bae, Doo-HwanresearcherACM Special Interest Group on Applied Computing (SIGAPP)31st Annual ACM Symposium on Applied Computing, SAC 2016, pp.1534 - 1537, 2016-04-07

24

Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability

Shin, Donghwan; Yoo, Shin; Bae, Doo-HwanresearcherIEEE Computer Society9th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016, pp.122 - 131, 2016-04-11

25

Modeling and verification for different types of system of systems using PRISM

Seo, Dongwon; Shin, Donghwan; Baek, Young-Min; Song, Jiyoung; Yun, Wonkyung; Kim, Junho; Jee, Eunkyoung; Bae, Doo-HwanresearcherAssociation for Computing Machinery, Inc4th International Workshop on Software Engineering for Systems-of-Systems, SESoS 2016, pp.12 - 18, 2016-05-16

26

교통 분야 시스템 오브 시스템즈 대상 SUMO의 모델링 적합성 분석

윤원경; 송지영; 지은경; 배두환researcher한국정보과학회2016년 한국컴퓨터종합학술대회 논문집, 2016-06-30

27

시스템 오브 시스템즈 대상 행동-이익-비용 모델링 및 통계적 모델 체킹 기반 속성 검증 사례 연구

김준호; 신동환; 배두환researcher한국정보과학회2016년 한국컴퓨터종합학술대회 논문집, 2016-06-30

28

시스템 오브 시스템즈 모델링을 위한 다중 에이전트 시스템 메타 모델링 기법 분석

정유림; 백영민; 윤일철; 배두환researcher한국정보과학회한국정보과학회 2016년 동계학술대회 논문집, 2016-12-22

29

DISPARITY MAP RECONSTRUCTION WITH ELECTROTHERMAL MEMS PARALLEL PLATE ROTATION

장경원; 정기훈researcher; 양성표; 백승환; 김민혁researcher(사)마이크로나노시스템학회KMEMS 2017, 2017-03-31

30

Mutation Analysis for System of Systems Policy Testing

Yun, Wonkyung; Shin, Donghwan; Bae, Doo-HwanresearcherInstitute of Electrical and Electronics Engineers Inc.5th IEEE/ACM Joint International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems, JSOS 2017, pp.16 - 22, 2017-05-23

31

시스템 오브 시스템즈 수준의 목표 달성 검증 도구

진민규; 신동환; 김준호; 배두환researcher한국정보과학회2017 한국컴퓨터종합학술대회, 2017-06-19

32

원전 안전 필수 시스템 소프트웨어 대상 안전 진술 평가 사례연구

지은경; 권기춘; 이장수; 배두환researcher한국정보과학회2017년 한국컴퓨터종합학술대회, 2017-06-19

33

Developing Hypergraph Query System Considering Hyperedge Information Using Subgraph Isomorphism

유충모; 서정혁; 김명호researcher한국정보과학회2017 한국컴퓨터종합학술대회, pp.307 - 309, 2017-06-19

34

An Efficient Path-based Indexing Technique for Subgraph Isomorphism Query Processing

하태욱; 김명호researcher한국정보과학회2017 한국컴퓨터종합학술대회, pp.310 - 312, 2017-06-19

35

High-contrast Subcutaneous Vein Imaging using Angle-sensitive Spectral Filter of Complementary Plasmonic Structures

안명수; 정기훈researcher; 전석준; 김민혁researcher(사)한국광학회 바이오포토닉스분과ABC 2017, 2017-10-27

36

Data Integration Framework for Heterogeneous Databases in Biomedicine

Jeong, Hyun Ji; Park, Hye Rin; Kim, Jae Ho; Kim, Myoung HoresearcherAsian Institute of TechnologyICCC2017, Int'l Conf. on Convergence Content, pp.361 - 362, 2017-12-11

37

An Effective Construction of a Korean-to-KSL Parallel Corpus

Kim, Jung-Ho; Park, Jong-CheolresearcherProceedings of the 26th Annual Conference on Human and Cognitive Language Technology (HCLT)Proceedings of the 26th Annual Conference on Human and Cognitive Language Technology (HCLT), 2014-10

38

수형의 효율적 수집을 통한 한국어-한국수어 병렬코퍼스 제작

Kim, Jung-Ho; Park, Jong-Cheolresearcher한국정보과학회2014 한국정보과학회 제41회 정기총회 및 동계학술발표회, pp.450 - 452, 2014-12

39

Identification of Depression-Gene Associations from Biomedical Literature

You, Jinseon; Jin, Rize; Lee, Hee-Jin; Park, Jong-CheolresearcherKorea Computer Congress (KCC)Korea Computer Congress (KCC), 2015-06

40

CoMAGD: Annotation of Gene-Depression Relations

Jin, Rize; You, Jinseon; Chung, Jin-Woo; Lee, Hee-Jin; Wolters, Maria; Park, Jong-CheolresearcherProceedings of the 2015 ACL Workshop on Biomedical Natural Language Processing (BioNLP 2015)Proceedings of the 2015 ACL Workshop on Biomedical Natural Language Processing (BioNLP 2015), pp.104 - 113, 2015-07-30

rss_1.0 rss_2.0 atom_1.0