4075 search results - page 666 / 815 » Modeling Distributed Algorithm Using B |
167
click to vote
APPROX
2005
Springer
15 years 12 months ago
2005
Springer
A large class of stochastic optimization problems can be modeled as minimizing an objective function f that depends on a choice of a vector x ∈ X, as well as on a random external...
197
click to vote
TCSV
2008
15 years 6 months ago
2008
Dual-camera systems have been widely used in surveillance because of the ability to explore the wide field of view (FOV) of the omnidirectional camera and the wide zoom range of th...
181
click to vote
SIGCOMM
2009
ACM
16 years 28 days ago
2009
ACM
We define some interesting incentive issues that arise in the management of virtual infrastructures. We demonstrate that participants’ decisions about the quantities of infrast...
229
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Federation of geo-distributed cloud services is a trend in cloud computing which, by spanning multiple data centers at different geographical locations, can provide a cloud plat...
172
click to vote
PODC
2004
ACM
15 years 12 months ago
2004
ACM
We present Byzantine Disk Paxos, an asynchronous shared-memory consensus algorithm that uses a collection of n > 3t disks, t of which may fail by becoming non-responsive or arb...