932 search results - page 107 / 187 » Verifying Progress in Timed Systems |
157
click to vote
ISBI
2002
IEEE
15 years 9 months ago
2002
IEEE
We have previously shown a new method of merging a direct view of the patient with an ultrasound image displayed in situ within the patient, using a half-silvered mirror. We call ...
123
click to vote
ASWEC
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents the framework of a scale-oriented scheme for the presentation and classification of reverse engineered sections of procedural code into objects. The aim is to ...
155
click to vote
IAJIT
2008
15 years 4 months ago
2008
: The Gamma-Ray scanning technique effective means for the diagnosis and identification of installations and process's problems in general and in particular in the case of dis...
122
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract-- Internet worms, which spread in computer networks without human mediation, pose a severe threat to computer systems today. The rate of propagation of worms has been meas...
177
click to vote
TEC
2002
15 years 3 months ago
2002
Abstract--The particle swarm is an algorithm for finding optimal regions of complex search spaces through the interaction of individuals in a population of particles. Even though t...