2039 search results - page 142 / 408 » A Metric for the Evaluation of Imitation |
131
click to vote
ASPDAC
2006
ACM
16 years 14 days ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
170
click to vote
ICMCS
2005
IEEE
16 years 2 days ago
2005
IEEE
With the increasing deployment of multimedia real-time Internet applications, evaluating transport protocol metrics of Quality of Service (QoS) has gained rapidly increasing impor...
165
click to vote
SEW
2005
IEEE
16 years 1 days ago
2005
IEEE
The structural stability of an object-oriented design (OOD) refers to the extent to which the structure of the design is preserved throughout the evolution of the software from on...
164
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
168
click to vote
ICCSA
2003
Springer
15 years 11 months ago
2003
Springer
It is necessary to have the precise definition of available performance of high availability systems that can represent the availability and performability of the systems altogethe...