1414 search results - page 41 / 283 » Mobilizing the Semantic Web with DAML-enabled Web Services |
COORDINATION
2006
Springer
15 years 1 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
103
click to vote
CAISE
2003
Springer
15 years 1 months ago
2003
Springer
We present our work on composing mobile Web services, denoted by M-services, in the wireless world. The wireless world has its own features that make it completely different from t...
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...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The work on integrating sources and services in the Semantic Web assumes that the data is either already represented in RDF or OWL or is available through a Semantic Web ...
JWSR
2006
14 years 9 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...