7557 search results - page 674 / 1512 » Modeling Timed Concurrent Systems |
186
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The derivation of specific models from reference models corresponds with the creation of reference model variants. Research on the design of such variant constructions generally a...
180
click to vote
PRDC
2005
IEEE
16 years 24 days ago
2005
IEEE
Supporting high availability by checkpointing and switching to a backup upon failure of a primary has a cost. Trade-off studies help system architects to decide whether higher ava...
268
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
In this paper, we present an approach to multi-view image-based 3D reconstruction by statistically inversing the ray-tracing based image generation process. The proposed algorithm...
207
click to vote
QEST
2005
IEEE
16 years 24 days ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
180
click to vote
DSD
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...