746 search results - page 50 / 150 » Formal Analysis of UML-Based Designs |
126
Voted
DSVIS
1997
Springer
15 years 6 months ago
1997
Springer
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
99
Voted
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...
89
Voted
FMOODS
2007
15 years 3 months ago
2007
Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models. DMM has been designed with the aim of getting highly...
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
131
click to vote
MEMOCODE
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...