345 search results - page 28 / 69 » Computer-Assisted Simulation Proofs |
113
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— A control strategy inspired by the hunting tactics of ladybugs is presented to simultaneously achieve sensor coverage and exploration of an area with a group of networked robot...
125
click to vote
ICNS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper introduces a fault-tolerant group communication protocol that is aimed at grid and wide area environments. The protocol has two layers. The lower layer provides a total...
117
click to vote
ANTS
2004
Springer
15 years 7 months ago
2004
Springer
The binary algorithm is a variant of the Euclidean algorithm that performs well in practice. We present a quasi-linear time recursive algorithm that computes the greatest common di...
CSL
2004
Springer
15 years 7 months ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
132
click to vote
EUROCRYPT
2010
Springer
15 years 5 months ago
2010
Springer
We construct an efficient identity based encryption system based on the standard learning with errors (LWE) problem. Our security proof holds in the standard model. The key step in...