Home > Research > Browse

Research

Results for Context-aware systems

Publications & Outputs

  1. A formal modeling for exceptions in context-aware systems

    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, 38th Annual IEEE Computer Software and Applications Conference Workshops, COMPSACW 2014. IEEE, p. 734-739 6 p.

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

  2. An integrated formal model for context-Aware systems

    Cho, E-S., Yoon, T-S., Choi, J-H., Paik, J-Y. & Helal, S., 2013, Computer Software and Applications Conference Workshops (COMPSACW), 2013 IEEE 37th Annual. IEEE, p. 163-168 6 p.

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

  3. Dynamic parameter filling for semantic exceptions in context-aware systems

    Cho, E-S., Choi, J-H. & Helal, S., 2013, 10th IEEE International Conference on Ubiquitous Intelligence and Computing, UIC 2013 and 10th IEEE International Conference on Autonomic and Trusted Computing, ATC 2013. IEEE, p. 293-300 8 p.

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

  4. An intermediate language for semantic exceptions in context-aware systems

    Cho, E-S. & Helal, S., 2012, 36th IEEE Annual International Computer Software and Applications Conference, COMPSAC 2012. IEEE, p. 364-365 2 p.

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

  5. Toward efficient detection of semantic exceptions in context-aware systems

    Cho, E-S. & Helal, S., 2012, Ubiquitous Intelligence & Computing and 9th International Conference on Autonomic & Trusted Computing (UIC/ATC), 2012 9th International Conference on. IEEE, p. 826-831 6 p.

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