13383 search results - page 266 / 2677 » Abstractions from proofs |
196
click to vote
ESORICS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
140
click to vote
ISAAC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. CrossingNumber is one of the most challenging algorithmic problems in topological graph theory, with applications to graph drawing and VLSI layout. No polynomial time con...
139
click to vote
GMP
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract. A new topological representation of surfaces in higher dimensions, “cell-chains” is developed. The representation is a generalization of Brisson’s cell-tuple data s...
155
click to vote
ISCAS
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— This paper derives a novel property of the secondorder modes of discrete-time systems under variable transformation. This is the generalization of the theory presented ...
198
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...