3555 search results - page 616 / 711 » Security-Critical System Development with Extended Use Cases |
102
click to vote
ERCIMDL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Anyone offering content in a digital library is naturally interested in assessing its performance: how well does my system meet the users' information needs? Standar...
112
click to vote
ACSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Users commonly download, patch, and use applications such as email clients, office applications, and media-players from the Internet. Such applications are run with the user’s ...
130
click to vote
AADEBUG
2005
Springer
15 years 7 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
131
click to vote
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
CARS
2001
15 years 2 months ago
2001
Important parameters in quantitative coronary angiography (QCA) are the severity and length of the lesion, the radius of the nonstenotic part of the affected vessel segment and th...