2940 search results - page 318 / 588 » Relational Parametricity and Control |
153
click to vote
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Intrusion detection (ID) is one of network security engineers' most important tasks. Textual (command-line) and visual interfaces are two common modalities used to support en...
211
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
—In most existing sender-initiated handshaking based underwater Media Access Control (MAC) protocols, only the initiating sender is allowed to transmit data packets to its intend...
195
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper addresses the design of multi-mode architectures for digital signal processing applications. We present a dedicated design flow and its associated high-level synthesis t...
172
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
Many model editing operations, such as morphing, blending, and shape deformation, require the ability to interactively transform the surface of a model in response to some control...
180
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
The ability to limit unsolicited traffic in the Internet is important to defy DDoS attacks and to contain the spread of worms and viruses. The concept of capabilities, which requir...