6607 search results - page 1257 / 1322 » Making TeX Work |
COMPSEC
2010
14 years 10 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
109
click to vote
CGF
2008
14 years 10 months ago
2008
Currently 3D animation rendering and video compression are completely independent processes even if rendered frames are streamed on-the-fly within a client-server platform. In suc...
CGF
2008
14 years 10 months ago
2008
Many casually taken "tourist" photographs comprise of architectural objects like houses, buildings, etc. Reconstructing such 3D scenes captured in a single photograph is...
100
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
In many scientific domains, researchers are turning to large-scale behavioral simulations to better understand real-world phenomena. While there has been a great deal of work on s...