Directions
2017
-
시스템 오브 시스템즈 수준의 목표 달성 검증 도구
진민규, 신동환, 김준호, 배두환
한국컴퓨터종합학술대회
2017[]
-
시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구
김준호, 신동환, 배두환
정보과학회논문지
2017[]
-
시스템 테스트 케이스를 이용한 C 프로그램의 동적 유닛 입력 값 자동 수집 및 재연 기술
임현수, 김문주, 김윤호
2017 한국소프트웨어종합학술대회(KSC)
2017[]
-
실시간 상호작용을 위한 질량-스프링 시스템 기반 취성 파괴 시뮬레이션
조현율, 김석열, 박진아
2017 한국 소프트웨어공학 학술대회 (KCSE 2017)
2017[] []
-
안드로이드 커널 모듈 취약점 탐지를 위한 자동화된 유닛 테스트 생성 기법
김윤호, 김문주
정보과학회논문지
2017[]
-
양자 컴퓨터 공격에 안전한 격자 기반키 교환 방식의 비교
최락용, 안형철, 이지은, 김성숙, 김광조
한국통신학회논문지
2017[]
-
언어학적 패턴을 이용한 소셜 미디어 사용자의 우울증 증세 예측
송호윤, 박한철, 양원석, 박종철
2017 한국소프트웨어종합학술대회(KSC)
2017[]
-
오프라인 평판 정보가 온라인 소셜 플랫폼 유저들의지속 사용에 미치는 인과 관계 연구
박건우, 곽해운, 차미영
한국소프트웨어종합학술대회
2017[]
-
오픈 데이터 기반 스마트 시티 플랫폼 아키텍쳐 및 버스 체계를 위한 응용 시스템
조혜은, 이나경, Hoang Minh Nguyen, Yalew Tolcha, 우성필, 권기웅, 변재욱, 김대영
한국컴퓨터종합학술대회
2017[] []
-
오픈소스 서버리스 클라우드 컴퓨팅 프레임워크 비교 분석
김재욱, 전태준, 강대연, 김도현, 김대영
한국컴퓨터종합학술대회
2017[] []
-
온-칩 프레임버퍼 캐시 기반 안드로이드 디스프레이 시스템 소모 에너지 절감 기법
박윤균, 김제성, 김순태
한국정보과학회 Korea Computer Congress 2017
2017[]
-
온라인 게임 내 최고 레벨 유저의 이탈 분석
박건우, 차미영
정보과학회논문지
2017[]
-
온라인 클릭베이트 스팸 탐지 모델
Ha, Y, 차미영
한국정보과학회 Korea Computer Congress 2017
2017[]
-
유사 소프트웨어의 신뢰성을 고려한 체계적인 소프트웨어 신뢰성 목표 설정 방법
강상모, 백종문
한국소프트웨어종합학술대회
2017[] []
-
이더리움 스마트 컨트랙트의 실시간 정적 분석
김경원, 류석영
한국정보과학회 제43회 동계학술발표회
2017[]
-
일상생활 활동 모델링 기반의 주간 생활패턴 예측 기법
임채균, 정영섭, 최호진
한국정보과학회 Korea Computer Congress 2017
2017[]
-
일치된 시각-역감 피드백 제공을 통한 사용자 중심의 3차원 가상환경 작업공간 구현 기법
장윤기, 박진아
HCI KOREA
2017[] []
-
임베디드 환경에서 사용성과 성능 분석을 위한 가상화 시스템 프레임워크
한욱현, 이재우, 조병길, 신인식
한국군사과학기술학회지
2017 -
자바스크립트 정적 분석을 위한 모델 병합 기법 개발
최영서, 류석영
한국정보과학회 제43회 동계학술발표회
2017[]
-
지속적 통합 환경에서 비용효율적인 회귀테스팅 기술 적용 및 테스트 실패 관심도에 따른 기술 성능 비교
권정현, 고인영
2017 한국소프트웨어종합학술대회(KSC)
2017[]
