577 search results - page 43 / 116 » Budget Feasible Mechanisms |
ARESEC
2011
13 years 11 months ago
2011
—We formalise in a theorem prover the notion of provable anonymity proposed by Garcia et al. Our formalization relies on inductive definitions of message distinguish ability and...
111
click to vote
PERCOM
2006
ACM
15 years 11 months ago
2006
ACM
The proliferation of cell phones has led to an ever increasing number of inappropriate interruptions. SmartContacts provides a solution to this problem by empowering the caller to...
PERCOM
2005
ACM
15 years 11 months ago
2005
ACM
The biggest challenge for RFID technology is to provide benefits without threatening the privacy of consumers. Many solutions have been suggested but almost as many ways have been...
ICC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—The demand for more bandwidth has lead to proposals for an all-optical network core. Due to inherent constraints of optical technology, only routers with small packet bu...
123
click to vote
ICQNM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— Biological processes, and in particular DNA hybridization, offer the potential to form the basis for the assembly of devices at micro- and nano-scales. Our aim is to im...