2661 search results - page 13 / 533 » Model Checking Performability Properties |
TACAS
1998
Springer
13 years 11 months ago
1998
Springer
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
TOIS
1998
13 years 7 months ago
1998
ECTEL
2007
Springer
13 years 11 months ago
2007
Springer
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...
CORR
2010
Springer
13 years 7 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...