Autor der Publikation

A Framework for Model Checking Web Service Compositions Based on BPEL4WS.

, , und . ICEBE, Seite 165-172. IEEE Computer Society, (2007)

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

A multi-agent based framework for collaborative testing on Web services., , , und . SEUS/WCCIA, Seite 205-210. IEEE Computer Society, (2006)Contextual-LDA: A Context Coherent Latent Topic Model for Mining Large Corpora., , und . BigMM, Seite 420-425. IEEE Computer Society, (2016)A Comparison of Real/time Object-Oriented Modeling Methods ROOM and OCTOPUS., und . SIGPLAN Notices, 34 (12): 67-71 (1999)Timing Constraints Specification and Verification for Web Service Compositions., , , und . APSCC, Seite 315-322. IEEE Computer Society, (2008)Retargetable cross compilation techniques: comparison and analysis of GCC and Zephyr., , , , und . SIGPLAN Notices, 37 (6): 38-44 (2002)A Tuple-Space-Based Coordination Architecture for Test Agents in the MAST Framework., , und . SOSE, Seite 57-66. IEEE Computer Society, (2006)A Framework for Model Checking Web Service Compositions Based on BPEL4WS., , und . ICEBE, Seite 165-172. IEEE Computer Society, (2007)A Verification Method for Temporal Consistency of Service Flow., , , und . COMPSAC, Seite 1187-1192. IEEE Computer Society, (2008)An Ada-based Object-Oriented Modeling Language., und . SIGPLAN Notices, 34 (12): 47-56 (1999)A Membership-based Multi-dimension Hierarchical Deep Neural Network Approach for Fault Diagnosis., , und . SEKE, Seite 197-200. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2017)