7623 search results - page 208 / 1525 » Constructive Volume Modeling |
225
Voted
CMSB
2011
Springer
14 years 3 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
132
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
107
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Merging and integrating different conceptual models which have been developed by domain experts and analysts with dissimilar perspectives on the same issue has been the subject of...
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...
135
Voted
FM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...