전남대학교 중앙도서관

링크메뉴

주메뉴

- 게시판
- 전시마당

- 게시판
- 전시마당

- 대출반납서비스
- 도서신청서비스
- 시설이용서비스
- 장애학생 지원서비스
- 타기관이용서비스
- 무인예약대출 서비스
- 학위논문파일 제출
- 개인정보관리
- 원문복사 신청/조회
- 상호대차 신청/조회
- 게시판
- 전시마당

도서관안내
시설안내
정보마루안내
4F
전자자료 상세검색

전자자료 상세검색

통합검색
소장자료
전자자료

통합검색

결과내 검색

검색어 [키워드: "Wrage, Lutz"]

총 40건

※ 중복 레코드가 제거된 검색 결과가 표시됩니다.

1/4 페이지

검색결과수정

검색범위확장
- Full Text내 키워드 확장
- 관련 주제어 확장
재검색
검색결과제한
- 원문(Full Text)
- Peer-Reviewed 학술지
- 발행년 -
재검색
자료유형
- Conference Materials (24)
- Academic Journals (10)
- eBooks (4)
자료유형

Count Name
- Conference Materials (24)
- Academic Journals (10)
- eBooks (4)
- Magazines (1)
- Books (1)
닫기
주제
- computing and processing (15)
- resource management (8)
- communication, networking and broadcast technologies (6)
주제

Count Name
- computing and processing (15)
- resource management (8)
- communication, networking and broadcast technologies (6)
- components, circuits, devices and systems (6)
- quality of service (6)
- aadl (5)
- design space exploration (5)
- model-based engineering (4)
- streaming media (4)
- ad hoc networks (3)
- bandwidth (3)
- degradation (3)
- general topics for engineers (3)
- medical services (3)
- optimization (3)
- processor scheduling (3)
- real time systems (3)
- real-time systems (3)
- semantics (3)
- wireless networks (3)
- analytical models (2)
- association of research libraries (2)
- avionics (2)
- bioengineering (2)
- computer software development (2)
- computer software industry (2)
- cps (2)
- cyber-physical systems (2)
- design by contract (2)
- electronic systems (2)
- engineered materials, dielectrics and plasmas (2)
- engineering design (2)
- engineering systems (2)
- mixed-criticality systems (2)
- nuclear engineering (2)
- power, energy and industry applications (2)
- real-time (2)
- real-time scheduling (2)
- resource allocation (2)
- signal processing and analysis (2)
- software (2)
- software development tools (2)
- software engineering (2)
- software systems (2)
- space exploration (2)
- surveillance (2)
- systems engineering (2)
- transportation (2)
- uav (2)
- unified modeling language (2)
닫기
간행물
- acm transactions on embedded computing systems (2)
- ieee security & privacy (2)
- seventh international conference on composition-based software systems (iccbss 2008), composition-based software systems, 2008. iccbss 2008. seventh international conference on (2)
간행물

