13553 search results - page 98 / 2711 » A Generalized Multi-View Approach |
121
click to vote
TCC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
EH
2002
IEEE
15 years 8 months ago
2002
IEEE
Most real-world controllers are composed of proportional, integrative, and derivative signal processing blocks. The so-called PID controller was invented and patented by Callender...
118
click to vote
DAC
1996
ACM
15 years 7 months ago
1996
ACM
A novel methodology for circuit design and automatic layout generation is proposed for a class of mixed-signal circuits in presence of layout parasitics and substrate induced nois...
119
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
106
click to vote
DAC
1995
ACM
15 years 6 months ago
1995
ACM
Abstract—We present a new approach to event-driven simulation that does not use a centralized run-time event queue, yet is capable of handling arbitrary models, including those w...