Sciweavers

3629 search results - page 243 / 726
» A More Efficient Use of Delta-CRLs
Sort
View
EUROCRYPT
1998
Springer
15 years 11 months ago
Strengthened Security for Blind Signatures
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...
David Pointcheval
ICSE
1998
IEEE-ACM
15 years 11 months ago
Reuse-Driven Interprocedural Slicing
Program slicing, a technique to compute the subset of program statements that can affect the value of a program variable at a specific program point, is widely used in tools to su...
Mary Jean Harrold, Ning Ci
DISCO
1992
79views Hardware» more  DISCO 1992»
15 years 10 months ago
REDUCE Meets CAMAL
It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has be...
John Fitch
AMAST
2006
Springer
15 years 10 months ago
The Substitution Vanishes
Abstract. Accumulation techniques were invented to transform functional programs, which intensively use append functions (like inefficient list reversal), into more efficient progr...
Armin Kühnemann, Andreas Maletti
ICC
2007
IEEE
171views Communications» more  ICC 2007»
16 years 29 days ago
Progressive Route Calculation Protocol for Wireless Mesh Networks
—Although network-wide flooding in reactive routing protocols like AODV [1] facilitates the discovery of optimal routes, they engender large control overhead. Some efficient floo...
Xuhui Hu, Myung J. Lee, Tarek N. Saadawi