2570 search results - page 183 / 514 » Reliability Modeling Using UML |
79
Voted
DSD
2009
IEEE
14 years 8 months ago
2009
IEEE
Several traditional VHDL fault injection mechanisms like mutants or saboteurs have been adapted to SystemC model descriptions. The main drawback of these approaches is the necessi...
119
click to vote
FORTE
2009
14 years 8 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
ICIP
2007
IEEE
15 years 4 months ago
2007
IEEE
Tracking can be achieved using region active contours based on homogeneity models (intensity, motion...). However the model complexity necessary to achieve a given accuracy might ...
ER
2005
Springer
15 years 3 months ago
2005
Springer
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
SOFSEM
2005
Springer
15 years 3 months ago
2005
Springer
Recently, a range of applications of views increases. Views are not anymore tightly related to classical databases – there are proposals to use them as means of data transformati...