902 search results - page 148 / 181 » Security and Trust Requirements Engineering |
88
Voted
WOSP
2010
ACM
15 years 2 months ago
2010
ACM
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
ICSE
1999
IEEE-ACM
15 years 1 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 ...
101
click to vote
SACMAT
2006
ACM
15 years 3 months ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
SOUPS
2005
ACM
15 years 3 months ago
2005
ACM
In this article, we describe the design process of Reno, a location-enhanced, mobile coordination tool and person finder. The design process included three field experiments: a ...
WPES
2003
ACM
15 years 2 months ago
2003
ACM
Traditionally, application software developers carry out their tests on their own local development databases. However, such local databases usually have only a small number of sa...