1472 search results - page 201 / 295 » On Model Checking Infinite-State Systems |
113
click to vote
REFSQ
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
112
click to vote
EDOC
2006
IEEE
15 years 7 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
120
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
102
click to vote
CGF
1999
15 years 1 months ago
1999
We describe an approach for interactive collision detection and proximity computations on massive models composed of millions of geometric primitives. We address issues related to...
122
click to vote
CAISE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...