Minsoo Kim Minkoo Kim A Formal Definition of Situation towards Situation-Aware Computing. 553-563 2009 WSKS (1) http://dx.doi.org/10.1007/978-3-642-04754-1_56 conf/wsks/2009-1 db/conf/wsks/wsks2009-1.html#KimK09