3828 search results - page 492 / 766 » Proof-Based System Engineering Using a Virtual System Model |
242
click to vote
CBSQ
2003
Springer
16 years 8 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
190
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Interaction with mobile devices that are intended for everyday use is challenging since such systems are continuously optimized towards small outlines. Watches are a particularl...
188
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Monitoring applications play an increasingly important role in many domains. They detect events in monitored systems and take actions such as invoke a program or notify an adminis...
194
click to vote
ISSRE
2006
IEEE
16 years 1 months ago
2006
IEEE
The benefits that a software organization obtains from estimates of product quality are dependent upon how early in the product cycle that these estimates are available. Early est...
164
click to vote
DAWAK
2000
Springer
15 years 11 months ago
2000
Springer
Abstract The application of data mining algorithms needs a goal-oriented preprocessing of the data. In practical applications the preprocessing task is very time consuming and has ...