SME 2005 Workshop - Accepted Papers

    OntoNav: A Semantic Indoor Navigation System. By Christos Anagnostopoulos, Vassileios Tsetsos, Panayotis Kikiras, Stathes P. Hadjiefthymiades. University of Athens, Greece.

    Model Checking for Sentient Computing: An Axiomatic Approach. By Eleftheria Katsiri, Alan Mycroft. University of Cambridge, UK.

    Matching User's Semantics with Data Semantics in Location-Based Services. By Shijun Yu, Lina Al-Jadir, Stefano Spaccapietra. Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland.