Sciweavers

95 search results - page 14 / 19
» Compatibility of XML Language Versions
Sort
View
PPSWR
2005
Springer
15 years 11 months ago
Semantic Web Architecture: Stack or Two Towers?
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...
Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneid...
WWW
2007
ACM
16 years 6 months ago
Compiling cryptographic protocols for deployment on the web
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. ...
126
Voted
JCDL
2003
ACM
77views Education» more  JCDL 2003»
15 years 10 months ago
On Querying Geospatial and Georeferenced Metadata Resources in G-Portal
G-Portal is a web portal system providing a range of digital library services to access geospatial and georeferenced resources on the Web. Among them are the storage and query sub...
Zehua Liu, Ee-Peng Lim, Wee Keong Ng, Dion Hoe-Lia...
ECOOP
2007
Springer
15 years 11 months ago
Towards correct evolution of components using VPA-based aspects
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
Dong Ha Nguyen, Mario Südholt
ISEMANTICS
2010
15 years 7 months ago
STEX+: a system for flexible formalization of linked data
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
Andrea Kohlhase, Michael Kohlhase, Christoph Lange...