222 search results - page 19 / 45 » How to Forget a Secret |
108
click to vote
CONCUR
1992
Springer
15 years 2 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
ACMDIS
2010
ACM
14 years 10 months ago
2010
ACM
This paper describes a new tool for use in the process of brainstorming workshops on HCI called "Open-ended objects". Open-ended objects are open-ended interactive exper...
ENTCS
2006
14 years 10 months ago
2006
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...
164
click to vote
Book
"Have you ever played a side-scrolling action arcade game on your PC and wondered what it takes to program one? How do the programmers scroll their backgrounds so fast and mak...
RIVF
2007
14 years 11 months ago
2007
— This paper investigates the problem of secret key transmissions for an arbitrary Alice-Bob pair in Quantum Key Distribution (QKD)-based networks. We develop a realistic QKDbase...