387 search results - page 57 / 78 » The choice uncertainty principle |
CHI
2006
ACM
14 years 8 months ago
2006
ACM
The internet presents people with an increasingly bewildering variety of choices. Online consumers have to rely on computerized search tools to find the most preferred option in a...
VLSID
2007
IEEE
14 years 8 months ago
2007
IEEE
Recent advances in microfluidics technology have led to the emergence of miniaturized biochip devices for biochemical analysis. A promising category of microfluidic biochips relie...
CADE
2005
Springer
14 years 8 months ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...
OSDI
2002
ACM
14 years 8 months ago
2002
ACM
This paper describes the Denali isolation kernel, an operating system architecture that safely multiplexes a large number of untrusted Internet services on shared hardware. Denali...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...