2917 search results - page 375 / 584 » Satisfying Interaction Constraints |
178
click to vote
IANDC
2008
15 years 6 months ago
2008
Recently automated deduction tools have proved to be very effective for detecting attacks on cryptographic protocols. These analysis can be improved, for finding more subtle weakn...
164
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The energy-delay tradeoffs in wireless networks are studied using a game-theoretic framework. A multi-class multipleaccess network is considered in which users choose their transmi...
162
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We provide a complete characterization of the rate-distortion region for the multistage successive refinement of the Wyner-Ziv source coding problem with degraded side information...
164
click to vote
DEBU
2006
15 years 6 months ago
2006
Storage virtualization in modern storage systems allows variability in the number of "physical" disks supporting a single "virtual" disk. In practice, IO workl...
201
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
One of the first motivations of using grids comes from applications managing large data sets in field such as high energy physics or life sciences. To improve the global throughput...