253 search results - page 16 / 51 » How to Transform an Analyzer into a Verifier |
91
Voted
ENTCS
2008
15 years 13 days ago
2008
In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules f...
104
Voted
BMCBI
2007
15 years 15 days ago
2007
Background: Clustering methods are widely used on gene expression data to categorize genes with similar expression profiles. Finding an appropriate (dis)similarity measure is crit...
138
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
109
Voted
ESEC
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
92
Voted
TSMC
2010
14 years 7 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...