7393 search results - page 1216 / 1479 » Synthesis-for-testability using transformations |
127
Voted
NDSS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we analyze a new class of pulsing denialof-service (PDoS) attacks that could seriously degrade the throughput of TCP flows. During a PDoS attack, periodic pulses of...
123
click to vote
QEST
2005
IEEE
15 years 9 months ago
2005
IEEE
A framework to assess transient performance measures is introduced by generalizing the theory of the quasi Birthand-Death (QBD) paradigm to QBDs with marked time epochs (QBDm ). T...
138
click to vote
WACV
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we present a novel view point independent range image segmentation and recognition approach. We generate a library of 3D models off-line and represent each model wit...
126
Voted
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
In emerging e-commerce applications, time constrained information sharing between different systems is becoming a common phenomenon. A flexible and efficient mechanism is needed t...
134
Voted
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...