1628 search results - page 163 / 326 » Compiler Construction Using Scheme |
143
click to vote
POPL
1995
ACM
15 years 8 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
158
click to vote
NDSS
2003
IEEE
15 years 10 months ago
2003
IEEE
We study proactive two-party signature schemes in the context of user authentication. A proactive two-party signature scheme (P2SS) allows two parties—the client and the serverâ...
153
click to vote
PLDI
1995
ACM
15 years 8 months ago
1995
ACM
The control dependence relation is used extensively in restructuring compilers. This relation is usually represented using the control dependence graph; unfortunately, the size of...
144
click to vote
EUROCRYPT
2007
Springer
15 years 9 months ago
2007
Springer
Essentially all work studying the round complexity of secure computation assumes broadcast as an atomic primitive. Protocols constructed under this assumption tend to have very poo...
166
click to vote
LCTRTS
2007
Springer
15 years 11 months ago
2007
Springer
Embedded systems serve an emerging and diverse set of applications. As a result, more computational and storage capabilities are added to accommodate ever more demanding applicati...