4074 search results - page 157 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
185
click to vote
SIMVIS
2003
15 years 7 months ago
2003
The paradigm of the proxel ("probability element") was recently introduced in order to provide a new algorithmic approach to analysing discrete-state stochastic models s...
199
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
176
click to vote
CCGRID
2005
IEEE
16 years 1 days ago
2005
IEEE
The simulation of large grids requires the generation of grid instances and an approximation of grid components’ behaviour. To generate grid instances, this paper outlines a set...
183
click to vote
PRESENCE
2008
15 years 6 months ago
2008
Surgical simulators present a safe and potentially effective method for surgical training, and can also be used in robot-assisted surgery for pre- and intra-operative planning. Ac...
184
click to vote
CA
1999
IEEE
15 years 10 months ago
1999
IEEE
The recent addition of force and touch feedback to Virtual Reality simulations has enhanced their realism. Research on haptics interfaces is now extended to physical modeling of c...