3742 search results - page 20 / 749 » On the Use of Formal Techniques for Validation |
UML
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
FLAIRS
1998
15 years 1 months ago
1998
Providing assurances of performance is an important aspect of successful development and commercialization of expert systems. However, this can only be done if the quality of the ...
FM
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
107
click to vote
MCS
2010
Springer
15 years 6 months ago
2010
Springer
One of the challenges in unsupervised machine learning is finding the number of clusters in a dataset. Clustering Validity Indices (CVI) are popular tools used to address this pro...
FIW
1998
15 years 1 months ago
1998
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...