Sciweavers

4767 search results - page 767 / 954
» Moving between Contexts
Sort
View
DMSN
2007
ACM
15 years 10 months ago
Declarative temporal data models for sensor-driven query processing
Many sensor network applications monitor continuous phenomena by sampling, and fit time-varying models that capture the phenomena's behaviors. We introduce Pulse, a framework...
Yanif Ahmad, Ugur Çetintemel
DSN
2007
IEEE
15 years 10 months ago
Automatic Verification and Discovery of Byzantine Consensus Protocols
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
Piotr Zielinski
ELPUB
2007
ACM
15 years 10 months ago
Towards a Semantic Turn in Rich-Media Analysis
Typical application scenarios in the area of rich-media management, such as the continuous digitisation of the media production processes, the search and retrieval tasks in a grow...
Tobias Bürger, Georg Güntner
FC
2010
Springer
196views Cryptology» more  FC 2010»
15 years 10 months ago
Modulo Reduction for Paillier Encryptions and Application to Secure Statistical Analysis
Abstract. For the homomorphic Paillier cryptosystem we construct a protocol for secure modulo reduction, that on input of an encryption x with x of bit length x and a public ‘mod...
Jorge Guajardo, Bart Mennink, Berry Schoenmakers
CANDT
2009
15 years 10 months ago
Hometown websites: continuous maintenance of cross-border connections
Information and Communication Technologies (ICT) become particularly relevant in contexts where place-based communities get dispersed and migrants look for ways to keep strong con...
Luís A. Castro, Victor M. Gonzalez