1894 search results - page 323 / 379 » A TLA Proof System |
235
Voted
MSWIM
2006
ACM
15 years 9 months ago
2006
ACM
Mobile devices should allow users to exploit services anytime, without any place restriction and in a transparent way. The Bluetooth technology achieves this feature, by providing...
162
Voted
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
149
Voted
WOWMOM
2006
ACM
15 years 9 months ago
2006
ACM
: Nowadays many organisations share sensitive services through open network systems and this raises the need for an authorization framework that can interoperate even when the part...
104
Voted
ICDCSW
2005
IEEE
15 years 9 months ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...
126
Voted
ASIACRYPT
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a new cryptographic primitive called the blind coupon mechanism (BCM). In effect, the BCM is an authenticated bit commitment scheme, which is AND-homomorphic. It has n...