3073 search results - page 41 / 615 » Real World Verification |
COSPS
2001
Springer
14 years 4 days ago
2001
Springer
Programming massively-parallel machine is a daunting task for any human programmer and parallelization may even be impossible for any compiler. Instead, the functional programming ...
IH
2001
Springer
14 years 2 days ago
2001
Springer
Abstract. We present attacks on the anonymity and pseudonymity provided by a “lonely hearts” dating service and by the HushMail encrypted email system. We move on to discuss so...
PG
2000
IEEE
14 years 15 hour ago
2000
IEEE
In this paper a system is presented which automatically registers and stitches textures acquired from multiple photographic images onto the surface of a given corresponding 3D mod...
WMCSA
2000
IEEE
14 years 10 hour ago
2000
IEEE
BIRTHDAY
2000
Springer
13 years 12 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...