556 search results - page 27 / 112 » Checking Interval Properties of Computations |
153
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
106
click to vote
CASSIS
2004
Springer
15 years 7 months ago
2004
Springer
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...
106
click to vote
DAC
2010
ACM
15 years 5 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
144
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
115
click to vote
ISBI
2006
IEEE
15 years 8 months ago
2006
IEEE
Automated detection of stable fracture points in a sequence of Computed Tomography (CT) images is found to be a challenging task. In this paper, an innovative scheme for automatic...