1804 search results - page 62 / 361 » On set systems with a threshold property |
208
click to vote
TASE
2011
IEEE
15 years 1 months ago
2011
IEEE
: This paper addresses the dynamic pricing problem of a single-item, make-to-stock production system. Demand arrives according to Poisson processes with changeable arrival rate dep...
175
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper deals with the existence and synthesis of parameterized-(control) Lyapunov functions (p-(C)LFs) for discrete-time nonlinear systems that are possibly subject to constrai...
184
click to vote
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
176
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
176
click to vote
ICWS
2010
IEEE
15 years 4 months ago
2010
IEEE
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...