1901 search results - page 164 / 381 » Predicting Program Properties from |
149
click to vote
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
127
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...
129
click to vote
CTCS
1987
Springer
15 years 6 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
129
click to vote
JCS
2006
15 years 3 months ago
2006
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems release sensitive information as part of their in...
144
click to vote
ICALP
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Congestion games model several interesting applications, including routing and network formation games, and also possess attractive theoretical properties, including the ...