لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
H. Kerger, Fulfilling the web services promise, co mmunication of ...
F.Curbera, R.Khalaf, N.Mukhi, S.Tai, and S. Weerawaran a, The next ...
A.Ploskonos, An Introduction into Web Service Composition, Fundamentals of Servic ...
A.Charfi, M.Mezini, Middleware Services for Web Service Compositions, Chiba, Japan, ...
A. Jones, R. Lipton, and L. Snyder, A Linear Time ...
R.Hull, J. Su, Tools for Design of Composite Web Services, ...
A.Charfi, M.Mezini, Using Aspects for Security Engineering of Web Service ...
M. Bishop, 4Conspiracy and information flow in the Take- Grant ...
M. Bishop, Theft of Information in the Take-Grant Protection Model, ...
M. Bishop, The transfer of information and authority in a ...
S. Weerawarana, F. Curbera, Business Process with BPEL4WS: Understanding BPEL4WS. ...
http:// www-1 28. ibm. com/developer work s/lib rary/ws-bp elcol 1 ...
R. Hull, J. Su, Tools for Composite Web Services: A ...
N. Milanovic, M. Malek _ current solutions for Web Service ...
N. Milanovic, M. Malek, Verifying correctness of Web Service Composition, ...
M. Rouached, O. Perrin, C. Godart, Securing Web Service Compositions: ...
A. Charfi, M Mezini, Middleware Services for Web Service Compositions ...
G. Diaz , Juan-Jos'e Pardo, Mar ia-Emilia Cambronero _ Verification ...
Mariya Koshkina _ Franck van Breugel, Verification of Business Processes ...
L.G. Meredith, S. Bjorg. Contracts and Types. Commun ications of ...
H. Schlingloff, A. Martens, K. Schmidt, Modeling and Model Checking ...
نمایش کامل مراجع