1222 search results - page 135 / 245 » Verifying a File System Implementation |
130
Voted
ICMCS
2009
IEEE
15 years 14 days ago
2009
IEEE
Large-scale multimedia semantic concept detection requires realtime identification of a set of concepts in streaming video or large image datasets. The potentially high data volum...
124
click to vote
RTSS
2008
IEEE
15 years 9 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
160
Voted
ADAEUROPE
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
134
Voted
SIGSOFT
2003
ACM
15 years 8 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
138
click to vote
NDSS
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...