1222 search results - page 158 / 245 » Verifying a File System Implementation |
131
click to vote
RTCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
— A feature detection system has been developed for real-time identification of lines, circles and people legs from laser range data. A new method suitable for arc/circle detect...
109
Voted
TRUST
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Recent research demonstrates that adversaries can inject malicious code into a peripheral’s firmware during a firmware update, which can result in password leakage or...
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
108
Voted
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...