5898 search results - page 1035 / 1180 » Parallel Computing Environments and Methods |
135
click to vote
HPCA
2005
IEEE
15 years 8 months ago
2005
IEEE
In the past, there have been several denial-of-service (DOS) attacks which exhaust some shared resource (e.g., physical memory, process table, file descriptors, TCP connections) ...
126
click to vote
ICDM
2005
IEEE
15 years 8 months ago
2005
IEEE
Collaborative filtering-based recommender systems, which automatically predict preferred products of a user using known preferences of other users, have become extremely popular ...
120
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
149
click to vote
ESORICS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
108
click to vote
EUROPAR
2005
Springer
15 years 8 months ago
2005
Springer
In H.264/AVC [1], integer transforms are applied instead of the 8×8 discrete cosine transform (DCT) of previous standards to avoid inverse transform mismatch problems. However, th...