Showing results 35 to 48 of 48
반례를 이용한 프로그램의 오류 원인 탐지 기법 차성덕; 신모범; 김태효; 방호정, 한국정보과학회 06 한국컴퓨터종합학술대회, pp.142 - 144, 2006 |
병행 객체지향 로봇 프로그래밍 시스템을 위한 객체모형과 언어 설계 = A design of object model and language for concurrent object-oriented robot programming systemlink 김규태; Kim, Gyu-Tae; 차성덕; 배두환; et al, 한국과학기술원, 1997 |
비정상 웹 세션 탐지 및 지역 기반 시각화 차성덕; 김상록; 서정석; 이준섭, 2006 한국정보과학회 제 33회 추계 학술대회, pp.616 - 620, 2006 |
스테이트차트의 실시간 검증을 위한 모델체커의 확장 = Extending SMV for real-time verification of statechartslink 방호정; Bang, Ho-Jung; et al, 한국과학기술원, 2003 |
시간과 위치 기반 웹 보안 시각화 = Time-based and Location-based web security visualizationlink 이영석; Lee, Young-Seok; et al, 한국과학기술원, 2006 |
실시간 모델 체커를 이용한 폴트 트리의 체계적 검증 지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.12, pp.860 - 872, 2002-12 |
실시간 웹 사용 현황과 이상 행위에 대한 시각화 = Real-time visualization of web usage patterns and anomalous sessionslink 이병희; Lee, Byung-Hee; et al, 한국과학기술원, 2004 |
온라인 이미지에 관한 정보은닉 방지기법 차성덕; 박근한; 이흥규, 한국정보보호학회 논문지 , v.6, no.2, pp.23 - 32, 1996-06 |
웹 환경 분석을 통한 공격 분류 = An approach to web attack categorizationlink 서정석; Seo, Jeong-Seok; et al, 한국과학기술원, 2002 |
이상 특성 기반 비정상 행위 탐지 시스템 = ADAM : anomaly detector assistant based on anomaly feature matrixlink 김상록; Kim, Sang-Rok; et al, 한국과학기술원, 2008 |
컬러드 페트리네트를 이용한 지능망 서비스의 모델링 및 검증 권용래; 차성덕, 차세대 지능망 학술대회, 1996 |
클래스의 상태기반 테스팅 방법 홍형석; 권용래; 차성덕, 정보과학회논문지 : 소프트웨어 및 응용, v.23, no.11, pp.1145 - 1154, 1996-11 |
페이건 인스펙션의 오류검출 능력에 관한 실험적 평가 소선섭; 차성덕; 권용래; T.J. Shimeall, 정보과학회논문지 : 소프트웨어 및 응용, v.24, no.12, pp.1374 - 1381, 1997-12 |
페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석 이우진; 차성덕; 권용래; 김흥남, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.3, pp.210 - 216, 2000-03 |
Discover