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 ...

Xeditor is a web based XML editor with a WYSIWYG interface. It hides the XML-code in the background and presents the content in a more user-friendly format.