2468 search results - page 167 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
130
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
The automatic allocation of enterprise workload to resources can be enhanced by being able to make `whatif' response time predictions, whilst different allocations are being c...
171
click to vote
SPAA
1994
ACM
15 years 7 months ago
1994
ACM
We analyze the performance of greedy routing for array networks by providing bounds on the average delay and the average number of packets in the system for the dynamic routing pr...
154
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Predictable allocations of security resources such as police officers, canine units, or checkpoints are vulnerable to exploitation by attackers. Recent work has applied game-theo...
123
Voted
PE
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we study the problem of dynamic allocation of the resources of a general parallel processing system, comprised of M heterogeneous processors and M heterogeneous tra...
167
click to vote
WIFT
1998
IEEE
15 years 8 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...