3058 search results - page 171 / 612 » Reflections |
BIRTHDAY
2006
Springer
13 years 12 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
CVPR
2004
IEEE
13 years 12 months ago
2004
IEEE
This paper develops an analytic model for self shadowing and local illumination of rough surfaces. The surface is assumed homogeneous, isotropic, and smooth microscopically, with ...
ECOOP
2006
Springer
13 years 12 months ago
2006
Springer
This paper briefly describes the design of a dynamic adaptation management framework exploiting the concepts provided by Aspect-Oriented Software Development (AOSD) -in particular ...
ER
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. One of the most severe problems related to database evolution is how to reflect in the data level the changes that have occurred in the conceptual schema of a database. T...
ERCIMDL
2006
Springer
13 years 12 months ago
2006
Springer
This paper studies the challenge of representing aggregate works such as encyclopaedia, collected poems and journals in digital libraries. Reflecting on materials used by humanitie...