2067 search results - page 176 / 414 » Modeling and Simulation of Operating System Behavior |
121
Voted
CN
2008
15 years 2 months ago
2008
During the last decade, the study of large scale complex networks has attracted a substantial amount of attention and works from several domains: sociology, biology, computer scie...
133
Voted
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
129
click to vote
WSC
2008
15 years 4 months ago
2008
This paper studies the problem of real time yard crane dispatching in container terminals. Many technologies, including transponders, RFID and GPS have been used in the container ...
107
Voted
CCGRID
2004
IEEE
15 years 6 months ago
2004
IEEE
We investigate the circumstances under which it is possible to discourage free-riding in a peer-to-peer system for resource-sharing by prioritizing resource allocation to peers wi...
124
Voted
CIBCB
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...