4081 search results - page 141 / 817 » The Impact of Constraint Programming |
135
click to vote
JSW
2008
15 years 4 months ago
2008
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
246
click to vote
POPL
2002
ACM
16 years 5 months ago
2002
ACM
We investigate the first-order theory of subtyping constraints. We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where a...
122
Voted
UM
2009
Springer
15 years 11 months ago
2009
Springer
Ideally designed software allow users to explore and pursue interleaving plans, making it challenging to automatically recognize user interactions. The recognition algorithms prese...
132
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
142
Voted
ESOP
1992
Springer
15 years 8 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...