5084 search results - page 429 / 1017 » Proving Possibility Properties |
157
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper attempts to determine the capabilities of existing Redundancy Addition and Removal (SRAR) techniques for logic optimization of sequential circuits. To this purpose, we ...
193
click to vote
CTRSA
2010
Springer
16 years 1 months ago
2010
Springer
Typical security models used for proving security of deployed cryptographic primitives do not allow adversaries to rewind or reset honest parties to an earlier state. Thus, it is c...
199
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
167
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
152
click to vote
PAM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Detecting clients with deviant behavior in the Bittorrent network is a challenging task that has not received the deserved attention. Typically, this question is seen as ...