32117 search results - page 5983 / 6424 » Design for Unanticipated Use.. |
203
click to vote
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
176
click to vote
QSHINE
2005
IEEE
16 years 11 days ago
2005
IEEE
—We propose an adaptive hybrid automatic repeat request–forward error correction (ARQ–FEC) erasure-correcting scheme for quality of service (QoS)-driven mobile multicast serv...
200
click to vote
RTAS
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract— The increasing use of electronics in transport systems, such as the automotive and avionic domain, has lead to dramatic improvements with respect to functionality, safe...
216
click to vote
SP
2005
IEEE
16 years 11 days ago
2005
IEEE
In this paper, we propose BIND (Binding Instructions aNd Data),1 a fine-grained attestation service for securing distributed systems. Code attestation has recently received consi...
178
click to vote
SSDBM
2005
IEEE
16 years 11 days ago
2005
IEEE
Several studies have demonstrated the effectiveness of Haar wavelets in reducing large amounts of data down to compact wavelet synopses that can be used to obtain fast, accurate a...