362 search results - page 65 / 73 » Semantic matchmaking of web services using model checking |
CIMCA
2006
IEEE
14 years 1 months ago
2006
IEEE
Business Process Management (BPM) is often a key component of the business change. Business rules, whether embedded within BPM or on their own, have begun playing an ever-increasi...
SEMWEB
2004
Springer
14 years 25 days ago
2004
Springer
We present KADOP, a distributed infrastructure for warehousing XML resources in a peer-to-peer framework. KADOP allows users to build a shared, distributed repository of resources...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
There has recently been a significant increase in the number of community-based question and answer services on the Web where people answer other peoples’ questions. These serv...
ADBIS
2005
Springer
14 years 1 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
CCGRID
2010
IEEE
13 years 8 months ago
2010
IEEE
Cloud computing is a computing paradigm which allows access of computing elements and storages on-demand over the Internet. Virtual Appliances, pre-configured, readyto-run applicat...