1362 search results - page 49 / 273 » Semantic Transformation of Web Services |
IEEEHPCS
2010
13 years 6 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
IEEESCC
2005
IEEE
14 years 1 months ago
2005
IEEE
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
SEMWEB
2001
Springer
14 years 2 days ago
2001
Springer
KBS
2008
13 years 7 months ago
2008
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. In this context,...