12 search results - page 3 / 3 » Dialogues about the burden of proof |
PLDI
2006
ACM
13 years 11 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
AI
2003
Springer
13 years 10 months ago
2003
Springer
Private information about individuals that engage in e-commerce business transactions is of economic value to businesses for market analysis and for identifying possible future par...