123 search results - page 7 / 25 » Patterns for Automated Management of Security and Dependabil... |
ACSAC
1998
IEEE
13 years 11 months ago
1998
IEEE
A business's success depends on its ability to protect valuable business assets in an increasingly hostile environment. Protecting information requires a cost, not only in pu...
SECURWARE
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
SACMAT
2004
ACM
14 years 4 days ago
2004
ACM
In the era of Ubiquitous Computing and world–wide data transfer mobility, as an innovative aspect of professional activities, imposes new and complex problems of mobile and dist...
CSMR
2002
IEEE
13 years 11 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
TPHOL
2003
IEEE
13 years 12 months ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...