EXECUTABLE SPECIFICATIONS IN MULTI-MEDIA SYSTEM DESIGN ENVIRONMENT

Matthias Deegene ,  So ,  in A. Huss

ICVC : International Conference on VLSI and CAD

1995 .01

An Executable Process Generation System based on Web Service for the Intelligent Robot

Cheonshu Pa ,  k ,  Joochan Sohn

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2005 .07

An Executable Service Process Generation System using Web Service and OWL-S

Cheonshu Pa ,  k ,  Joochan Sohn

제어로봇시스템학회 국제학술대회 논문집

2006 .10

실행아키텍처 기반 작전능력 분석 모델에 대한 연구

황하준

한국정보과학회 학술발표논문집

2014 .12

네트워크로 실행모듈을 관리하는 원격제어시스템에 관한 연구

이창구 ,  박인정 ,  이천우

대한전자공학회 학술대회

2001 .11

한국형 고속전철 시스템엔지니어링 관리체계의 거동분석에 관한 연구

이태형 ,  김대승 ,  현승호

한국철도학회 학술발표대회논문집

2001 .10

하드웨어 보안모듈을 이용한 임베디드 디바이스의 실행코드 무결성 검증 기능 구현

전용성 ,  강유성

대한전자공학회 학술대회

2020 .08

Executable Specification 기법을 이용한 MPEG Audio용 IMDCT 설계 및 기능검증

박원태 ,  조원경

대한전자공학회 학술대회

2000 .06

AN EXECUTABLE SPECIFICATION LANGUAGE-ChiSL

Chuang Xu ,  Yong Sen Xu

대한전자공학회 기타 간행물

1992 .01

센서 네트워크 환경에서의 데이터 처리 메커니즘

박대현 ,  김영준 ,  이정훈 외 1명

대한전자공학회 학술대회

2007 .07

센서 네트워크 환경에서의 데이터 처리 메커니즘

박대현 ,  김영준 ,  이정훈 외 1명

대한전자공학회 학술대회

2007 .07

바이너리 분석기를 이용한 실행파일 분석 서비스

오재근 ,  변채정 ,  조은선

한국정보과학회 학술발표논문집

2015 .06

지능형 로봇을 위한 웹 서비스기반 실행 플랜 생성 시스템

박천수 ,  손주찬

한국통신학회 학술대회 및 강연회

2004 .12

실행 가능한 모델링 언어를 위한 GUI 표현 기법

배정호

한국정보과학회 학술발표논문집

2019 .06

Applying Formal Methods to Modeling and Analysis of Real-time Data Streams

K ,  asimi ,  a Kapitanova 외 3명

Journal of Computing Science and Engineering

2011 .03

A Hybrid Model to Detect Win32 Worm Executables

Usukhbaya ,  . B ,  E 외 2명

한국멀티미디어학회 국제학술대회

2011 .07

MPEG-2 Transport Stream의 Program Stream으로의 변환 및 분석

채지웅 ,  김정림 ,  설상훈

한국방송미디어공학회 학술발표대회 논문집

2002 .11

계층적 데이타흐름을 기반으로 한 수행가능한 명세언어의 설계 및 구현 ( The Design and Implementation of A Executable Specification Language Based A Hierarchical Data Flow Diagram )

김재생 ,  송영재

대한전자공학회 학술대회

1990 .01

MS 윈도우 바이너리 분류를 위한 특징정보와 기계학습 알고리즘에 대한 연구

이덕무 ,  박종화 ,  황엽섭 외 2명

한국정보과학회 학술발표논문집

2016 .06

핫패칭 플랫폼을 이용한 실행파일 압축 기법

정해건 ,  강경태

한국정보과학회 학술발표논문집

2018 .12