A formal modeling for exceptions in context-aware systems

Yoon, T.-S. and Choi, J.-H. and Cho, E.-S. and Helal, S. and [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. ISBN 9781479935789

Full text not available from this repository.

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.

Item Type:

Contribution in Book/Report/Proceedings

Subjects:

?? context-aware systemsexception handlingformal semanticsprogramming languagesapplication programscomputer programming languagesformal methodssemanticsapplication programmerscontext-aware systemsdetection frameworkexception handlingformal descriptionformal ??

Departments:

Faculty of Science and Technology > School of Computing & Communications

ID Code:

89889

Deposited By:

ep_importer_pure

Deposited On:

30 Jan 2018 15:24

Refereed?:

Yes

Published?:

Published

Last Modified:

16 Jul 2024 04:12

URI:

https://eprints.lancs.ac.uk/id/eprint/89889