1271 search results - page 60 / 255 » Web Services Roadmap: The Semantic Web Perspective |
IJCAI
2003
13 years 11 months ago
2003
Abstract. Web service technology is an Internet-based distributed computing paradigm to address interoperability in heterogeneous distributed systems. In this paper, we present a p...
MKM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The amount of machine oriented data on the web as well as the deployment of agent/Web Services are simultaneously increasing. This poses a service-discovery problem for c...
COORDINATION
2006
Springer
14 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...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
The development of information and communication technologies and the expansion of the Internet means that, nowadays, there are huge amounts of information available via these eme...
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...