3516 search results - page 572 / 704 » Integrating Security Modeling into Embedded System Design |
141
Voted
HPDC
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper explores the feasibility of a cost-efficient storage architecture that offers the reliability and access performance characteristics of a high-end system. This architec...
158
Voted
ICCD
2008
IEEE
16 years 27 days ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
135
click to vote
FCSC
2010
15 years 2 months ago
2010
Currently, with the evolution of virtualization technology, cloud computing mode has become more and more popular. However, people still concern the issues of the runtime integrity...
148
click to vote
TCS
2008
15 years 3 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
146
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: The large gap between the number of protein sequences in databases and the number of functionally characterized proteins calls for the development of a fast computatio...