253 search results - page 25 / 51 » How to Transform an Analyzer into a Verifier |
89
Voted
NDSS
2005
IEEE
15 years 6 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...
113
click to vote
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
94
Voted
RA
2003
15 years 1 months ago
2003
In this paper, we describe a parallel solution scheme of inverse dynamics, and its application to flexible manipulators where elastic deformation and vibration normally occur in c...
102
click to vote
TCS
2010
14 years 10 months ago
2010
Robustness, the ability to analyze any input regardless of its grammaticality, is a desirable property for any system dealing with unrestricted natural language text. Error-repair...
104
Voted
CHI
2002
ACM
16 years 24 days ago
2002
ACM
This paper proposes a transformation of the Cognitive Walkthrough (CW), a theory-based usability inspection method that has proven useful in designing applications that support us...