177 search results - page 1 / 36 » On modular transformation of structural content |
DOCENG
2004
ACM
13 years 10 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
AVI
2000
13 years 6 months ago
2000
The identification and analysis of an enterprise's knowledge available in a documented form is a key element of knowledge management. Visual methods which allow easy access t...
ESOP
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
CAISE
2003
Springer
13 years 10 months ago
2003
Springer
This paper shows that in education and training systems LOM can be used to map the structure of courses. The necessary extension of the aggregation level is introduced. The descrip...
PODC
2003
ACM
13 years 10 months ago
2003
ACM
We propose a new form of software transactional memory (STM) designed to support dynamic-sized data structures, and we describe a novel non-blocking implementation. The non-blocki...