2137 search results - page 109 / 428 » Proving Abstract Non-interference |
93
Voted
CADE
2001
Springer
16 years 3 months ago
2001
Springer
Abstract. This paper presents a technique for automated theorem proving with free variable tableaux that does not require backtracking. Most existing automated proof procedures usi...
90
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. In this paper we address a common question in wireless communication: How long does it take to satisfy an arbitrary set of wireless communication requests? This problem i...
108
Voted
ALT
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We propose a method of unsupervised learning from stationary, vector-valued processes. A low-dimensional subspace is selected on the basis of a criterion which rewards da...
120
Voted
CC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
151
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...