Sciweavers

265 search results - page 23 / 53
» metrics 2002
Sort
View
JSS
2002
90views more  JSS 2002»
15 years 3 months ago
Producing reliable software: an experiment
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
Carol Smidts, Xin Huang, James C. Widmaier
147
Voted
TELSYS
2010
140views more  TELSYS 2010»
14 years 10 months ago
Information system security compliance to FISMA standard: a quantitative measure
To ensure that safeguards are implemented to protect against a majority of known threats, industry leaders are requiring information processing systems to comply with security stan...
Elaine Hulitt, Rayford B. Vaughn
106
Voted
ICIP
2002
IEEE
15 years 9 months ago
Evaluation of reproducibility for manual and semi-automated feature extraction in CT and MR images
Three methods for extraction and quantitative measurement of features in CT and MR images are examined: hand tracing, semi-automated tracing using the livewire graph search algori...
Edward A. Ashton, Larry Molinelli, Saara Totterman...
106
Voted
RTSS
2002
IEEE
15 years 8 months ago
Dynamic Scan Scheduling
We present an approach to computing cyclic schedules online and in real time, while attempting to maximize a quality-of-service metric. The motivation is the detection of RF emitt...
Bruno Dutertre
CORR
2002
Springer
112views Education» more  CORR 2002»
15 years 3 months ago
Determination of the structure of algebraic curvature tensors by means of Young symmetrizers
For a positive definite fundamental tensor all known examples of Osserman algebraic curvature tensors have a typical structure. They can be produced from a metric tensor and a fini...
Bernd Fiedler