140 search results - page 9 / 28 » Reasoning with Optional and Preferred Requirements |
151
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Grid computing involves the transparent sharing of computational resources of many types by users across large geographic distances. The altruistic nature of many current grid reso...
154
click to vote
LPAR
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. The Knuth-Bendix ordering is usually preferred over the lexicographic path ordering in successful implementations of resolution and superposition, but it is incompatible ...
182
click to vote
DSOM
2006
Springer
15 years 9 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
147
click to vote
CPAIOR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In scheduling using constraint programming we usually reason only about possible start times and end times of activities and remove those which are recognized as unfeasib...
156
click to vote
AIL
2006
15 years 6 months ago
2006
Governments and other groups interested in the views of citizens require the means to present justifications of proposed actions, and the means to solicit public opinion concerning...