2468 search results - page 243 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
155
click to vote
TSP
2010
14 years 11 months ago
2010
Spectrum sharing employs dynamic allocation of frequency resources for a more efficient use of the radio spectrum. Despite its appealing features, this technology inevitably compli...
129
click to vote
IANDC
2010
15 years 2 months ago
2010
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit deï...
150
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Real-time systems usually operate in an environment that changes continuously. These changes cause the performance of the system to vary during run time. An allocation of resource...
141
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Although queueing models have long been used to model the performance of computer systems, they are out of favor with practitioners, because they have a reputation for requiring u...
132
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...