Stefan Föll, Klaus Herrmann, Kurt Rothermel. PreCon - Expressive Context Prediction Using Stochastic Model Checking. In Ching-Hsien Hsu, Laurence Tianruo Yang, Jianhua Ma, Chunsheng Zhu, editors, Ubiquitous Intelligence and Computing - 8th International Conference, UIC 2011, Banff, Canada, September 2-4, 2011. Proceedings. Volume 6905 of Lecture Notes in Computer Science, pages 350-364, Springer, 2011. [doi]
Abstract is missing.