5639 search results - page 551 / 1128 » Timed Abstract Non-interference |
150
click to vote
SWAT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We study the gossiping problem in directed ad-hoc radio networks. Our main result is a deterministic algorithm that solves this problem in an n-node network in time O(n4/...
162
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
167
click to vote
WCW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a detailed workload characterization of a multi-tiered system that hosts an e-commerce site. Using the TPC-W workload and via experimental measurements, we ill...
175
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present a novel single image deblurring method to estimate spatially non-uniform blur that results from camera shake. We use existing spatially invariant deconvolution...
167
click to vote
CEC
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract- Simulated annealing (SA) is an effective general heuristic method for solving many combinatorial optimization problems. This paper deals with two problems in SA. One is ...