From post

Verifying Composite Service Transactional Behavior Using Event Calculus.

, , , и . OTM Conferences (1), том 4803 из Lecture Notes in Computer Science, стр. 353-370. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Privacy Time-Related Analysis in Business Protocols., , , , и . ICWS, стр. 141-148. IEEE Computer Society, (2009)A Web service based integration model of data-providing sources., и . ICDIM, стр. 320-325. IEEE, (2013)Reasoning about Events to Specify Authorization Policies forWeb Services Composition., и . ICWS, стр. 481-488. IEEE Computer Society, (2007)Requirements-driven Verification of WSBPEL Processes., и . ICWS, стр. 354-363. IEEE Computer Society, (2007)A run-time service discovery process for web services compositions., и . ICEC, том 342 из ACM International Conference Proceeding Series, стр. 2:1-2:10. ACM, (2008)A service oriented communication model for high speed intrusion detection systems., и . Int. J. Bus. Inf. Syst., 17 (3): 323-339 (2014)Analysis of Composite Web Services Using Logging Facilities., и . ICSOC Workshops, том 4652 из Lecture Notes in Computer Science, стр. 74-85. Springer, (2006)RESTful Web Services for High Speed Intrusion Detection Systems., и . ICWS, стр. 621-622. IEEE Computer Society, (2013)A Contract-Based Approach for Monitoring Collaborative Web Services Using Commitments in the Event Calculus., , и . WISE, том 3806 из Lecture Notes in Computer Science, стр. 426-434. Springer, (2005)A Run-Time Service Discovery Tool for Web Services Compositions., и . ICEBE, стр. 179-187. IEEE Computer Society, (2008)