5423 search results - page 198 / 1085 » Denial-of-service in automation systems |
173
click to vote
SSIAI
2002
IEEE
15 years 11 months ago
2002
IEEE
2. Tracking traveling trajectory The traveling trajectory of eachvehicle is evaluatedfrom the analog images of 30 frames/sec.The computation of a traveling trajectory is mainly di...
181
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
150
click to vote
SIGCSE
2005
ACM
16 years 5 days ago
2005
ACM
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...
201
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Fluorescence microscopy is widely used to analyze the distribution of proteins within cells. As currently practiced, the assignment of a protein to a particular organelle is done ...
180
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
A major source of information for identifying subcellular location on a proteome-wide basis will be imaging of tagged proteins in living cells using fluorescence microscopy. We ha...