3564 search results - page 22 / 713 » Evaluating a Formal Modelling Language |
SP
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
FDL
2006
IEEE
14 years 1 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
NLE
2010
13 years 5 months ago
2010
Pyramid annotation makes it possible to evaluate quantitatively and qualitatively the content of machine-generated (or human) summaries. Evaluation methods must prove themselves a...
ASPLOS
1996
ACM
13 years 11 months ago
1996
ACM
DSVIS
1998
Springer
13 years 11 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...