10038 search results - page 1738 / 2008 » Model Checking for Managers |
158
Voted
NETWORKING
2004
15 years 7 months ago
2004
The goal of this paper is to study pricing of differentiated services and its impact on the choice of service priority at equilibrium. We consider both TCP connections as well as n...
167
click to vote
NSDI
2004
15 years 7 months ago
2004
Reducing management costs and improving the availability of large-scale distributed systems require automatic replica regeneration, i.e., creating new replicas in response to repl...
177
Voted
MASCOTS
2003
15 years 7 months ago
2003
Increasingly, mobile computers use dynamic voltage scaling (DVS) to reduce CPU voltage and speed and thereby increase battery life. To determine how to change voltage and speed wh...
168
Voted
AIPS
2010
15 years 6 months ago
2010
We introduce the Scanalyzer planning domain, a domain for classical planning which models the problem of automatic greenhouse logistic management. At its mathematical core, the Sc...
157
Voted
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
We carry out attacks using Internet services that aim to keep telephone devices busy, hindering legitimate callers from gaining access. We use the term DIAL (Digitally Initiated A...