9842 search results - page 1456 / 1969 » Compositional timing analysis |
189
click to vote
OOPSLA
2004
Springer
16 years 12 days ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
198
click to vote
OOPSLA
2004
Springer
16 years 12 days ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
188
click to vote
PET
2004
Springer
16 years 12 days 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...
184
click to vote
TACAS
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
229
Voted
ECCV
2010
Springer
16 years 12 days 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...