✦ LIBER ✦

Automatic Verification of Data-centric Web Service Specifications

✍ Scribed by Fang, Zhi; Liao, Lejian; Chen, Ruoyu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Demystifying Data-Centric Web Services

✍ Saleh, I.; Kulczycki, G.; Blake, M.B. 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 620 KB

Automatic verification of distributed lo

✍ R Mall; L.M Patnaik 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 934 KB

Automatic verification of implementation

✍ Hoskote, Y.V.; Abraham, J.A.; Fussell, D.S.; Moondanos, J. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 322 KB

Consumer-centric QoS-aware selection of

✍ Wei-Li Lin; Chi-Chun Lo; Kuo-Ming Chao; Muhammad Younas 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 489 KB

A business model for deploying Web servi

✍ Youcef Baghdadi 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 291 KB

Generating test case specifications of w

✍ Ling-li Qian; Yi-hai Chen 📂 Article 📅 2011 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 208 KB