446 search results - page 64 / 90 » A proof markup language for Semantic Web services |
156
click to vote
CN
1999
15 years 5 months ago
1999
To enable the resource discovery of audiovisual documents over the World Wide Web, it will be necessary to define content description standards or metadata standards for complex, ...
140
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Automatically generated HTML, as produced by WYSIWYG programs, typically contains much repetitive and unnecessary markup. This paper identifies aspects of such HTML that may be al...
177
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
The Web is increasingly understood as a global information space consisting not just of linked documents, but also of Linked Data. More than just a vision, the resulting Web of Da...
125
click to vote
BPM
2005
Springer
15 years 11 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
155
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a comm...