9067 search results - page 1775 / 1814 » Adaptive Model Checking |
124
click to vote
PKC
2004
Springer
15 years 7 months ago
2004
Springer
In a practical system, a message is often encrypted more than once by different encryptions, here called multiple encryption, to enhance its security. Additionally, new features ...
104
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Digital watermarking is a promising technology to embed copyright information as unperceivable signals in digital contents. Although various watermarking techniques have been empl...
156
click to vote
AOSD
2003
ACM
15 years 7 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
119
click to vote
COMPGEOM
2003
ACM
15 years 7 months ago
2003
ACM
We develop algorithms for computing the smallest enclosing ball of a set of n balls in d-dimensional space. Unlike previous methods, we explicitly address small cases (n ≤ d + 1...
124
Voted
SPAA
2003
ACM
15 years 7 months ago
2003
ACM
When using a shared memory multiprocessor, the programmer faces the selection of the portable programming model which will deliver the best performance. Even if he restricts his c...