Sciweavers

3047 search results - page 212 / 610
» A Secure Distributed Search System
Sort
View
CSFW
2009
IEEE
15 years 10 months ago
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo ...
AAMAS
2008
Springer
15 years 6 months ago
Using quantitative models to search for appropriate organizational designs
As the scale and scope of distributed and multi-agent systems grow, it becomes increasingly important to design and manage the participants' interactions. The potential for b...
Bryan Horling, Victor R. Lesser
HICSS
2010
IEEE
166views Biometrics» more  HICSS 2010»
16 years 1 months ago
Spatial Variation in Search Engine Results
Geographic information retrieval (GIR) is, as a branch of traditional information retrieval, a discipline that tries to enrich data with geographical information to make it suitab...
David Noack
RIAO
2000
15 years 7 months ago
Image indexation and content based search using pre-attentive similarities
We introduce in this paper the general architecture of an image search engine based on pre-attentive similarities. The components of this system are presented and some of them are...
Alexander Heinrichs, Dimitri Koubaroulis, Barbara ...
AP2PC
2004
Springer
15 years 12 months ago
Unstructured Peer-to-Peer Networks: Topological Properties and Search Performance
Performing efficient decentralized search is a fundamental problem in Peer-to-Peer (P2P) systems. There has been a significant amount of research recently on developing robust sel...
George H. L. Fletcher, Hardik A. Sheth, Katy B&oum...