2008 search results - page 97 / 402 » MUC-4 evaluation metrics |
ICST
2009
IEEE
14 years 5 months ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
ISI
2007
Springer
14 years 5 months ago
2007
Springer
— In this paper we define a new metric for quantifying the degree of anonymity collectively afforded to users of an anonymous communication system. We show how our metric, based...
ASPDAC
2006
ACM
14 years 5 months 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...
ICMCS
2005
IEEE
14 years 4 months 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...
SEW
2005
IEEE
14 years 4 months 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...