✦ LIBER ✦

A community-centric approach to automated service composition

✍ Scribed by XuanZhe Liu

Publisher: Springer
Year: 2010
Tongue: English
Weight: 339 KB
Volume: 55
Category: Article
ISSN: 1001-6538
DOI: 10.1007/s11434-010-9996-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A community-centric approach to automate

A community-centric approach to automated service composition

✍ XuanZhe Liu; Gang Huang; Hong Mei 📂 Article 📅 2010 🏛 Science in China Press (SCP) 🌐 English ⚖ 665 KB

A user centric service-oriented modeling

A user centric service-oriented modeling approach

✍ Ding-Yuan Cheng; Kuo-Ming Chao; Chi-Chun Lo; Chen-Fang Tsai 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 877 KB

AutoSyn: A new approach to automated syn

AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee

✍ JinPeng Huai; Ting Deng; XianXian Li; ZongXia Du; HuiPeng Guo 📂 Article 📅 2009 🏛 Science in China Press (SCP) 🌐 English ⚖ 648 KB

A User-Centric Approach for Personalized

A User-Centric Approach for Personalized Service Provisioning in Pervasive Environments

✍ Anis Yazidi; Ole-Christoffer Granmo; B. John Oommen; Martin Gerdes; Frank Reiche 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 708 KB

A proof-centric approach to mathematical

A proof-centric approach to mathematical assistants

✍ Lucas Dixon; Jacques Fleuriot 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 330 KB

We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines the Isar language, the Isabelle theorem prover and the IsaPlanner proof planner. We argue that this synergy provides a f

DataScalar: A memory-centric approach to

DataScalar: A memory-centric approach to computing

✍ Stefanos Kaxiras; Doug Burger; James R. Goodman 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 607 KB