1939 search results - page 119 / 388 » Dynamic Lex Constraints |
147
click to vote
CSFW
1992
IEEE
15 years 10 months ago
1992
IEEE
Most security models explicitly (or implicitly) include the tranquillity principle which prohibits changing the security level of a given piece of information. Yet in practical sy...
197
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Dynamic binary translation (DBT) has been used to achieve numerous goals (e.g., better performance) for general-purpose computers. Recently, DBT has also attracted attention for e...
178
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
A distributed concurrent search algorithm for distributed constraint satisfaction problems (DisCSPs) is presented. Concurrent search algorithms are composed of multiple search proc...
156
click to vote
CP
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. We investigate the dynamic variable ordering (DVO) technique commonly used in conjunction with tree-search algorithms for solving constraint satisfaction problems. We fi...
185
click to vote
PDPTA
2003
15 years 7 months ago
2003
The evolution of distributed applications to reflect structural changes or to adapt to specific conditions of the run-time environment is a difficult issue especially if continuou...