394 search results - page 10 / 79 » An Abstract Domain of Uninterpreted Functions |
CONSTRAINTS
2008
14 years 10 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
66
Voted
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
106
click to vote
CTW
2004
14 years 10 months ago
2004
Abstract Work domain analysis (WDA) has been applied to a range of complex work domains, but few WDAs have been undertaken in medical contexts. One ng effort suggested that clinica...
95
Voted
PARA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents a method of solving initial value problems using Euler’s method, based on the domain of interval valued functions of a real variable. In contrast to...
AMAI
2006
Springer
2006
Springer
Functional and multivalued dependencies in nested databases generated by record and list constructor
14 years 10 months ago
tor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new i...