1393 search results - page 171 / 279 » From Models to Interactive Systems Tool Support and XIML |
177
click to vote
FORTE
2004
15 years 7 months ago
2004
Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...
179
click to vote
CDVE
2007
Springer
16 years 17 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
186
click to vote
WSC
1997
15 years 7 months ago
1997
The AutoModTM simulation system differs significantly from other systems because of its ability to deal with the physical elements of a system in physical (graphical) terms and th...
153
click to vote
WOB
2004
15 years 7 months ago
2004
ABSTRACT. We present the MOlecular NETwork (MONET) ontology as a model to integrate data from different networks that govern cell function. To achieve this, different existing onto...
170
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...