179 search results - page 19 / 36 » Towards an Integrated Design Approach to Specknets |
DSVIS
2005
Springer
15 years 3 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...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
The understanding of human physical and physiological signals and expressions, together with a growing processing and control capacity allows for new approaches in interactive sys...
DAGSTUHL
2006
14 years 11 months ago
2006
Abstract. AMFIBIA is a meta-model that formalizes the essential aspects and concepts of business process modelling. Though AMFIBIA is not the first approach to formalizing the aspe...
104
click to vote
ASWSD
2004
Springer
15 years 3 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
WSC
2000
14 years 11 months ago
2000
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...