1580 search results - page 1 / 316 » Non-Interference Through Determinism |
ESORICS
1994
Springer
13 years 9 months ago
1994
Springer
AMAST
2000
Springer
13 years 9 months ago
2000
Springer
ENTCS
2010
13 years 4 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
CHI
2011
ACM
12 years 8 months ago
2011
ACM
Finding relevant information within the vast amount of information exchanged via feeds is difficult. Previous research into this problem has largely focused on recommending relev...
EOR
2011
12 years 11 months ago
2011
In practice, managers often wish to ascertain that a particular engineering design of a production system meets their requirements. The future environment of this design is likely...