3820 search results - page 421 / 764 » Bounded Model Debugging |
153
click to vote
ASIACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Multi-party secure computations are general important procedures to compute any function while keeping the security of private inputs. In this work we ask whether preprocessing can...
232
Voted
SIGAL
1990
15 years 8 months ago
1990
We propose and analyse a quasirandom analogue to the classical push model for disseminating information in networks ("randomized rumor spreading"). In the classical mode...
136
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—Throughput capacity in wireless ad hoc networks has been studied extensively under many different mobility models such as i.i.d. mobility model, Brownian mobility model, random ...
141
click to vote
TECS
2010
15 years 2 months ago
2010
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...
152
click to vote
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
—In this paper, we tackle the spectrum allocation problem in cognitive radio (CR) networks with time-frequency flexibility consideration using combinatorial auction. Different f...