746 search results - page 108 / 150 » Formal Analysis of UML-Based Designs |
135
click to vote
AADEBUG
2000
Springer
15 years 6 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...
ISCAS
1999
IEEE
15 years 6 months ago
1999
IEEE
To provide a better understanding of physical design algorithms and the underlying circuit architecture they are targeting, we need to exercise the algorithms and architectures wi...
104
Voted
SPIN
1999
Springer
15 years 6 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
143
Voted
CAV
1997
Springer
15 years 6 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
108
click to vote
CSCW
1996
ACM
15 years 6 months ago
1996
ACM
In order to understand some problems associated with workflow, we set out an analysis of workflow systems, identifying a number of basic issues in the underlying technology. This ...