10870 search results - page 206 / 2174 » Model Checking Programs |
112
Voted
SAFECOMP
2007
Springer
15 years 8 months ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...
119
click to vote
CSL
2004
Springer
15 years 7 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
115
click to vote
ISLPED
2010
ACM
15 years 2 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
149
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
125
click to vote
IS
2011
14 years 9 months ago
2011
We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors...