Standard
A formal modeling for exceptions in context-aware systems. / Yoon, T.-S.; Choi, J.-H.; Cho, E.-S. et al.
38th Annual IEEE Computer Software and Applications Conference Workshops, COMPSACW 2014. IEEE, 2014. p. 734-739.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Harvard
Yoon, T-S, Choi, J-H, Cho, E-S
, Helal, S, C., S (ed.), B., M (ed.), C.K., C (ed.), Y., G (ed.), K., Y (ed.), A., H (ed.), Y., O (ed.), M., M (ed.) & [Unknown] 2014,
A formal modeling for exceptions in context-aware systems. in
38th Annual IEEE Computer Software and Applications Conference Workshops, COMPSACW 2014. IEEE, pp. 734-739.
https://doi.org/10.1109/COMPSACW.2014.123APA
Yoon, T-S., Choi, J-H., Cho, E-S.
, Helal, S., C., S. (Ed.), B., M. (Ed.), C.K., C. (Ed.), Y., G. (Ed.), K., Y. (Ed.), A., H. (Ed.), Y., O. (Ed.), M., M. (Ed.), & [Unknown] (2014).
A formal modeling for exceptions in context-aware systems. In
38th Annual IEEE Computer Software and Applications Conference Workshops, COMPSACW 2014 (pp. 734-739). IEEE.
https://doi.org/10.1109/COMPSACW.2014.123Vancouver
Author
Bibtex
@inproceedings{a40cc30b66b44db79303b7bd7e404a63,
title = "A formal modeling for exceptions in context-aware systems",
abstract = "This paper introduces a formal description about a new exception detection framework for context-aware systems. This framework aims to encourage application programmers in context-aware systems to write exception description and handling codes by providing a systematic way to do it. In this framework some portions of the formal modeling are applied to performance optimization and to automation of exception detection. {\textcopyright} 2014 IEEE.",
keywords = "context-aware systems, exception handling, formal semantics, programming languages, Application programs, Computer programming languages, Formal methods, Semantics, Application programmers, Context-aware systems, Detection framework, Exception handling, Formal Description, Formal model, Formal Semantics, Performance optimizations, User interfaces",
author = "T.-S. Yoon and J.-H. Choi and E.-S. Cho and S. Helal and Seceleanu C. and McMillin B. and Chang C.K. and Gao Y. and Yoshida K. and Hurson A. and Okabe Y. and Matskin M. and [Unknown]",
year = "2014",
doi = "10.1109/COMPSACW.2014.123",
language = "English",
pages = "734--739",
booktitle = "38th Annual IEEE Computer Software and Applications Conference Workshops, COMPSACW 2014",
publisher = "IEEE",
}
RIS
TY - GEN
T1 - A formal modeling for exceptions in context-aware systems
AU - Yoon, T.-S.
AU - Choi, J.-H.
AU - Cho, E.-S.
AU - Helal, S.
AU - [Unknown], null
A2 - C., Seceleanu
A2 - B., McMillin
A2 - C.K., Chang
A2 - Y., Gao
A2 - K., Yoshida
A2 - A., Hurson
A2 - Y., Okabe
A2 - M., Matskin
PY - 2014
Y1 - 2014
N2 - This paper introduces a formal description about a new exception detection framework for context-aware systems. This framework aims to encourage application programmers in context-aware systems to write exception description and handling codes by providing a systematic way to do it. In this framework some portions of the formal modeling are applied to performance optimization and to automation of exception detection. © 2014 IEEE.
AB - This paper introduces a formal description about a new exception detection framework for context-aware systems. This framework aims to encourage application programmers in context-aware systems to write exception description and handling codes by providing a systematic way to do it. In this framework some portions of the formal modeling are applied to performance optimization and to automation of exception detection. © 2014 IEEE.
KW - context-aware systems
KW - exception handling
KW - formal semantics
KW - programming languages
KW - Application programs
KW - Computer programming languages
KW - Formal methods
KW - Semantics
KW - Application programmers
KW - Context-aware systems
KW - Detection framework
KW - Exception handling
KW - Formal Description
KW - Formal model
KW - Formal Semantics
KW - Performance optimizations
KW - User interfaces
U2 - 10.1109/COMPSACW.2014.123
DO - 10.1109/COMPSACW.2014.123
M3 - Conference contribution/Paper
SP - 734
EP - 739
BT - 38th Annual IEEE Computer Software and Applications Conference Workshops, COMPSACW 2014
PB - IEEE
ER -
