5326 search results - page 397 / 1066 » On what we can ensure |
142
click to vote
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we provide a mathematical ILP model for the Regeneration Placement Problem (RPP) which minimizes the total number of regeneration nodes allocated in a translucent opt...
314
click to vote
CASCON
2010
15 years 3 months ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
165
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In this paper, we investigate the potential of a selfpowered gliding aircraft to remain aloft indefinitely. We focus specifically on operations in the jet stream where pe...
185
click to vote
IACR
2011
14 years 6 months ago
2011
Protocols for generic secure multi-party computation (MPC) come in two forms: they either represent the function being computed as a boolean circuit, or as an arithmetic circuit o...
165
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
User-provided object bounding box is a simple and
popular interaction paradigm considered by many existing
interactive image segmentation frameworks. However,
these frameworks t...