2930 search results - page 367 / 586 » A Constructive Approach to the Design of Distributed Systems |
185
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
We propose a biologically inspired and fully-decentralized approach to the organization of computation that is based on the autonomous scheduling of strongly mobile agents on a pe...
170
click to vote
AMW
2010
15 years 8 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
147
click to vote
ICPP
2007
IEEE
16 years 26 days ago
2007
IEEE
—By combining an unstructured protocol with a DHT-based global index, hybrid peer-to-peer (P2P) improves search efficiency in terms of query recall and response time. The major c...
150
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
183
click to vote
SMC
2007
IEEE
16 years 25 days ago
2007
IEEE
— Several studies dealt with medical ultrasound registration. Their similarity metrics relied on pixel-to-pixel intensity comparisons. Hence, they are not well suited to the case...