1349 search results - page 36 / 270 » Towards a theory of events |
IANDC
1998
13 years 8 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
QUESTA
2007
13 years 8 months ago
2007
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
The problem of anonymous networking when an eavesdropper observes packet timings in a communication network is considered. The goal is to hide the identities of source-destination...
PSD
2010
Springer
13 years 7 months ago
2010
Springer
We introduce the novel concept of coprivacy or co-operative privacy to make privacy preservation attractive. A protocol is coprivate if the best option for a player to preserve her...
TELE
2010
13 years 7 months ago
2010