4212 search results - page 259 / 843 » Rights Expression Languages |
135
click to vote
SAC
2006
ACM
16 years 16 days ago
2006
ACM
The heterogeneity of architectural constraint languages makes diļ¬cult the transformation of architectural constraints throughout the development process. Indeed they have signiļ...
169
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our speciļ¬c calculus has letrec as cyclic let, data constructors, ...
155
click to vote
ADBIS
1997
Springer
15 years 10 months ago
1997
Springer
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
162
click to vote
ICIAP
1997
ACM
15 years 10 months ago
1997
ACM
We present a model for image retrieval in which images are represented both at the form level, as sets of physical features of the representing objects, and at the content level, a...
189
click to vote
ESOP
1994
Springer
15 years 10 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...