4418 search results - page 25 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
108
click to vote
IEEEARES
2007
IEEE
15 years 10 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...
120
Voted
ICSE
2010
IEEE-ACM
15 years 5 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...
83
Voted
EDOC
2006
IEEE
15 years 9 months ago
2006
IEEE
174
Voted
SACMAT
2009
ACM
15 years 10 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...
124
Voted
ACMDIS
2000
ACM
15 years 8 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...