4341 search results - page 406 / 869 » Quantitative Model checking |
209
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Transaction level models (TLMs) can be constructed at t levels of abstraction, denoted as untimed (UT), cycle-approximate (CX), and cycle accurate (CA) in this paper. The choice o...
220
click to vote
HAPTICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Realistic modeling of the interaction between surgical instruments and human organs has been recognized as a key requirement in the development of high-fidelity surgical simulato...
189
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an efficient and scalable coding scheme for transmitting a stream of 3D models extracted from a video. As in classical model-based video coding, the geometry, ...
212
Voted
WSC
2000
15 years 8 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
183
click to vote
CLEIEJ
2006
15 years 6 months ago
2006
In this paper, we define a set of metrics for the evaluation of conceptual models of business processes. The proposal supposes the adaptation and extension of the FMESP framework ...