632 search results - page 81 / 127 » Large-Scale Service Composition in Semantic Service Discover... |
130
click to vote
SWAP
2007
15 years 2 months ago
2007
The use of Semantic Web Services (SWS) for increasing agility and adaptability in process execution is currently investigated in many settings. The common underlying idea is the dy...
117
Voted
IEEEHPCS
2010
14 years 11 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...
109
Voted
SEMCO
2007
IEEE
15 years 7 months ago
2007
IEEE
One of the key objectives of web service technology is to construct processes that enable service providers to inter-connect with their clients. The industry has developed the UDD...
148
Voted
ECOWS
2009
Springer
15 years 4 months ago
2009
Springer
—Recently, Semantic Web Services have been increasingly adopted to search, access and manipulate information made available from autonomous and heterogeneous systems interacting ...
122
click to vote
IEEESCC
2005
IEEE
15 years 6 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...