Sciweavers

3938 search results - page 82 / 788
» Interactive Protocols on the Reals
Sort
View
ISI
2004
Springer
15 years 6 months ago
Privacy-Preserving Inter-database Operations
Abstract. We present protocols for distributed computation of relational intersections and equi-joins such that each site gains no information about the tuples at the other site th...
Gang Liang, Sudarshan S. Chawathe
ECCC
2010
98views more  ECCC 2010»
14 years 11 months ago
Verifying Computations with Streaming Interactive Proofs
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
Graham Cormode, Justin Thaler, Ke Yi
128
Voted
IANDC
2007
152views more  IANDC 2007»
15 years 18 days ago
The reactive simulatability (RSIM) framework for asynchronous systems
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
Michael Backes, Birgit Pfitzmann, Michael Waidner
91
Voted
ISF
2007
84views more  ISF 2007»
15 years 17 days ago
Guided interaction: A mechanism to enable ad hoc service interaction
Ad hoc interaction between web services and their clients is a worthwhile but seemingly distant goal. This paper presents guided interaction as an alternative to the current mecha...
Phillipa Oaks, Arthur H. M. ter Hofstede
85
Voted
WISES
2003
15 years 2 months ago
Intelligent UART Module for Real-Time Applications
— More and more fieldbus applications require a communication with real-time properties, while still being economically feasible. The fieldbuses LIN and TTP/A take this require...
Martin Delvai, Ulrike Eisenmann, Wilfried Elmenrei...