677 search results - page 101 / 136 » Rigorous Object-Oriented Analysis |
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
Multi-projector super-resolution is the dual of multi-camera superresolution. The goal of projector super-resolution is to produce a high resolution frame via superimposition of m...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
Rapid approximation of the transient response of high-speed global interconnects is needed to estimate the time delay, crosstalk, and overshoot in a GSI multilevel wiring network....
POPL
2009
ACM
14 years 9 months ago
2009
ACM
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We study the problem of authenticating the content and creation time of documents generated by an organization and retained in archival storage. Recent regulations (e.g.,...
PKC
2009
Springer
14 years 9 months ago
2009
Springer
A key exchange protocol allows a set of parties to agree upon a secret session key over a public network. Two-party key exchange (2PKE) protocols have been rigorously analyzed unde...