1209 search results - page 164 / 242 » On the Resilience of Classes to Change |
147
click to vote
KBSE
2008
IEEE
16 years 24 days 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...
142
click to vote
VTC
2008
IEEE
16 years 23 days 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...
138
click to vote
ACSAC
2007
IEEE
16 years 22 days 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...
165
click to vote
DASFAA
2007
IEEE
16 years 22 days 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...
165
click to vote
ICC
2007
IEEE
16 years 22 days 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...