3820 search results - page 304 / 764 » Bounded Model Debugging |
148
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
148
click to vote
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
–In this paper we present an analytical model for delay tolerant message propagation in a dynamic vehicular network. The analysis provides upper and lower bounds for message prop...
117
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
143
click to vote
VRST
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we present an interactive collision detection algorithm for complex and deformable objects. For two target models, our approach rapidly calculates their region of in...
107
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...