3991 search results - page 343 / 799 » Bounding homogeneous models |
152
click to vote
CSFW
2005
IEEE
16 years 15 days 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 ...
195
click to vote
VRST
2004
ACM
16 years 9 days 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...
142
click to vote
DSN
2002
IEEE
15 years 12 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 ...
214
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
180
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper; we describe optimal algorithmsfor incorporating error recovery in the imprecise computation model. In that model eack task compriser a mandatory and an optional par...