1209 search results - page 19 / 242 » On the Resilience of Classes to Change |
IJSN
2006
13 years 8 months ago
2006
: This paper presents a survey of key evolving cryptosystems in the public key setting, focusing on two main approaches: `forward security' and `intrusion resilience'. Th...
CCS
2006
ACM
14 years 17 days ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
IWPC
2010
IEEE
13 years 7 months ago
2010
IEEE
—A measure of how a class is impacted during design evolution is presented. The history of design changes that involve a given class is the basis for the measure. Classes that ar...
EUROCOLT
1999
Springer
14 years 1 months ago
1999
Springer
The present paper motivates the study of mind change complexity for learning minimal models of length-bounded logic programs. It establishes ordinal mind change complexity bounds ...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
MIMO-OFDM is a promising technique for the broadband wireless communication system. In this paper, we propose a novel scheme that integrates multiple description coding (MDC), err...