Autor der Publikation

Automated Verification of Proper Choreography Implementation.

, , und . SAINT, Seite 180-189. IEEE Computer Society, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Inter-space Interaction Issues Impacting Middleware Architecture of Ubiquitous Pervasive Computing., und . Int. J. Fuzzy Logic and Intelligent Systems, 8 (1): 42-51 (2008)Universal Interactions with Smart Spaces., , und . IEEE Pervasive Computing, 5 (1): 16-21 (2006)Inferring Contexts from Human Activities in Smart Spaces., und . FLAIRS Conference, Seite 695-701. AAAI Press, (2016)iPOJO flow: a declarative service workflow architecture for ubiquitous cloud applications., , und . J. Ambient Intelligence and Humanized Computing, 10 (4): 1483-1494 (2019)System-wide support for safety in pervasive spaces., und . J. Ambient Intelligence and Humanized Computing, 3 (2): 113-123 (2012)Robotic Companions for Smart Space Interactions., , und . IEEE Pervasive Computing, 8 (2): 78-84 (2009)IT Footprinting - Groundwork for Future Smart Cities.. IEEE Computer, 44 (6): 30-31 (2011)Persim 3D: Context-Driven Simulation and Modeling of Human Activities in Smart Spaces., , , , und . IEEE Trans. Automation Science and Engineering, 12 (4): 1243-1256 (2015)PARMTRD: Parallel Association Rules Based Multiple-Topic Relationships Detection., , , , , , , und . ICWS, Volume 10966 von Lecture Notes in Computer Science, Seite 422-436. Springer, (2018)Modeling Human Activity Semantics for Improved Recognition Performance., und . UIC, Volume 6905 von Lecture Notes in Computer Science, Seite 514-528. Springer, (2011)