10263 search results - page 35 / 2053 » From Use Cases to System Operation Specifications |
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
Traditionally, machine learning algorithms have been evaluated in applications where assumptions can be reliably made about class priors and/or misclassification costs. In this pa...
FORTE
2004
13 years 9 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
ITCC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...
SI3D
1992
ACM
13 years 11 months ago
1992
ACM
Techniques are discussed for creating a rendered view into a 3D scene,interactively based on the locations and orientations of the observer's head and the display surface. St...
CRITIS
2007
13 years 9 months ago
2007
Much of the world's critical infrastructure is at risk from attack through electronic networks connected to control systems. Security metrics are important because they provid...