2042 search results - page 81 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
ENTCS
2008
13 years 7 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
SDM
2009
SIAM
14 years 4 months ago
2009
SIAM
As the amount of textual information grows explosively in various kinds of business systems, it becomes more and more desirable to analyze both structured data records and unstruc...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
—This paper introduces a new algorithm for probabilistic motion planning in arbitrary, uncertain vector fields, with emphasis on high-level planning for Montgolfier´e balloons...
PE
2008
Springer
13 years 7 months ago
2008
Springer
In this paper we present a new approach to derive heavy-traffic asymptotics for polling models. We consider the classical cyclic polling model with exhaustive or gated service at ...