Home > Research > Browse

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. (Editor), B., M. (Editor), C.K., C. (Editor), Y., G. (Editor), K., Y. (Editor), A., H. (Editor), Y., O. (Editor), M., M. (Editor) & [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/ISSNConference contribution/Paperpeer-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/ISSNConference contribution/Paperpeer-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/ISSNConference contribution/Paperpeer-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/ISSNConference contribution/Paperpeer-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/ISSNConference contribution/Paperpeer-review