4418 search results - page 25 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
137
click to vote
IEEEARES
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a pattern system for security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of proble...
136
click to vote
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
204
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
144
click to vote
ACMDIS
2000
ACM
15 years 9 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...