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

Links

Text available via DOI:

View graph of relations

A formal modeling for exceptions in context-aware systems

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

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
Publication date2014
Host publication38th Annual IEEE Computer Software and Applications Conference Workshops, COMPSACW 2014
PublisherIEEE
Pages734-739
Number of pages6
ISBN (Electronic)9781479935789
Original languageEnglish

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.