1818 search results - page 243 / 364 » Granularity-Adaptive Proof Presentation |
152
click to vote
ICALP
2005
Springer
15 years 9 months 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...
115
click to vote
ICARIS
2005
Springer
15 years 9 months ago
2005
Springer
An exact Markov chain model of the B-cell algorithm (BCA) is constructed via a novel possible transit method. The model is used to formulate a proof that the BCA is convergent abso...
142
Voted
ICTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
129
click to vote
ANTS
2004
Springer
15 years 9 months ago
2004
Springer
The binary algorithm is a variant of the Euclidean algorithm that performs well in practice. We present a quasi-linear time recursive algorithm that computes the greatest common di...
138
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...