13383 search results - page 257 / 2677 » Abstractions from proofs |
159
click to vote
LSO
2004
Springer
16 years 19 hour ago
2004
Springer
When developing large software products many verbal and written interactions take place. In such interactions the use of abstract and uncertain expressions is considered advantageo...
154
click to vote
ISVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
System-level design techniques promise a way to lessen the productivity gap between fabrication and design. Unfortunately, these techniques have been slow to catch on, in part bec...
157
click to vote
DEXA
2003
Springer
15 years 12 months ago
2003
Springer
Knowledge engineering has developed fine tools for maintaining the integrity of knowledge bases. These tools may be applied to the maintenance of conventional programs particularly...
149
click to vote
WCRE
2000
IEEE
15 years 10 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
104
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Inertial energy scavengers are self-contained devices which generate power from ambient motion, by electrically damping the internal motion of a suspended proof mass. There are si...