Items where Author is "Jansen, E."

Yang, H.-I. and King, J. and Helal, Sumi and Jansen, E. (2007) A context-driven programming model for pervasive spaces. In: Pervasive Computing for Quality of Life Enhancement. ICOST 2007 :. Lecture Notes in Computer Science . Springer, Berlin, pp. 31-43. ISBN 9783540730347

Jansen, E. and Yang, H.-I. and Helal, Sumi (2006) Automated verification of proper choreography implementation. In: 2006 International Symposium on Applications and the Internet, SAINT 2006 :. IEEE, pp. 180-189. ISBN 0769525083

Yang, H.-I. and Jansen, E. and Helal, Sumi (2006) A comparison of two programming models for pervasive computing. In: 2006 International Symposium on Applications and the Internet Workshops, SAINT 2006 Workshops :. IEEE, pp. 134-137. ISBN 0769525105

Helal, Sumi and Mann, W. and El-Zabadani, H. and King, J. and Kaddoura, Y. and Jansen, E. (2005) The Gator tech smart house : A programmable pervasive space. Computer, 38 (3). pp. 50-60. ISSN 0018-9162