13214 search results - page 2531 / 2643 » Pseudorandomness for network algorithms |
138
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Privacy-preserving protocols allow multiple parties with private inputs to perform joint computation while preserving the privacy of their respective inputs. An important cryptogr...
134
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
152
click to vote
MOBISYS
2010
ACM
15 years 6 months ago
2010
ACM
We present Darwin, an enabling technology for mobile phone sensing that combines collaborative sensing and classification techniques to reason about human behavior and context on ...
132
click to vote
ALGOSENSORS
2008
Springer
15 years 6 months ago
2008
Springer
With the current progress in robot technology and related areas, sophisticated moving and sensing capabilities are at hand to design robots capable of solving seemingly complex tas...
156
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
Packet filtering plays a critical role in many of the current high speed network technologies such as firewalls and IPSec devices. The optimization of firewall policies is critica...