1445 search results - page 125 / 289 » Uniformly Hard Languages |
147
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Aliasing is endemic in object oriented programming. Because an object can be modified via any alias, object oriented programs are hard to understand, maintain, and analyse. Flexibl...
119
click to vote
SIGADA
1998
Springer
15 years 8 months ago
1998
Springer
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...
130
click to vote
EUROCRYPT
2006
Springer
15 years 7 months ago
2006
Springer
Non-interactive zero-knowledge (NIZK) proof systems are fundamental cryptographic primitives used in many constructions, including CCA2-secure cryptosystems, digital signatures, an...
137
Voted
PPDP
2000
Springer
15 years 7 months ago
2000
Springer
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...
110
Voted
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
It is very hard to fix a software failure without being able to reproduce it. However, reproducing a failure is often difficult and time-consuming. This paper proposes a novel tech...