1513 search results - page 216 / 303 » Fibonacci Correction Networks |
185
Voted
TRUSTBUS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Due to the large size and complex structure of modern networks, firewall policies can contain several thousand rules. The size and complexity of these policies require au...
196
click to vote
CONSTRAINTS
2010
15 years 3 months ago
2010
This paper considers constraint propagation methods for continuous constraint satisfaction problems consisting of linear and quadratic constraints. All methods can be applied after...
160
Voted
CONSTRAINTS
2010
15 years 3 months ago
2010
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...
171
click to vote
FAC
2010
15 years 3 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
146
click to vote
FAC
2010
15 years 3 months ago
2010
Separation logic allows simple proofs of concurrent algorithms which use blocking mechanisms such as semaphores. It can even deal with non-blocking algorithms. With the addition of...