4000 search results - page 547 / 800 » Simulation down under |
237
click to vote
CAV
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
194
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
In the past, Markov Decision Processes (MDPs) have become a standard for solving problems of sequential decision under uncertainty. The usual request in this framework is the compu...
176
Voted
EMISA
2004
Springer
16 years 2 days ago
2004
Springer
Abstract: Success of IT security not only depends on the evolution of technologies, but also relies on the knowledge of IT-Personnel and the level of their IT-security education. I...
163
click to vote
GG
2004
Springer
16 years 2 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
182
click to vote
HSNMC
2004
Springer
16 years 2 days ago
2004
Springer
We propose using least attained service (LAS) scheduling in network routers to prevent some connections against utilizing all or a large fraction of network bandwidth. This phenome...