3564 search results - page 247 / 713 » Evaluating a Formal Modelling Language |
172
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...
166
click to vote
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
157
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
151
click to vote
TSD
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The prosodic specification of an utterance to be spoken by a Textto-Speech synthesis system can be devised in break indices, pitch accents and boundary tones. In particu...
172
click to vote
AAI
2006
15 years 6 months ago
2006
Extensive experimental evidence is required to study the impact of text categorization approaches on real data and to assess the performance within operational scenarios. In this ...