1554 search results - page 53 / 311 » cases 2003 |
65
Voted
DAC
2003
ACM
15 years 2 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
102
Voted
NIPS
2003
14 years 11 months ago
2003
We present a novel method for approximate inference in Bayesian models and regularized risk functionals. It is based on the propagation of mean and variance derived from the Lapla...
SIGSOFT
2003
ACM
15 years 2 months ago
2003
ACM
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Through the use of a recently developed taxonomy of information systems implementation, a new research method is developed. The Information Systems Implementation Research Method ...
FMOODS
2003
14 years 11 months ago
2003
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several ca...