An XML-based document format from Microsoft. Providing full page layout capabilities, XML Paper Specification (XPS) also allows digital signatures and digital rights to be applied to the documents.

We propose an XML based assertion library generator that generates checkers similar to the Open Verification Library (OVL) [1]. OVL checkers can be generated using our generator in a very regular way ...

For a while now, people in the weblog community have been discussing the use of an XML feature called XML Base: This document describes a mechanism for providing base URI services to XLink, but as a ...

and Extensible Markup Language (XML). Based on open standards, AJAX uses a browser built-in XMLHttpRequest object, JavaScript and HTML Document Object Model (DOM) to exchange data between a web ...

This paper describes an innovative methodology that makes use of XML-based IP descriptions, including constraints information, to produce automatically synthesis, STA and formal verification tool ...