2927 search results - page 270 / 586 » Secure Distributed Human Computation |
188
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
170
click to vote
HCW
1998
IEEE
15 years 11 months ago
1998
IEEE
A distributed, parallel implementation of the widely used Modular Semi-Automated Forces ModSAF Distributed Interactive Simulation DIS is presented, with Scalable Parallel Processo...
213
click to vote
SEUS
2008
IEEE
16 years 29 days ago
2008
IEEE
The computing systems are becoming deeply embedded into ordinary life and interact with physical processes and events. They monitor the physical world with sensors and provide app...
162
click to vote
CCS
2004
ACM
16 years 38 min ago
2004
ACM
d Abstract) XiaoFeng Wang∗ Michael K. Reiter† We present congestion puzzles (CP), a new countermeasure to bandwidth-exhaustion attacks. Like other defenses based on client puz...
159
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
Grid computing systems that have been the focus of much research activities in recent years provide a virtual framework for controlled sharing of resources across institutional bo...