2067 search results - page 368 / 414 » Modeling and Simulation of Operating System Behavior |
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Byzantine consensus in asynchronous message-passing systems has been shown to require at least 3f + 1 processes to be solvable in several system models (e.g., with failure detecto...
PE
2010
Springer
14 years 8 months ago
2010
Springer
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
97
Voted
SUTC
2006
IEEE
15 years 3 months ago
2006
IEEE
Security in wireless ad hoc networks is hard to achieve due to the vulnerability of its links, limited physical protection, and the absence of a centralized management point. Cons...
ICC
2009
IEEE
14 years 7 months ago
2009
IEEE
We consider a centralised (client-server) digital TV network with heterogeneous receiver devices of different resolutions, requiring a multi-rate transport system. There exist two ...