752 search results - page 134 / 151 » A Markov Chain Model Checker |
AIRWEB
2007
Springer
14 years 2 months ago
2007
Springer
Nowadays web spamming has emerged to take the economic advantage of high search rankings and threatened the accuracy and fairness of those rankings. Understanding spamming techniq...
GCC
2007
Springer
14 years 2 months ago
2007
Springer
Data service is the principle application in structured P2P networks. And in many cases, we need the data to persist for a long time. So how to persist the data service and how lo...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
— Uniform sampling in networks is at the core of a wide variety of randomized algorithms. Random sampling can be performed by modeling the system as an undirected graph with asso...
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE
A framework to assess transient performance measures is introduced by generalizing the theory of the quasi Birthand-Death (QBD) paradigm to QBDs with marked time epochs (QBDm ). T...
ESORICS
2004
Springer
14 years 2 months ago
2004
Springer
This paper considers iterated ciphers and their resistance against linear and differential cryptanalysis. In the theory of these attacks one assumes independence of the round keys...