2035 search results - page 132 / 407 » On the complexity of stratified logics |
157
click to vote
CDES
2008
15 years 7 months ago
2008
In this paper an algorithm is proposed for the synthesis and exact minimization of ESCT (Exclusive or Sum of Complex Terms) expressions for Boolean functions of up to seven comple...
170
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
178
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
170
click to vote
GLOBECOM
2007
IEEE
16 years 21 days ago
2007
IEEE
—We explore the design of a logically centralized but physically distributed control plane for 4D architecture. 4D architecture proposes centralization of network-wide decision m...
145
click to vote
CSFW
2005
IEEE
16 years 3 hour ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...