Count Name
- acm transactions on embedded computing systems (2)
- ieee security & privacy (2)
- seventh international conference on composition-based software systems (iccbss 2008), composition-based software systems, 2008. iccbss 2008. seventh international conference on (2)
- software & systems modeling (2)
- software and systems modeling (2)
- 2007 sixth international ieee conference on commercial-off-the-shelf (cots)-based software systems (iccbss'07), commercial-off-the-shelf (cots)-based software systems, 2007. iccbss '07. sixth international ieee conference on (1)
- 2008 2nd annual ieee systems conference, systems conference, 2008 2nd annual ieee (1)
- 2011 16th ieee international conference on engineering of complex computer systems, engineering of complex computer systems (iceccs), 2011 16th ieee international conference on (1)
- 2011 proceedings of the international conference on embedded software (emsoft) (1)
- 2011 proceedings of the ninth acm international conference on embedded software (emsoft), embedded software (emsoft), 2011 proceedings of the international conference on (1)
- 2012 ieee wireless communications & networking conference (wcnc) (1)
- 2012 ieee wireless communications and networking conference (wcnc), wireless communications and networking conference (wcnc), 2012 ieee (1)
- 2012 ieee/acm third international conference on cyber-physical systems (1)
- 2012 ieee/acm third international conference on cyber-physical systems, cyber-physical systems (iccps), 2012 ieee/acm third international conference on (1)
- 2013 ieee 16th international conference on computational science & engineering (1)
- 2013 ieee 16th international conference on computational science and engineering, computational science and engineering (cse), 2013 ieee 16th international conference on (1)
- 2013 ieee 19th international conference on embedded & real-time computing systems & applications (1)
- 2013 ieee 19th international conference on embedded and real-time computing systems and applications, embedded and real-time computing systems and applications (rtcsa), 2013 ieee 19th international conference on (1)
- 2013 ieee wireless communications & networking conference (wcnc) (1)
- 2013 ieee wireless communications and networking conference (wcnc), wireless communications and networking conference (wcnc), 2013 ieee (1)
- 2014 47th hawaii international conference on system sciences (1)
- 2014 47th hawaii international conference on system sciences, system sciences (hicss), 2014 47th hawaii international conference on (1)
- 2019 acm/ieee 22nd international conference on model driven engineering languages and systems (models), model driven engineering languages and systems (models), 2019 acm/ieee 22nd international conference on, models (1)
- 2022 20th acm-ieee international conference on formal methods and models for system design (memocode), formal methods and models for system design (memocode), 2022 20th acm-ieee international conference on (1)
- cots-based software systems : third international conference, iccbss 2004, redondo beach, ca, usa, february 1-4, 2004. proceedings (1)
- crosstalk: the journal of defense software engineering (1)
- ieee security & privacy, security & privacy, ieee, ieee secur. privacy (1)
- leveraging applications of formal methods, verification and validation. software engineering : 11th international symposium, isola 2022, rhodes, greece, october 22-30, 2022, proceedings, part ii (1)
- model-based safety and assessment : 5th international symposium, imbsa 2017, trento, italy, september 11-13, 2017, proceedings (1)
- proceedings of the 2012 ieee/acm third international conference on cyber-physical systems (1)
- proceedings of the ninth acm international conference on embedded software (1)
- seventh international conference on composition-based software systems (iccbss 2008) (1)
- software process: improvement & practice (1)
- tools & algorithms for the construction & analysis of systems 21st international conference, tacas 2015, held as part of the european joint conferences on theory & practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings (1)
- tools and algorithms for the construction and analysis of systems : 21st international conference, tacas 2015, held as part of the european joint conferences on theory and practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings (1)
닫기
출판사
- ieee (24)
- springer berlin heidelberg (3)
- springer nature (3)
출판사

Count Name
- ieee (24)
- springer berlin heidelberg (3)
- springer nature (3)
- assoc computing machinery (1)
- association for computing machinery (1)
- ieee computer soc (1)
- springer heidelberg (1)
- springer international publishing (1)
- springer nature switzerland (1)
- usaf software technology support center (1)
- wiley-blackwell (1)
닫기
언어
- english (21)
Publication Year
- 2007 (1)
- 2021 (1)
수록데이터베이스
- IEEE Xplore Digital Library (15)
- Complementary Index (12)
- Springer Nature eBooks (4)
수록데이터베이스

Count Name
- IEEE Xplore Digital Library (15)
- Complementary Index (12)
- Springer Nature eBooks (4)
- Science Citation Index Expanded (3)
- Academic Search Complete (2)
- ACM Full-Text Collection (2)
- Springer Nature Journals (1)
- Supplemental Index (1)
닫기

PQDT
CAJ
RISS
PsycINFO

전체선택

Mechanization of a Large DSML: An Experiment with AADL and Coq

회의자료

issue: 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) Formal Methods and Models for System Design (MEMOCODE), 2022 20th ACM-IEEE International Conference on. :1-9 Oct, 2022
Author: Hugues, Jerome
Wrage, Lutz
Hatcliff, John
Stewart, Danielle
DB Label: Database : IEEE Xplore Digital Library

원문보기: Full Text (IEEE)

Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping

회의자료

