524 search results - page 78 / 105 » Application of Graph Transformation in Verification of Dynam... |
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
In this paper, we present a system for the temporal segmentation, summarization, and browsing of the Echocardiogram videos. Echocardiogram videos are video sequences produced by t...
DASC
2006
IEEE
14 years 9 days ago
2006
IEEE
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...
CPHYSICS
2006
13 years 8 months ago
2006
The WATERWAVES program suite performs complex scattering calculations by propagating a wave packet in a complex, full-dimensional potential for non-rotating (J = 0) but vibrating ...
DAGSTUHL
2004
13 years 10 months ago
2004
Complexity is the core problem of contemporary information technology, as the "artificial complicatedness" of its artefacts is exploding. Intellectually easy and economic...