1879 search results - page 7 / 376 » Extending Reflective Architectures |
DAC
1998
ACM
14 years 2 months ago
1998
ACM
ELP
1993
14 years 1 months ago
1993
The logic of definitional reflection is extended with a theory of free equality. Based on this equality theory a sequent-style notion of the completion of a definition is motivated...
CAISE
2004
Springer
14 years 3 months ago
2004
Springer
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...
ICCV
2003
IEEE
14 years 11 months ago
2003
IEEE
Under the Lambertian reflectance model, uncalibrated photometric stereo with unknown light sources is inherently ambiguous. In this paper, we consider the use of a more general re...
VAMOS
2008
Springer
13 years 11 months ago
2008
Springer
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...