3516 search results - page 277 / 704 » Integrating Security Modeling into Embedded System Design |
166
Voted
SRDS
2007
IEEE
15 years 10 months ago
2007
IEEE
We are witnessing a revival of Storage Service Providers in the form of new vendors as well as traditional players. While storage outsourcing is cost-effective, many companies are...
127
click to vote
ISSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
161
Voted
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Hash tables are fundamental data structures that optimally answer membership queries. Suppose a client stores n elements in a hash table that is outsourced at a remote server so t...
169
click to vote
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...
135
click to vote
ACSW
2006
15 years 5 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...