28962 search results - page 279 / 5793 » Computational Mechanism Design |
138
click to vote
DRM
2006
Springer
15 years 10 months ago
2006
Springer
Despite huge efforts by software providers, software protection mechanisms are still broken on a regular basis. Due to the current distribution model, an attack against one copy o...
188
click to vote
CRIWG
2003
15 years 8 months ago
2003
Collaborative Systems support user groups enabling a shared environment and informing of its state and changes through a mechanism called awareness. We believe that these changes a...
168
click to vote
MPC
1995
Springer
15 years 10 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
174
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
Protocols that solve agreement problems are essential building blocks for fault tolerant distributed systems. While many protocols have been published, little has been done to ana...
141
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
General-purpose operating systems provide a rich computing environment both to the user and the attacker. The declining cost of hardware and the growing security concerns of softw...