2623 search results - page 270 / 525 » tools 2010 |
141
click to vote
PROVSEC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper, we study the soundness amplification by repetition of cryptographic protocols. As a tool, we use the Chernoff Information. We specify the number of attempt...
162
click to vote
QEST
2010
IEEE
15 years 3 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
155
click to vote
RV
2010
Springer
15 years 3 months ago
2010
Springer
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...
142
click to vote
SBP
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we propose a novel approach to automatically detect "hot" or important topics of discussion in the blogosphere. The proposed approach is based on analyzing...
149
click to vote
SEMWEB
2010
Springer
15 years 3 months ago
2010
Springer
The Social Semantic Web has begun to provide connections between users within social networks and the content they produce across the whole of the Social Web. Thus, the Social Sema...