3629 search results - page 326 / 726 » A More Efficient Use of Delta-CRLs |
171
click to vote
ASIACRYPT
2000
Springer
15 years 10 months ago
2000
Springer
This paper takes a closer look at Rivest's chaffing-and-winnowing paradigm for data privacy. We begin with a definition which enables one to clearly determine whether a given ...
151
click to vote
AIPS
2008
15 years 9 months ago
2008
In this paper, we report on a new solver for large instances of the Disjunctive Temporal Problem (DTP). Our solver is based primarily on the idea of employing "compact" ...
184
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
180
click to vote
ADHOCNOW
2010
Springer
15 years 8 months ago
2010
Springer
We consider the problem of efficient alarm protocol for ad-hoc radio networks consisting of devices that try to gain access for transmission through a shared radio communication ch...
192
Voted
NETWORKING
2008
15 years 8 months ago
2008
There have been research initiatives in centralized control recently, which advocate that the control of an autonomous system (AS) should be performed in a centralized fashion. In ...