2002-04 | Microcode-based memory BIST implementing modified march algorithms | 도경구 |
2002-04 | Microcode-based memory BIST implementing modified march algorithms | 도경구 |
2006-08 | A policy description language for context-based access control and adaptation in ubiquitous environment | 도경구 |
2006-11 | A practical string analyzer by the widening approach | 도경구 |
2007-05 | A programming environment for ubiquitous computing environment | 도경구 |
2013-12 | Quantitative trust management to support QoS-aware service selection in service-oriented environments | 도경구 |
2015-07 | Quantitative trust management with QoS-aware service selection | 도경구 |
2007-04 | The service modeling process based on use case refactoring | 도경구 |
2001-12 | SMV를 이용한 정보 흐름 안전성의 모델 검사 | 도경구 |
2014-12 | SQL/NoSQL Injection 취약점 자동 침투 시험 도구의 구현 및 실험 | 도경구 |
2014-11 | SQL/NoSQL Injection 취약점 자동 침투 시험 도구의 설계 | 도경구 |
2013-06 | Static validation of dynamically generated HTML documents based on abstract parsing and semantic processing | 도경구 |
2009-11 | Transaction synchronization protocol using XML in client-server environment | 도경구 |
2018-06 | Tree-Pattern-Based Clone Detection with High Precision and Recall | 도경구 |
2009-11 | Tree-pattern-based duplicate code detection | 도경구 |
2007-11 | A trust type based model for managing QoS in Web services composition | 도경구 |
2008-02 | Trust type based semantic Web services assessment and selection | 도경구 |
2007-11 | A type system for checking consistencies of a policy specification used in ubiquitous programming environment | 도경구 |
2013-01 | Use-case driven service modelling with XML-based tailoring for SOA | 도경구 |
2002-08 | Wrapper generation by using XML-based domain knowledge for intelligent information extraction | 도경구 |
2018-12 | 공통 토큰에 기반한 서로 다른 언어의 유사성 검사 | 도경구 |
2004-05 | 명령형 프로그램의 핵심부분에 대한 정보흐름 보안성의 데이타 흐름 분석 | 도경구 |
2017-04 | 모바일 앱 소스코드 보안약점 자동탐지 | 도경구 |
2002-10 | 바이트코드 정보흐름 분석기의 구현 | 도경구 |
2015-09 | 벨론 레퍼런스 코퍼스를 기준으로 exEyes의 재현율 평가 | 도경구 |
2008-02 | 상황 인식 기반의 유비쿼터스 컴퓨팅을 위한 접근제어 시스템 | 도경구 |
2011-05 | 실행시간 의존성 측정을 통한 SOA 취약성 평가 | 도경구 |
1999-12 | 액션의 온라인 부분계산 | 도경구 |
2000-08 | 액션의미방식에 의한 언어모듈의 정의와 확장 | 도경구 |
2014-06 | 양방향 정적분석을 통한 정수구간 명세 자동유추의 실험 | 도경구 |