3 search results - page 1 / 1 » Taming Numbers and Durations in the Model Checking Integrate... |
CORR
2011
Springer
12 years 8 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
DSVIS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
CAISE
2000
Springer
13 years 9 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...