1209 search results - page 164 / 242 » On the Resilience of Classes to Change |
84
Voted
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
81
Voted
VTC
2008
IEEE
15 years 7 months ago
2008
IEEE
—In this paper, we propose a class of implementation friendly structured LDPC codes with low error floors. The proposed codes exhibit no apparent error floors as compared with qu...
ACSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
To combat the rapid infection rate of today’s Internet worms, signatures for novel worms must be generated soon after an outbreak. This is especially critical in the case of pol...
84
Voted
DASFAA
2007
IEEE
15 years 7 months ago
2007
IEEE
As large-scale sensor networks are being deployed with the objective of collecting quality data to support user queries and decision-making, the role of a scalable query model beco...
96
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper proposes an adaptive radio resource allocation (ARRA) algorithm for downlink OFDMA/SDMA systems with multimedia traffic. Considering multiple service classes and di...