共 50 条
- [1] Run-time monitoring of instances and classes of web service compositions [J]. ICWS 2006: IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2006, : 63 - +
- [2] Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions [J]. FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5522 : 26 - +
- [3] A system for predicting the run-time behavior of Web services [J]. 2005 International Conference on Services Systems and Services Management, Vols 1 and 2, Proceedings, 2005, : 554 - 559
- [5] Evaluation of run-time quality attributes for web services architecture [J]. WMSCI 2006: 10TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL III, PROCEEDINGS, 2006, : 116 - 121
- [6] Run-time Verification of Behavioural Conformance for Conversational Web Services [J]. ECOWS'09: PROCEEDINGS OF THE 7TH IEEE EUROPEAN CONFERENCE ON WEB SERVICES, 2009, : 139 - +
- [7] Strategies for the run-time testing of third party web services [J]. IEEE INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS, PROCEEDINGS, 2007, : 114 - +
- [8] Computational logic for run-time verification of Web services choreographies:: Exploiting the SOCS-SI tool [J]. WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, 2006, 4184 : 58 - 72
- [9] Run-time Revenue Maximization for Composite Web Services with Response Time Commitments [J]. 2012 IEEE 26TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA), 2012, : 589 - 596
- [10] Extending distributed simulation's run-time infrastructure with web services [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS, VOLS 1-6, 2007, : 1528 - 1532