2661 search results - page 174 / 533 » Model Checking Performability Properties |
134
click to vote
IMC
2003
ACM
15 years 11 months ago
2003
ACM
In network performance tomography, characteristics of the network interior are inferred by correlating end-to-end measurements. In much previous work, the presence of correlations...
174
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
In the absence of real data for extensive testing of newly designed large-scale biometrics recognition systems a number of solutions are possible including use of resampling metho...
204
click to vote
EMSOFT
2007
Springer
16 years 19 days ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
148
click to vote
TC
2010
15 years 1 months ago
2010
A distinct characteristic of multistate systems (MSS) is that the systems and/or their components may exhibit multiple performance levels (or states) varying from perfect operation...
204
click to vote
APN
2007
Springer
16 years 20 days ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...