3235 search results - page 75 / 647 » Partial Redundant Modeling |
115
click to vote
ASM
2000
ASM
15 years 8 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...
160
Voted
SACRYPT
2005
Springer
15 years 9 months ago
2005
Springer
In a hierarchical structure, an entity has access to another if and only if the former is a superior of the later. The access control scheme for a hierarchy represented by a partia...
115
click to vote
SAT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We define new encodings from Max-CSP into Partial MaxSAT which are obtained by modelling the at-most-one condition with the sequential SAT encoding of the cardinality co...
104
click to vote
IBERAMIA
1998
Springer
15 years 8 months ago
1998
Springer
In this article we analyze the problem of searching the WWW, giving some insight and models to understand its complexity. Then we survey the two main current techniques used to se...
117
click to vote
ITC
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents a novel technique to evaluate the noncontrollability measures of state registers for partial scan design. Our model uses implicit techniques for finite state ma...