issue: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2019 ACM/IEEE 22nd International Conference on. :117-127 Sep, 2019
Author: Procter, Sam
Wrage, Lutz
DB Label: Database : IEEE Xplore Digital Library

원문보기: Full Text (IEEE)

Formalization of the AADL Run-Time Services

전자책

issue: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II. 13702:105-134
Author: Hatcliff, John^Aff9
Hugues, Jerome^Aff10
Stewart, Danielle^Aff11
Wrage, Lutz^Aff10
DB Label: Database : Springer Nature eBooks

원문보기

Pointer Ownership Model

회의자료

issue: 2014 47th Hawaii International Conference on System Sciences System Sciences (HICSS), 2014 47th Hawaii International Conference on. :5090-5099 Jan, 2014
Author: Svoboda, David
Wrage, Lutz
DB Label: Database : IEEE Xplore Digital Library

원문보기: Full Text (IEEE)

Coordinated Bank and Cache Coloring for Temporal Protection of Memory Accesses

회의자료

issue: 2013 IEEE 16th International Conference on Computational Science and Engineering Computational Science and Engineering (CSE), 2013 IEEE 16th International Conference on. :685-692 Dec, 2013
Author: Suzuki, Noriaki
Kim, Hyoseung
Niz, Dionisio de
Andersson, Bjorn
Wrage, Lutz
Klein, Mark
Rajkumar, Ragunathan
DB Label: Database : IEEE Xplore Digital Library

원문보기: Full Text (IEEE)

Utility-based resource overbooking for Cyber-Physical Systems

회의자료

issue: 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications Embedded and Real-Time Computing Systems and Applications (RTCSA), 2013 IEEE 19th International Conference on. :217-226 Aug, 2013
Author: de Niz, Dionisio
Wrage, Lutz
Rowe, Anthony
Rajkumar, Ragunathan
DB Label: Database : IEEE Xplore Digital Library

원문보기: Full Text (IEEE)

Guided architecture trade space exploration: fusing model-based engineering and design by shopping

학술저널

issue: Software and Systems Modeling. 20(6):2023-2045
Author: Procter, Sam^{Aff1, IDs10270021008898_cor1}
Wrage, Lutz
DB Label: Database : Springer Nature Journals

원문보기: Full Text (원문보기) 등재 - Web of Science (SCIE) 등재 - SCOPUS 조회 - Impact Factor (JCR) 원문복사신청 - FRIC

QoS optimization in ad hoc wireless networks through adaptive control of marginal utility

회의자료

issue: 2013 IEEE Wireless Communications and Networking Conference (WCNC) Wireless Communications and Networking Conference (WCNC), 2013 IEEE. :1192-1197 Apr, 2013
Author: Hansen, Jeffery P.
Hissam, Scott
Wrage, Lutz
DB Label: Database : IEEE Xplore Digital Library

원문보기: Full Text (IEEE)

On Resource Overbooking in an Unmanned Aerial Vehicle

회의자료

issue: 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems Cyber-Physical Systems (ICCPS), 2012 IEEE/ACM Third International Conference on. :97-106 Apr, 2012
Author: Niz, Dionisio De
Wrage, Lutz
Storer, Nathaniel
Rowe, Anthony
Rajkumar, Ragunathan
DB Label: Database : IEEE Xplore Digital Library

원문보기: Full Text (IEEE)

Adaptive Quality of Service in ad hoc wireless networks

회의자료

issue: 2012 IEEE Wireless Communications and Networking Conference (WCNC) Wireless Communications and Networking Conference (WCNC), 2012 IEEE. :1749-1754 Apr, 2012
Author: Hansen, Jeffery P.
Hissam, Scott
Plakosh, Daniel
Wrage, Lutz
DB Label: Database : IEEE Xplore Digital Library

원문보기: Full Text (IEEE)

1 2 3 4

바구니보기

500-757 광주광역시 북구 용봉로 77 TEL 062)530-3571~2(대출반납실) FAX 062)530-3529

Copyright@2013 CHONNAM NATIONAL UNIVERSITY LIBRARY, All Rights Reserved.

83743
126843091