11436 search results - page 140 / 2288 » Modeling Real Reasoning |
112
click to vote
IFM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
DSRT
2005
IEEE
15 years 8 months ago
2005
IEEE
115
Voted
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
146
click to vote
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
141
click to vote
CORR
2010
Springer
15 years 8 days ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...