2775 search results - page 194 / 555 » Visualizing abstract events |
163
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Industrial, scientific, and commercial applications use information systems to trace the execution of a business process. Relevant events are registered in massive logs a...
164
click to vote
ISSA
2008
15 years 7 months ago
2008
Digital evidence is not well perceived by the human senses. Crucial pieces of digital evidence may simply be missed by investigators as the forensic significance of seemingly unim...
166
click to vote
PTS
2008
15 years 7 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
174
click to vote
OPODIS
2003
15 years 7 months ago
2003
Abstract. We present and motivate the definition and use of the language and environment dSL, an imperative and event driven language designed to program distributed industrial co...
166
Voted
ACTA
2007
15 years 6 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...