3038 search results - page 540 / 608 » Industrial evolutionary computing |
122
click to vote
EDCC
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
132
click to vote
CVRMED
1997
Springer
15 years 6 months ago
1997
Springer
A system for simulating arthroscopic knee surgery that is based on volumetric object models derived from 3D Magnetic Resonance Imaging is presented. Feedback is provided to the us...
115
click to vote
CAV
2000
Springer
15 years 5 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
121
click to vote
FAC
2006
15 years 2 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
141
click to vote
TPDS
2008
15 years 1 months ago
2008
Recent technological advances have opened up a wide range of distributed real-time applications involving battery-driven embedded devices with local processing and wireless communi...