5775 search results - page 295 / 1155 » A Rationale-based Analysis Tool |
154
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
In this survey paper we describethe combination of: discretized integral formulations, sparsication techniques, and krylov-subspace based model-order reduction that has led to rob...
125
Voted
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Regulations are a wide-spread and important part of governmentand business. Theycodify howproducts must be madeand processes should be performed. Suchregulations can be difficult ...
188
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
143
Voted
CATA
2001
15 years 8 months ago
2001
This paper is part of a larger study of remote print defect diagnosis. The goals of the integrated print defect diagnosis system are to reduce diagnosis time, streamline communica...
196
click to vote
FIW
2000
15 years 8 months ago
2000
A methodology for feature design, specification, and validation is presented. The methodology is based on Use Case Maps for the description of features and on LOTOS with its tools ...