829 search results - page 151 / 166 » A time aggregation approach to Markov decision processes |
110
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
105
click to vote
EDCC
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
104
click to vote
TSP
2008
14 years 11 months ago
2008
Estimation and tracking of generally nonstationary Markov processes is of paramount importance for applications such as localization and navigation. In this context, ad hoc wireles...
107
click to vote
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...