5084 search results - page 307 / 1017 » Proving Possibility Properties |
145
click to vote
WDAG
2007
Springer
16 years 23 days ago
2007
Springer
The deferred update technique is a widely used approach for building replicated database systems. Its fame stems from the fact that read-only transactions can execute locally to a...
181
click to vote
CSFW
2006
IEEE
16 years 22 days ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
191
click to vote
FOCS
2006
IEEE
16 years 22 days ago
2006
IEEE
We prove an upper bound, tight up to a factor of 2, for the number of vertices of level at most in an arrangement of n halfspaces in Rd , for arbitrary n and d (in particular, the...
162
click to vote
GLOBECOM
2006
IEEE
16 years 21 days ago
2006
IEEE
— Reducing energy consumption has been a recent focus of wireless sensor network research. Topology control explores the potential that a dense network has for energy savings. On...
208
click to vote
WIOPT
2006
IEEE
16 years 20 days ago
2006
IEEE
— This paper reverse-engineers backoff-based random-access MAC protocols in ad-hoc networks. We show that the contention resolution algorithm in such protocols is implicitly part...