202 search results - page 28 / 41 » Type-Based XML Projection |
GRID
2005
Springer
14 years 1 months ago
2005
Springer
Abstract— In this paper we present a system permitting controlled policy administration and delegation using the XACML access control system. The need for these capabilities stem...
ICADL
2005
Springer
14 years 1 months ago
2005
Springer
This paper is an attempt by the authors to share their experiences in equipping a young academic library with the information technologies needed to enhance services in a digital e...
ZUM
2005
Springer
14 years 1 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
MPC
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
GD
2001
Springer
14 years 3 days ago
2001
Springer
Following a workshop on graph data formats held with the 8th Symposium on Graph Drawing (GD 2000), a task group was formed to propose a format for graphs and graph drawings that me...