2062 search results - page 194 / 413 » Derivatives of Logical Formulas |
249
click to vote
CADE
2011
Springer
14 years 4 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
152
click to vote
CADE
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known c...
115
click to vote
AISC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
132
click to vote
JSAI
2007
Springer
15 years 10 months ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
135
click to vote
APCCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper proposes a novel two-phase drive adiabatic dynamic CMOS logic circuit (2PADCL). The proposed 2PADCL uses two complementary sinusoidal power supply clocks and...