적응형 시스템의 통계적 검증 기반 예측적 적응 기법PROACTIVE ADAPTATION APPROACH BASED ON STATISTICAL MODEL CHECKING FOR SELF-ADAPTIVE SYSTEMS
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 배두환 | ko |
| dc.contributor.author | 신용준 | ko |
| dc.contributor.author | 조은호 | ko |
| dc.date.accessioned | 2023-10-13T03:02:36Z | - |
| dc.date.available | 2023-10-13T03:02:36Z | - |
| dc.identifier.uri | http://hdl.handle.net/10203/313299 | - |
| dc.description.abstract | 적응형 시스템의 통계적 검증 기반 예측적 적응 기법이 개시된다. 컴퓨터 시스템에서 수행되는 예측적 적응 방법은, 상기 컴퓨터 시스템의 운행 환경에 대한 변화를 모니터링하는 단계; 및 상기 변화에 따라 상기 컴퓨터 시스템의 운행과 관련된 최적 행동 옵션을 선택하기 위해 SMC(statistical model checking) 기법을 이용하여 사전 적응(proactive adaptation) 프로세스를 수행하는 단계를 포함한다. | - |
| dc.title | 적응형 시스템의 통계적 검증 기반 예측적 적응 기법 | - |
| dc.title.alternative | PROACTIVE ADAPTATION APPROACH BASED ON STATISTICAL MODEL CHECKING FOR SELF-ADAPTIVE SYSTEMS | - |
| dc.type | Patent | - |
| dc.type.rims | PAT | - |
| dc.contributor.localauthor | 배두환 | - |
| dc.contributor.assignee | 한국과학기술원 | - |
| dc.identifier.iprsType | 특허 | - |
| dc.identifier.patentApplicationNumber | 10-2021-0061164 | - |
| dc.identifier.patentRegistrationNumber | 10-2585570-0000 | - |
| dc.date.application | 2021-05-12 | - |
| dc.date.registration | 2023-09-27 | - |
| dc.publisher.country | KO | - |
- Appears in Collection
- CS-Patent(특허)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.