955 search results - page 161 / 191 » Model Checking Operator Procedures |
78
Voted
EUROSYS
2006
ACM
15 years 9 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
135
click to vote
DT
2006
15 years 19 days ago
2006
The widely used engineering decisions concerning the performance of technological equipment for process industries are usually deterministic. Since the early 1990s probabilistic m...
115
Voted
WSC
2000
15 years 2 months ago
2000
We present a technique for analyzing a simulation metamodel that has been constructed using a variancestabilizing transformation. To compute a valid confidence interval for the ex...
NDSS
2007
IEEE
15 years 7 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
118
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...