3516 search results - page 530 / 704 » Integrating Security Modeling into Embedded System Design |
169
click to vote
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
142
click to vote
SP
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
151
click to vote
ICCBSS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The integration of COTS components into a system under development entails architectural mismatches. These have been tackled, so far, at the component level, through comp...
147
click to vote
STTT
2010
15 years 2 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
128
click to vote
WETICE
2007
IEEE
15 years 10 months ago
2007
IEEE
The design and promotion of electronic patient summaries as an instrument to facilitate the pervasive delivery of healthcare is emerging as a key technology in eHealth solutions. ...