418 search results - page 18 / 84 » Deriving Systems Level Security Properties of Component Base... |
151
Voted
AAAI
1997
15 years 5 months ago
1997
Our goal is to build knowledge-based systems capable of answering a wide variety of questions, including questions that are unanticipated when the knowledge base is built. For sys...
147
Voted
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
143
Voted
GI
2004
Springer
15 years 9 months ago
2004
Springer
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...
142
Voted
EUROCRYPT
2010
Springer
15 years 8 months ago
2010
Springer
We develop an abstract framework that encompasses the key properties of bilinear groups of composite order that are required to construct secure pairing-based cryptosystems, and we...
218
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...