911 search results - page 26 / 183 » The Semantics of Event Prevention |
ENTCS
2006
14 years 9 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
CVPR
1998
IEEE
15 years 1 months ago
1998
IEEE
Most of behavior recognition methods proposed so far share the limitations of bottom-up analysis, and singleobject assumption; the bottom-up analysis can be confused by erroneous ...
EHEALTH
2008
14 years 11 months ago
2008
There is a movement in healthcare towards preventative care. This shift involves using technology to assist in care provision outside traditional care institutions -- for instance,...
PPSWR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...