1792 search results - page 91 / 359 » e-Participation and Decision Analysis |
140
click to vote
CAV
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
170
click to vote
CICLING
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we describe a rule-based formalism for the analysis and labelling of texts segments. The rules are contextual rewriting rules with a restricted form of negation. They...
180
click to vote
DRUMS
1998
Springer
15 years 10 months ago
1998
Springer
In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to...
167
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...
165
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in s...