446 search results - page 61 / 90 » A proof markup language for Semantic Web services |
171
click to vote
WWW
2002
ACM
16 years 6 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
181
click to vote
TOPLAS
2008
15 years 6 months ago
2008
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
191
click to vote
JLP
2007
15 years 6 months ago
2007
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
179
click to vote
GI
2007
Springer
16 years 10 days ago
2007
Springer
: Utility companies worldwide are facing a multitude of new challenges, which can not be met with the historically grown, monolithic IT systems currently in use. Service oriented a...
180
click to vote
HT
2003
ACM
15 years 11 months ago
2003
ACM
Generating hypermedia presentations requires processing constituent material into coherent, unified presentations. One large challenge is creating a generic process for producing ...