8655 search results - page 998 / 1731 » Challenges for Trusted Computing |
236
click to vote
SCN
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Lattice reduction is known to be a very powerful tool in modern cryptanalysis. In the literature, there are many lattice reduction algorithms that have been proposed with...
258
click to vote
ICPADS
2010
IEEE
15 years 5 months ago
2010
IEEE
To fully tap into the potential of heterogeneous machines composed of multicore processors and multiple accelerators, simple offloading approaches in which the main trunk of the ap...
192
click to vote
UIST
2010
ACM
15 years 5 months ago
2010
ACM
Computer users with motor impairments face major challenges with conventional mouse pointing. These challenges are mostly due to fine pointing corrections at the final stages of t...
266
click to vote
DLT
2009
15 years 5 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
214
click to vote
GI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract: Modern telecommunications companies currently undergo remarkable structural changes to be successful in the Next-Generation markets for communications and content product...