362 search results - page 34 / 73 » Semantic matchmaking of web services using model checking |
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
In todays increasingly dynamic and competitive business environment, organizations strive to leverage their information resources to gain and sustain competitive advantage. Deci...
BIS
2008
14 years 11 months ago
2008
Social network and data portability has recently gained a lot of interest as one of the issues for social media sites on the Web. In this paper, we will show how Semantic Web techn...
76
Voted
COORDINATION
2006
Springer
15 years 1 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
SOCA
2007
IEEE
15 years 4 months ago
2007
IEEE
Current technologies aimed at supporting processes – whether it is a business process or a learning process – are usually based on using a dedicated set of metadata to describ...
EDOC
2006
IEEE
15 years 3 months ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...