2137 search results - page 148 / 428 » Proving Abstract Non-interference |
118
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper, we introduce a discrete-time model for the complete power supply sub-system that closely approximates the behavior of its circuit-level (i.e., HSpice), continuous-t...
109
click to vote
IV
1998
IEEE
15 years 7 months ago
1998
IEEE
alization of large volumes of abstract information requires mechanisms to support the user by knowledge discovering. Therefore we developed the level of data Therein the abstract ...
110
click to vote
LICS
1996
IEEE
15 years 7 months ago
1996
IEEE
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional t...
128
click to vote
FMCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
113
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...