1076 search results - page 21 / 216 » Operations on proofs and labels |
GECCO
2009
Springer
14 years 4 days ago
2009
Springer
Given a collection of terminals, each with a demand, a collection of concentrators, each with a capacity, and costs of connecting the terminals to the concentrators, the terminal ...
SACRYPT
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The XCB mode of operation was outlined in 2004 as a contribution to the IEEE Security in Storage effort, but no security analysis was provided. In this paper, we provide...
ARITH
2003
IEEE
13 years 11 months ago
2003
IEEE
Studying floating point arithmetic, authors have shown that the implemented operations (addition, subtraction, multiplication, division and square root) can compute a result and a...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
ENTCS
2010
13 years 4 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...