8874 search results - page 1675 / 1775 » A New Implementation of Automath |
182
Voted
DEM
2001
Springer
15 years 8 months ago
2001
Springer
A common concern of the real−time terrain visualisation of today is the lack of geometric detail, when the terrain model is studied close enough. This is primary not a problem of...
150
Voted
DFG
2001
Springer
15 years 8 months ago
2001
Springer
: Using stereo-3D hardware in its different solutions is not new, but most available applications use these Hardware only for a better visualization of 3d-reconstructions. It is an...
133
click to vote
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
121
Voted
EUROPAR
2001
Springer
15 years 8 months ago
2001
Springer
This paper is on the construction of a server subsystem in a client/server system in an application context where the number of potential clients can be arbitrarily large. The imp...
113
Voted
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...