2137 search results - page 142 / 428 » Proving Abstract Non-interference |
JOT
2007
15 years 2 months ago
2007
ome this restriction, we develop so-called loose domains which abstract over several precise domains. Similar to the relation between supertypes and subtypes, we get a relation bet...
100
click to vote
COMBINATORICS
2000
15 years 2 months ago
2000
Abstract. We introduce color-signed permutations to obtain a very explicit combinatorial interpretation of the q-Eulerian identities of Brenti and some generalizations. In particul...
MOC
2000
15 years 2 months ago
2000
Abstract. This paper is concerned with the mixed formulation of the Boussinesq equations in two-dimensional domains and its numerical approximation. The paper deals first with exis...
119
click to vote
MOC
2000
15 years 2 months ago
2000
Abstract. We study the convergence properties of the cascadic conjugategradient method (CCG-method), which can be considered as a multilevel method without coarse-grid correction. ...
IANDC
1998
15 years 2 months ago
1998
op diagram techniques for proving confluence in abstract reductions systems. The underlying theory gives a systematic and uniform framework in which a number of known results, wide...