8009 search results - page 1249 / 1602 » cans 2005 |
207
click to vote
TACAS
2005
Springer
16 years 1 months ago
2005
Springer
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
181
click to vote
TARK
2005
Springer
16 years 1 months ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
184
click to vote
TCC
2005
Springer
16 years 1 months ago
2005
Springer
The existing unconditional security definitions of quantum key distribution (QKD) do not apply to joint attacks over QKD and the subsequent use of the resulting key. In this paper...
184
click to vote
TCC
2005
Springer
16 years 1 months ago
2005
Springer
Encryption of data using multiple, independent encryption schemes (“multiple encryption”) has been suggested in a variety of contexts, and can be used, for example, to protect ...
213
click to vote
TES
2005
Springer
16 years 1 months ago
2005
Springer
In SOA (Service Oriented Architecture), web service providers use service registries to publish services and requestors use registries to find them. The major current service regis...