2647 search results - page 227 / 530 » Solving Term Inequalities |
169
click to vote
ASIACRYPT
2000
Springer
15 years 11 months ago
2000
Springer
A potentially serious problem with current digital signature schemes is that their underlying hard problems from number theory may be solved by an innovative technique or a new gen...
168
click to vote
WACC
1999
ACM
15 years 11 months ago
1999
ACM
a useful abstract representation is fundamental to solving many difficult problems in software engineering. In order to better understand how representations are actually used in ...
135
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...
139
click to vote
TOOLS
1994
IEEE
15 years 10 months ago
1994
IEEE
The term software engineering arose in the 1960s to emphasize that the production of software should not be an art, as it was then (and sometimes still is today), but an engineeri...
161
click to vote
PEPM
1994
ACM
15 years 10 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...