1082 search results - page 126 / 217 » Policy support for call control |
158
click to vote
ESORICS
2009
Springer
15 years 9 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
148
click to vote
TCS
2010
15 years 4 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
168
Voted
SBACPAD
2006
IEEE
15 years 11 months ago
2006
IEEE
Neural-inspired branch predictors achieve very low branch misprediction rates. However, previously proposed implementations have a variety of characteristics that make them challe...
187
click to vote
INFOCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
—It is well known that IEEE 802.11 provides a physical layer multirate capability and, hence, MAC layer mechanisms are needed to exploit this capability. Several solutions have b...
127
click to vote
SYNTHESE
2011
15 years 19 days ago
2011
: My main aim in this paper is to clarify the concepts of referential success and of referential continuity that are so crucial to the scientific realism debate. I start by conside...