781 search results - page 72 / 157 » Automatic Formal Model Generation and Analysis of SDL |
WOSP
2005
ACM
14 years 1 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
BMCBI
2005
13 years 7 months ago
2005
Background: Although DNA microarray technologies are very powerful for the simultaneous quantitative characterization of thousands of genes, the quality of the obtained experiment...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...
HASE
2007
IEEE
14 years 2 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
HT
1999
ACM
14 years 1 days ago
1999
ACM
This paper presents the analysis and modelling of the literature of hypertext based on the ACM Hypertext conference series. This work explores a new paradigm of organising and acc...