1054 search results - page 185 / 211 » Models for automatic generation of safety-critical real-time... |
111
click to vote
ENTCS
2007
15 years 1 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
82
Voted
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
100
click to vote
ACSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper presents techniques to integrate and reason about complementary intrusion evidence such as alerts generated by intrusion detection systems (IDSs) and reports by system ...
118
click to vote
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
109
click to vote
GRAPHICSINTERFACE
2003
15 years 3 months ago
2003
Though realistic eulerian fluid simulation systems now provide believable movements, straightforward renderable surface representation, and affordable computation costs, they are...