1554 search results - page 76 / 311 » Testing Polymorphic Behavior |
ENTCS
2007
15 years 18 days ago
2007
Markovian testing and trace equivalences have been recently proposed as reasonable alternatives to Markovian bisimilarity, as both of them induce at the Markov chain level an aggr...
91
Voted
RSP
2005
IEEE
15 years 6 months ago
2005
IEEE
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
109
Voted
RTAS
1997
IEEE
15 years 4 months ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
PRIS
2004
15 years 2 months ago
2004
Several authors have theoretically determined distribution-free bounds on sample complexity. Formulas based on several learning paradigms have been presented. However, little is kn...
43
Voted
CORR
2007
Springer
15 years 18 days ago
2007
Springer
This paper reports on the systematic electromechanical characterization of a new three-axial force sensor used in dimensional metrology of micro components. The silicon based sens...