Sciweavers

2005 search results - page 16 / 401
» Decisive Markov Chains
Sort
View
WSC
1998
15 years 2 months ago
Stopping Criterion for a Simulation-Based Optimization Method
We consider a new simulation-based optimization method called the Nested Partitions (NP) method. This method generates a Markov chain and solving the optimization problem is equiv...
Sigurdur Ólafsson, Leyuan Shi
ATVA
2006
Springer
82views Hardware» more  ATVA 2006»
15 years 5 months ago
Eager Markov Chains
We consider infinite-state discrete Markov chains which are eager: the probability of avoiding a defined set of final states for more than
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Ma...
MKWI
2008
112views Business» more  MKWI 2008»
15 years 2 months ago
A Framework for Querying in Business Process Modelling
: In order to respond quickly to changing market requirements, a business organisation needs to increase the level of agility in all phases of the business process engineering chai...
Ivan Markovic, Alessandro Costa Pereira, Nenad Sto...
VALUETOOLS
2006
ACM
164views Hardware» more  VALUETOOLS 2006»
15 years 7 months ago
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
Kai Lampka, Markus Siegle
CAV
2009
Springer
135views Hardware» more  CAV 2009»
16 years 1 months ago
Sliding Window Abstraction for Infinite Markov Chains
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
Thomas A. Henzinger, Maria Mateescu, Verena Wolf