ICALP
2010
Springer
13 years 2 months ago
2010
Springer
In this paper, we focus our attention on the fragment of Halpern and Shoham's modal logic of intervals (HS) that features four modal operators corresponding to the relations &...
ICALP
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We consider the randomized k-server problem, and give improved results for various metric spaces. In particular, we extend a recent result of Cot
ICALP
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We defin...
ICALP
2010
Springer
13 years 2 months ago
2010
Springer
ICALP
2010
Springer
13 years 2 months ago
2010
Springer
ICALP
2010
Springer
13 years 2 months ago
2010
Springer
ICALP
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
ICALP
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
ICALP
2010
Springer
13 years 4 months ago
2010
Springer
ICALP
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...