617 search results - page 66 / 124 » Using Formal Methods in a Retrospective Safety Case |
IV
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes a technology for modelling and rendering heterogeneous objects containing entities of various dimensionalities within a cellular-functional framework based on...
COOPIS
2004
IEEE
13 years 11 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
UAI
2004
13 years 9 months ago
2004
Humans currently use arguments for explaining choices which are already made, or for evaluating potential choices. Each potential choice has usually pros and cons of various stren...
FORMATS
2003
Springer
14 years 27 days ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
FSTTCS
2008
Springer
13 years 8 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...