414 search results - page 3 / 83 » Reflections on the Object Constraint Language |
122
click to vote
ECCV
2004
Springer
16 years 3 months ago
2004
Springer
We consider the problem of estimating the 3D shape and reflectance properties of an object made of a single material from a calibrated set of multiple views. To model reflectance, ...
108
click to vote
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
We identify three design principles for reflection and metaprogramming facilities in object oriented programming languages. Encapsulation: meta-level facilities must encapsulate t...
100
click to vote
SAC
2004
ACM
15 years 6 months ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
125
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
116
click to vote
ENTCS
2006
15 years 1 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...