1528 search results - page 190 / 306 » Performance Assertion Checking |
119
click to vote
ENTCS
2002
15 years 2 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
132
Voted
PVLDB
2008
15 years 1 months ago
2008
The number of successful attacks on the Internet shows that it is very difficult to guarantee the security of online search engines. A breached server that is not detected in time...
158
Voted
ICFEM
2010
Springer
15 years 28 days ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
129
Voted
IEEECIT
2010
IEEE
15 years 28 days ago
2010
IEEE
—This paper presents VSK, a lightweight adaptable OS authorization architecture suitable for self-protection of pervasive devices. A “virtual” management plane, separate from...
162
click to vote
ICDT
2009
ACM
15 years 5 days ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...