적응형 시스템의 통계적 검증 기반 예측적 적응 기법PROACTIVE ADAPTATION APPROACH BASED ON STATISTICAL MODEL CHECKING FOR SELF-ADAPTIVE SYSTEMS

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 60
  • Download : 0
DC FieldValueLanguage
dc.contributor.author배두환ko
dc.contributor.author신용준ko
dc.contributor.author조은호ko
dc.date.accessioned2023-10-13T03:02:36Z-
dc.date.available2023-10-13T03:02:36Z-
dc.identifier.urihttp://hdl.handle.net/10203/313299-
dc.description.abstract적응형 시스템의 통계적 검증 기반 예측적 적응 기법이 개시된다. 컴퓨터 시스템에서 수행되는 예측적 적응 방법은, 상기 컴퓨터 시스템의 운행 환경에 대한 변화를 모니터링하는 단계; 및 상기 변화에 따라 상기 컴퓨터 시스템의 운행과 관련된 최적 행동 옵션을 선택하기 위해 SMC(statistical model checking) 기법을 이용하여 사전 적응(proactive adaptation) 프로세스를 수행하는 단계를 포함한다.-
dc.title적응형 시스템의 통계적 검증 기반 예측적 적응 기법-
dc.title.alternativePROACTIVE ADAPTATION APPROACH BASED ON STATISTICAL MODEL CHECKING FOR SELF-ADAPTIVE SYSTEMS-
dc.typePatent-
dc.type.rimsPAT-
dc.contributor.localauthor배두환-
dc.contributor.assignee한국과학기술원-
dc.identifier.iprsType특허-
dc.identifier.patentApplicationNumber10-2021-0061164-
dc.identifier.patentRegistrationNumber10-2585570-0000-
dc.date.application2021-05-12-
dc.date.registration2023-09-27-
dc.publisher.countryKO-
Appears in Collection
CS-Patent(특허)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0