5904 search results - page 853 / 1181 » Requirements for a Composition Language |
165
click to vote
CP
2004
Springer
16 years 4 days ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
168
click to vote
ESORICS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ï¬...
214
click to vote
FOSSACS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
156
click to vote
FPL
2004
Springer
16 years 4 days ago
2004
Springer
Complex SoC and platform-based designs require integration of configurable IP cores from multiple sources. Even automatic compilation flows from a high-level description to HW/SW s...
177
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
We consider the problem of learning a labeled graph from a given family of graphs on n vertices in a model where the only allowed operation is to query whether a set of vertices i...