632 search results - page 81 / 127 » Large-Scale Service Composition in Semantic Service Discover... |
111
click to vote
SWAP
2007
15 years 6 days 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...
103
click to vote
IEEEHPCS
2010
14 years 9 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...
SEMCO
2007
IEEE
15 years 5 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...
129
click to vote
ECOWS
2009
Springer
15 years 2 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 ...
106
click to vote
IEEESCC
2005
IEEE
15 years 4 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. ...