2570 search results - page 364 / 514 » Reliability Modeling Using UML |
122
click to vote
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious f...
112
click to vote
SIGSOFT
2004
ACM
15 years 8 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
127
click to vote
ACSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
125
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: The number of sequenced eukaryotic genomes is rapidly increasing. This means that over time it will be hard to keep supplying customised gene finders for each genome. ...
114
click to vote
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
We present a multiscale method for motion segmentation. Our method begins with local, ambiguous optical flow measurements. It uses a process of aggregation to resolve the ambiguit...