947 search results - page 106 / 190 » Analysis of Techniques to Improve Protocol Processing Latenc... |
148
click to vote
CSFW
2002
IEEE
15 years 6 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
134
click to vote
IEEEARES
2009
IEEE
15 years 8 months ago
2009
IEEE
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...
103
click to vote
CCS
2001
ACM
15 years 6 months ago
2001
ACM
Authenticating mobile computing users can require a significant amount of processing and communications resources— particularly when protocols based on public key encryption are...
ICIP
2004
IEEE
16 years 3 months ago
2004
IEEE
Palette reordering is one of the most effective approaches for improving the compression of color-indexed images. Recently, a theoretically motivated modification of a reordering ...
116
click to vote
IR
2008
15 years 1 months ago
2008
Abstract. Document length is widely recognized as an important factor for adjusting retrieval systems. Many models tend to favor the retrieval of either short or long documents and...