446 search results - page 17 / 90 » A proof markup language for Semantic Web services |
WWW
2001
ACM
16 years 11 days ago
2001
ACM
The emergence of XML has lead to a change in the development style for Web sites. XML's advantages, such as the separation of content and presentation, or the possibility to ...
128
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
142
click to vote
SEMWEB
2010
Springer
14 years 6 months ago
2010
Springer
One of the key deficiencies of the Semantic Web is its lack of cognitive plausibility. We argue that by accounting for people's reasoning mechanisms and cognitive representati...
PUC
2010
14 years 6 months ago
2010
In this paper, we describe the design and implementation of an audio wiki application accessible via both the Public Switched Telephone Network and the Internet. The application ex...
WWW
2005
ACM
16 years 12 days ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...