Sciweavers

139 search results - page 12 / 28
» Toward quality requirements analysis based on domain specifi...
Sort
View
HASE
1999
IEEE
13 years 12 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
Andrea Bondavalli, Ivan Mura, István Majzik
CVPR
2004
IEEE
14 years 9 months ago
Error Analysis for a Navigation Algorithm Based on Optical-Flow and a Digital Terrain Map
This paper deals with the error analysis of a novel navigation algorithm that uses as input the sequence of images acquired from a moving camera and a Digital Terrain (or Elevatio...
Ehud Rivlin, Héctor Rotstein, Ronen Lerner
BMCBI
2007
102views more  BMCBI 2007»
13 years 7 months ago
A comprehensive system for evaluation of remote sequence similarity detection
Background: Accurate and sensitive performance evaluation is crucial for both effective development of better structure prediction methods based on sequence similarity, and for th...
Yuan Qi, Ruslan Sadreyev, Yong Wang, Bong-Hyun Kim...
ICIP
2008
IEEE
14 years 9 months ago
Dynamic channel selection for multi-user video streaming over cognitive radio networks
Due to the dynamic nature of cognitive radio networks, multi-user video streaming (with various video traffic characteristics and QoS requirements) requires efficient dynamic chan...
Hsien-Po Shiang, Mihaela van der Schaar
CBSQ
2003
Springer
14 years 23 days ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon