4752 search results - page 251 / 951 » From computation models to models of provenance: the RWS app... |
ENTCS
2002
15 years 1 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
115
click to vote
ECCV
2004
Springer
15 years 7 months ago
2004
Springer
3D reconstruction from image data is required in many medical procedures. Recently, the use of fluoroscopy data to generate these 3D models has been explored. Most existing methods...
125
click to vote
CASCON
2006
15 years 3 months ago
2006
This paper describes a technique for automating the size estimation of software projects conducted using Model Driven Development methods. Specifically, an algorithm has been impl...
116
click to vote
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
Markets of computing resources typically consist of a cluster (or a multi-cluster) and jobs that arrive over time and request computing resources in exchange for payment. In this p...
120
click to vote
SIAMSC
2008
15 years 1 months ago
2008
Model order reduction (MOR) is common in simulation, control and optimization of complex dynamical systems arising in modeling of physical processes and in the spatial discretizati...