5639 search results - page 540 / 1128 » Timed Abstract Non-interference |
164
Voted
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
Abstract— This paper presents a power grid analyzer that combines a divide-and-conquer strategy with a random-walk engine. A single-level hierarchical method is first described ...
153
click to vote
ADAEUROPE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
193
click to vote
AES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. When cryptosystems are being used in real life, hardware and software implementations themselves present a fruitful field for attacks. Side channel attacks exploit infor...
153
click to vote
AI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...
144
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...