11324 search results - page 1924 / 2265 » Coordination Models and Languages |
167
click to vote
CP
2004
Springer
16 years 5 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...
163
click to vote
CP
2004
Springer
16 years 5 days ago
2004
Springer
This paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keepi...
190
click to vote
DEXA
2004
Springer
16 years 5 days ago
2004
Springer
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
167
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
In description logics, concrete domains are used to model concrete properties such as weight, name, or age, having concrete values such as integers or strings, with built-in predic...
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 ï¬...