3229 search results - page 162 / 646 » Mixing |
106
Voted
ESORICS
2010
Springer
15 years 1 months ago
2010
Springer
Safety critical applications for recently proposed vehicle to vehicle ad-hoc networks (VANETs) rely on a beacon signal, which poses a threat to privacy since it could allow a vehic...
94
Voted
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
73
Voted
SIGMOD
2010
ACM
15 years 1 months ago
2010
ACM
106
click to vote
ICDCS
2010
IEEE
15 years 1 months ago
2010
IEEE
—Large-scale distributed cyber-physical systems will have many sensors/actuators (each with local micro-controllers), and a distributed communication/computing backbone with mult...
73
Voted
4OR
2010
15 years 1 months ago
2010
