11603 search results - page 510 / 2321 » Securing Embedded Systems |
181
click to vote
RAID
1999
Springer
15 years 11 months ago
1999
Springer
Putting in more security measures and access controls within an organisation runs contrary to operational e ciency and convenience. Although the balance between security and opera...
235
click to vote
PERCOM
2011
ACM
15 years 2 months ago
2011
ACM
We describe AnonySense, a privacy-aware system for realizing pervasive applications based on collaborative, opportunistic sensing by personal mobile devices. AnonySense allows app...
234
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
178
click to vote
TPHOL
2003
IEEE
16 years 11 days ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
186
click to vote
DELTA
2008
IEEE
16 years 1 months ago
2008
IEEE
In the design of embedded systems, especially batterypowered systems, it is important to reduce energy consumption. Cache are now used not only in general-purpose processors but a...