Home > Research > Publications & Outputs > A formal modeling for exceptions in context-awa...

Research

Links

Text available via DOI:

Keywords

View graph of relations

A formal modeling for exceptions in context-aware systems

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published
  • T.-S. Yoon
  • J.-H. Choi
  • E.-S. Cho
  • S. Helal
  • Seceleanu C. (Editor)
  • McMillin B. (Editor)
  • Chang C.K. (Editor)
  • Gao Y. (Editor)
  • Yoshida K. (Editor)
  • Hurson A. (Editor)
  • Okabe Y. (Editor)
  • Matskin M. (Editor)
  • [Unknown]
Close
More...
Publication date2014
Host publication38th Annual IEEE Computer Software and Applications Conference Workshops, COMPSACW 2014
PublisherIEEE
Pages734-739
Number of pages6
ISBN (electronic)9781479935789
<mark>Original language</mark>English

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. © 2014 IEEE.