6308 search results - page 242 / 1262 » Modeling Urgency in Timed Systems |
133
click to vote
WSC
2007
15 years 7 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...
157
click to vote
CDES
2006
15 years 6 months ago
2006
As the speed gap between CPU and I/O is getting wider and wider, I/O latency plays a more important role to the overall system performance than it used to be. Prefetching consecut...
150
click to vote
VALUETOOLS
2006
ACM
15 years 10 months ago
2006
ACM
Run-time management of modern Web-based services requires the integration of several algorithms and mechanisms for job dispatching, load sharing, admission control, overload detec...
140
click to vote
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—We provide a formal model for the Change Management process for Enterprise IT systems, and develop change scheduling algorithms that seek to attain the “change capacit...
125
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...