252 search results - page 38 / 51 » SaveCCM: An Analysable Component Model for Real-Time Systems |
FASE
2011
Springer
13 years 4 days ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
ICCS
2007
Springer
14 years 2 months ago
2007
Springer
We present a Dynamic Data Driven Application System (DDDAS) to track 2D shapes across large pose variations by learning non-linear shape manifold as overlapping, piecewise linear s...
ESWA
2006
13 years 8 months ago
2006
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...
ECBS
1996
IEEE
14 years 25 days ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
EUROMICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...