3384 search results - page 441 / 677 » More Testable Properties |
147
click to vote
SPAA
2004
ACM
16 years 1 days ago
2004
ACM
Despite years of research, the design of efficient nonblocking algorithms remains difficult. A key reason is that current shared-memory multiprocessor architectures support only s...
202
click to vote
SWS
2004
ACM
16 years 1 days ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
169
click to vote
ACNS
2004
Springer
16 years 15 hour ago
2004
Springer
We study the data privacy of cryptosystems with All-or-Nothing transform (AONT). An AONT is an efficient computable transform with two properties: Given all the bits of its output...
182
click to vote
CMSB
2004
Springer
16 years 8 hour ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
156
click to vote
COCO
2004
Springer
16 years 8 hour ago
2004
Springer
This paper studies quantum Arthur–Merlin games, which are Arthur–Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum in...