6756 search results - page 1022 / 1352 » Distributed Shared State |
199
click to vote
ACSAC
2005
IEEE
16 years 28 days ago
2005
IEEE
As the number of system vulnerabilities multiplies in recent years, vulnerability assessment has emerged as a powerful system security administration tool that can identify vulner...
207
click to vote
SSDBM
2005
IEEE
16 years 27 days ago
2005
IEEE
As with many large organizations, the Government's data is split in many different ways and is collected at different times by different people. The resulting massive data he...
204
click to vote
SACRYPT
2005
Springer
16 years 24 days ago
2005
Springer
The ability to link two different sightings of the same Radio Frequency Identification (RFID) tag enables invasions of privacy. The problem is aggravated when an item, and the ta...
223
click to vote
PLDI
2004
ACM
16 years 22 days ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
211
click to vote
WADT
2004
Springer
16 years 20 days ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...