334 search results - page 43 / 67 » A parametric analysis of the state-explosion problem in mode... |
117
Voted
TOOLS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
115
click to vote
EDCC
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
98
Voted
CSL
2009
Springer
15 years 7 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
138
Voted
TIP
2002
15 years 13 days ago
2002
An unsupervised classification algorithm is derived by modeling observed data as a mixture of several mutually exclusive classes that are each described by linear combinations of i...
120
Voted
IJCV
2010
14 years 11 months ago
2010
We develop a computational model of shape that extends existing Riemannian models of shape of curves to multidimensional objects of general topological type. We construct shape sp...