2468 search results - page 239 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
135
click to vote
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
127
click to vote
MASCOTS
2008
15 years 5 months ago
2008
Obtaining representative and concise I/O workloads for the purpose of projecting the performance of storage systems remains a challenge due to the complex nature of I/O behaviors....
147
click to vote
ICDCSW
2008
IEEE
15 years 10 months ago
2008
IEEE
Reputation mechanisms are a key technique to trust assessment in large-scale decentralized systems. The effectiveness of reputation-based trust management fundamentally relies on ...
112
click to vote
SIGMETRICS
2002
ACM
15 years 3 months ago
2002
ACM
It is well known that optimal server placement is NP-hard. We present an approximate model for the case when both clients and servers are dense, and propose a simple server alloca...
147
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...