𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2009 Second International Symposium on Knowledge Acquisition and Modeling - Wuhan, China (2009.11.30-2009.12.1)] 2009 Second International Symposium on Knowledge Acquisition and Modeling - Formalization and Verification of Automatic Composition Based on Pi-Calculus for Semantic Web Service

✍ Scribed by Wang, Yong-Lian; Yu, Xue-Li

Book ID: 121650389
Publisher: IEEE
Year: 2009
Weight: 410 KB
Category: Article
ISBN: 0769538886
DOI: 10.1109/KAM.2009.140

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 Second International Symposiu

[IEEE 2009 Second International Symposium on Knowledge Acquisition and Modeling - Wuhan, China (2009.11.30-2009.12.1)] 2009 Second International Symposium on Knowledge Acquisition and Modeling - Verification Web Services Composition Based on OWL-S

✍ Xia, Hong; Li, Zengzhi 📂 Article 📅 2009 🏛 IEEE ⚖ 440 KB

[IEEE 2009 Second International Symposiu

[IEEE 2009 Second International Symposium on Knowledge Acquisition and Modeling - Wuhan, China (2009.11.30-2009.12.1)] 2009 Second International Symposium on Knowledge Acquisition and Modeling - Visualizing Semantic Mapping Based on View Graph

✍ Tang, Funian; Yao, Li; Sun, Yang; Qian, Meng 📂 Article 📅 2009 🏛 IEEE ⚖ 490 KB

[IEEE 2009 Second International Symposiu

[IEEE 2009 Second International Symposium on Knowledge Acquisition and Modeling - Wuhan, China (2009.11.30-2009.12.1)] 2009 Second International Symposium on Knowledge Acquisition and Modeling - An Ontology Based Context-Aware Model for Semantic Web Services

✍ Hu, Yuan; Li, Xinke 📂 Article 📅 2009 🏛 IEEE ⚖ 498 KB

[IEEE 2009 Second International Symposiu

[IEEE 2009 Second International Symposium on Knowledge Acquisition and Modeling - Wuhan, China (2009.11.30-2009.12.1)] 2009 Second International Symposium on Knowledge Acquisition and Modeling - Car-Following Models Study Progress

✍ Cao, Baogui; Yang, Zhaosheng 📂 Article 📅 2009 🏛 IEEE ⚖ 418 KB

[IEEE 2009 Second International Symposiu

[IEEE 2009 Second International Symposium on Knowledge Acquisition and Modeling - Wuhan, China (2009.11.30-2009.12.1)] 2009 Second International Symposium on Knowledge Acquisition and Modeling - Semantic-Based Hierarchicalize the Result of Suffix Tree Clustering

✍ hu, Guodong; Zuo, Wanli; He, Fengling; Wang, Ying 📂 Article 📅 2009 🏛 IEEE ⚖ 397 KB

[IEEE 2009 Second International Symposiu

[IEEE 2009 Second International Symposium on Knowledge Acquisition and Modeling - Wuhan, China (2009.11.30-2009.12.1)] 2009 Second International Symposium on Knowledge Acquisition and Modeling - Study on Semantic Similarity Computation in E-Commerce Semantic Search

✍ Shi, Hongxia 📂 Article 📅 2009 🏛 IEEE ⚖ 398 KB