Showing results 1 to 4 of 4
A component constraints abstraction mechanism for dynamic software architecture = 동적 소프트웨어 아키텍처를 위한 컴포넌트 제약조건 추상화 기법link Bang, Jeong-Wook; 방정욱; et al, 한국정보통신대학교, 2006 |
A meta-protocol based interoperability support framework for heterogeneous home network middleware = 이종 홈 네트워크 미들웨어를 위한 meta-protocol 기반 상호호환 지원 프레임워크link Moon, Kyeong-Deok; 문경덕; et al, 한국정보통신대학교, 2005 |
(A) cooperative query answering approach using knowledge about abstraction of values and domains = 값과 도메인의 추상화에 관한 지식을 이용한 협력적 질의응답에 관한 연구link Moon, Kea-Hyun; 문개현; et al, 한국과학기술원, 1996 |
Model checking using interface abstraction = 인터페이스 추상화를 이용한 모델 체킹link Jung, Hee-Jae; 정희재; et al, 한국과학기술원, 2003 |
Discover