248 search results - page 15 / 50 » Test exploration and validation using transaction level mode... |
ICST
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
ENVSOFT
2007
13 years 8 months ago
2007
The Plant Protection Product Directive (91/414/EEC) stresses the need of validated models to calculate predicted environmental concentrations. The use of models has become an unav...
MTV
2006
IEEE
14 years 2 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
This paper explores correspondence and mixture topic modeling of documents tagged from two different perspectives. There has been ongoing work in topic modeling of documents with...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Recently, the focus of IT outsourcing has been shifting from the “what” and “why” issues to “how” companies manage outsourcing process, during which the relationship m...