2640 search results - page 147 / 528 » Providing dependability for web services |
IEEEHPCS
2010
13 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...
IJMSO
2010
13 years 8 months ago
2010
: Development and use of ontologies is increasing, but hampered by new challenges, such as determining which ontologies to reuse and which language to use. Ontology development met...
BTW
2009
Springer
14 years 29 days ago
2009
Springer
: Service-oriented architectures (SOA) based on Web service technology play an increasingly important role in many different application areas. The current service invocation metho...
IGARSS
2009
13 years 7 months ago
2009
Scientific Workflows provides a technology that facilitates researchers by allowing them to capture in a machine processable manner the method relating to some research. This incr...
INFOCOM
2000
IEEE
14 years 2 months ago
2000
IEEE
Abstract—We study a network model in which each network link is associated with a set of delays and costs. These costs are a function of the delays and reflect the prices paid i...