1048 search results - page 135 / 210 » On automated composition for web services |
KI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
IEEEHPCS
2010
14 years 8 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...
EMISA
2004
Springer
15 years 3 months ago
2004
Springer
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
Future information, knowledge and content infrastructures which provide highly automated support in fulfilling users goals will most likely rely on some form of GRID computing. In ...
ESWS
2005
Springer
15 years 3 months ago
2005
Springer
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...