2661 search results - page 140 / 533 » Model Checking Performability Properties |
127
Voted
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
106
click to vote
CSDA
2008
15 years 3 months ago
2008
The most often used approaches to obtaining and using residuals in applied work with time series models, are unified and documented with both partially-known and new features. Spe...
151
Voted
GRC
2008
IEEE
15 years 4 months ago
2008
IEEE
Hiding data values in privacy-preserving data mining (PPDM) protects information against unauthorized attacks while maintaining analytical data properties. The most popular models...
115
Voted
DGO
2008
15 years 5 months ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
126
Voted
SENSYS
2010
ACM
15 years 1 months ago
2010
ACM
We present AutoWitness, a system to deter, detect, and track personal property theft, improve historically dismal stolen property recovery rates, and disrupt stolen property distr...