2661 search results - page 297 / 533 » Model Checking Performability Properties |
132
Voted
MODELS
2009
Springer
15 years 5 months ago
2009
Springer
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
105
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
106
Voted
CDC
2008
IEEE
15 years 2 months ago
2008
IEEE
The objective of this contribution is to analyze statistical properties of estimated models of cascade systems. Models of such systems are important in for example cascade control ...
99
Voted
ICFEM
2009
Springer
15 years 5 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
112
Voted
DSRT
2004
IEEE
15 years 4 months ago
2004
IEEE
Distributed simulation cloning technology is designed to analyze alternative scenarios of a distributed simulation concurrently within the same execution session. The goal is to o...