401 search results - page 58 / 81 » Symmetric Subresultants and Applications |
B
2007
Springer
14 years 2 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
Distance bounding protocols have been proposed as means of detecting relay attacks, also known as mafia fraud. In this paper we present the first symmetric key based distance bou...
EUC
2007
Springer
14 years 2 months ago
2007
Springer
Existing access control systems are typically unilateral in that the enterprise service provider assigns the access rights and makes the access control decisions, and there is no n...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper describes a virtual networking approach for Grids called ViNe. It enables symmetric connectivity among Grid resources and allows existing applications to run unmodified...
VISUALIZATION
2005
IEEE
14 years 2 months ago
2005
IEEE
Diffusion tensor imaging is a magnetic resonance imaging method which has gained increasing importance in neuroscience and especially in neurosurgery. It acquires diffusion proper...