3824 search results - page 314 / 765 » Geometry Constructions Language |
121
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Adaptive Programming allows developers to write structureshy programs. However, in Adaptive Programming, recursive computations are known to require a good deal of boiler plate co...
147
click to vote
RSEISP
2007
Springer
15 years 11 months ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at ex...
141
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
120
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...