3082 search results - page 76 / 617 » Deviation Analysis: A New Use of Model Checking |
177
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
161
click to vote
SMA
2008
ACM
15 years 5 months ago
2008
ACM
Robust Statistics considers the quality of statistical decisions in the presence of deviations from the ideal model, where deviations are modelled by neighborhoods of a certain siz...
159
click to vote
MP
2007
15 years 5 months ago
2007
We present a probabilistic analysis of integer linear programs (ILPs). More specifically, we study ILPs in a so-called smoothed analysis in which it is assumed that first an adve...
204
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
118
Voted
WSC
2004
15 years 7 months ago
2004
This paper describes the creation of a new analytical modeling capability by bringing together the Naval Simulation System (NSS) for sea strike and COMBATXXI for littoral and land...