488 search results - page 87 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
ISCC
2005
IEEE
14 years 1 months ago
2005
IEEE
During the last years there have been a lot of proposals in the literature for systems that attempt to manage the process of trust establishment. However, the engineering details ...
HICSS
2003
IEEE
14 years 21 days ago
2003
IEEE
It is well known that given a network that can become constrained on voltage or real power flows, reserves must also be spatially located in order to handle all credible contingen...
SAC
2009
ACM
14 years 2 days ago
2009
ACM
The future of service-centric environments suggests that organizations will dynamically discover and utilize web services for new business processes particularly those that span m...
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...