340 search results - page 30 / 68 » Programming for XML |
WWW
2006
ACM
14 years 11 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
TOOLS
2000
IEEE
14 years 3 months ago
2000
IEEE
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving devel...
XIMEP
2006
ACM
14 years 4 months ago
2006
ACM
XQuery is a declarative language for querying and updating XML data sources. Interfacing XQuery to a host programming language is difficult because of the type system mismatch, an...
IWPC
2003
IEEE
14 years 4 months ago
2003
IEEE
A lightweight fact extractor is presented that utilizes XML tools, such as XPath and XSLT, to extract static information from C++ source code programs. The source code is first co...
ECWEB
2003
Springer
14 years 4 months ago
2003
Springer
Transformation of data documents is of special importance to use XML as the universal data interchange format on the Web. Data transformation is used in many tasks that require dat...