746 search results - page 62 / 150 » Formal Analysis of UML-Based Designs |
147
click to vote
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
127
click to vote
DBPL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...
122
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
111
click to vote
DAWAK
2008
Springer
15 years 5 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
134
click to vote
FUIN
2007
15 years 4 months ago
2007
Abstract. Approximate Petri nets (AP-nets) can be used for the knowledge representation and approximate reasoning. The AP-net model is defined on the basis of the rough set approa...