3383 search results - page 644 / 677 » Distributing the power of OLAP |
170
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
151
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
When a distributed robotic system is assigned to perform reconnaissance or surveillance, restrictions inherent to the design of an individual robot limit the system’s performanc...
222
click to vote
SIGMETRICS
2010
ACM
15 years 11 months ago
2010
ACM
A new generation of content delivery networks for live streaming, video on demand, and software updates takes advantage of a peer-to-peer architecture to reduce their operating co...
141
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...
215
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
Imagine many small devices send data to a single receiver, encrypted using the receiver’s public key. Assume an adversary that has the power to adaptively corrupt a subset of the...