5451 search results - page 994 / 1091 » Typed Operational Semantics |
185
click to vote
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
166
click to vote
FAST
2009
15 years 4 months ago
2009
Fault-tolerant services typically make assumptions about the type and maximum number of faults that they can tolerate while providing their correctness guarantees; when such a fau...
193
click to vote
PAMI
2011
15 years 1 months ago
2011
— This paper addresses recognition of human actions under view changes. We explore self-similarities of action sequences over time and observe the striking stability of such meas...
207
click to vote
TIP
2011
15 years 1 months ago
2011
We propose a prediction technique that is geared toward forming successful estimates of a signal based on a correlated anchor signal that is contaminated with complex interference...
190
click to vote
IACR
2011
14 years 5 months ago
2011
In this paper, we study the complexity of secure multiparty computation using only the secure arithmetic black-box of a finite field, counting the cost by the number of secure m...