2632 search results - page 488 / 527 » Alternating Timed Automata |
124
click to vote
ICS
2004
Tsinghua U.
15 years 5 months ago
2004
Tsinghua U.
Studying program behavior is a central component in architectural designs. In this paper, we study and exploit one aspect of program behavior, the behavior repetition, to expedite...
108
click to vote
PET
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we address issues related to flow correlation attacks and the corresponding countermeasures in mix networks. Mixes have been used in many anonymous communication s...
SELMAS
2004
Springer
15 years 5 months ago
2004
Springer
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...
125
click to vote
SPW
2004
Springer
15 years 5 months ago
2004
Springer
How can we design a PDA that is at the same time secure and usable? In current implementations the two properties are mutually exclusive. Because normal users find password entry ...
116
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
We present an analysis of the spatial covariance structure of an articulated motion prior in which joint angles have a known covariance structure. From this, a well-known, but ofte...